1extern int a; 2 3int a = __INT_MAX__ * 2; 4 5int foo(void) 6{ 7 return __INT_MAX__ * 2; 8} 9 10/* 11 * check-name: overflow 12 * check-command: sparse -Wno-decl $file 13 * 14 * check-known-to-fail 15 * check-error-start 16bug-overflow.c:3:21: warning: integer overflow in expression 17bug-overflow.c:7:28: warning: integer overflow in expression 18 * check-error-end 19 */ 20