1 extern int a; 2 3 int a = __INT_MAX__ * 2; 4 5 int 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 16 bug-overflow.c:3:21: warning: integer overflow in expression 17 bug-overflow.c:7:28: warning: integer overflow in expression 18 * check-error-end 19 */ 20