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