下面的代码数组不是越界了吗？？为什么还可以运行而且不报错？？

dp【j-1】这里当j==0时为什么不报错？？

#include
#include
#include
using namespace std;
char str[1010];
int dp[1010];
bool judge(int x,int y) //判断是不是回文串
{
while(x <= y)
{
if(str[x] != str[y])
return false;
x++;
y--;
}
return true;
}
int main()
{
int len, i, j;
while(gets(str) != NULL)
{
len = strlen(str);
for(i = 0; i < len; i++)
{
dp[i] = i + 1; //假设前面的都不能组成回文串
for(j = 0; j <= i; j++)
if(str[j] == str[i] && judge(j,i))
dp[i] = min(dp[i], dp[j-1]+1);
}
printf("%d\n",dp[len-1]);
}
return 0;
}