bug20190917.cpp:5:19: error: Safe checks: Signed integer overflow for expression 'x*x'. [safeIntegerOverflow] double x2 = x * x; // (double)x * x; ^ bug20190917.cpp:2:11: note: Safe checks: Assuming argument has value -2147483648 int f(int x, int y) ^ bug20190917.cpp:5:19: note: Integer overflow double x2 = x * x; // (double)x * x; ^ bug20190917.cpp:6:19: error: Safe checks: Signed integer overflow for expression 'y*y'. [safeIntegerOverflow] double y2 = y * y; // (double)y * y; ^ bug20190917.cpp:2:18: note: Safe checks: Assuming argument has value -2147483648 int f(int x, int y) ^ bug20190917.cpp:6:19: note: Integer overflow double y2 = y * y; // (double)y * y; ^