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