Project

General

Profile

Download (291 Bytes)

Bug #2705 » test2.c

Example with huge integer number that causes BLAST false positive - Evgeny Novikov, 04/04/2012 07:36 PM

 
int main()
{
unsigned long int a = 0;
//if (a > (unsigned long int)-4000) // Both BLAST and CPAchecker finds an error (false positive)
if (a > 18446744073709547521UL) // BLAST finds an error (false positive) while CPAchecker doesn't.
{
ERROR: goto ERROR;
}
return 0;
}
(1-1/2)