Problem in data_underflow.c

[tomgu1991]

For the last example,

void data_underflow_012 ()
{
int min = -2147483647;
int dlist[4] = {0, 1, -2, -1};
int ret;
ret = min - dlist[2]; /Tool should detect this line as error/ /ERROR:Data underflow/
}

min - (-2) = min + 2; it will not be an error