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