1 #include "check_debug.h" 2 3 int frob(void); 4 5 int a; 6 int func (char *input) 7 { 8 int x = frob(); 9 10 if (a == 1) { 11 if (x != -5) 12 return; 13 } else if (a == 2) { 14 if (x < 0 || x > 10) 15 return; 16 } else { 17 return; 18 } 19 20 if (x) 21 ; 22 23 if (x == -5) 24 __smatch_implied(a); 25 26 return 0; 27 } 28 29 /* 30 * check-name: smatch implied #17 31 * check-command: smatch -I.. sm_implied17.c 32 * 33 * check-output-start 34 sm_implied17.c:24 func() implied: a = '1' 35 * check-output-end 36 */ 37