1 #include "check_debug.h" 2 3 int frob(void); 4 5 int main(void) 6 { 7 int x; 8 9 x = frob(); 10 11 if (x != -28) 12 return; 13 14 if (x != -28 && x != -30) 15 __smatch_implied(x); 16 __smatch_implied(x); 17 18 return 0; 19 } 20 21 /* 22 * check-name: smatch impossible #3 23 * check-command: smatch -I.. sm_impossible3.c 24 * 25 * check-output-start 26 sm_impossible3.c:15 main() implied: x = '' 27 sm_impossible3.c:16 main() implied: x = '(-28)' 28 * check-output-end 29 */ 30