1 #include "check_debug.h" 2 3 struct foo { 4 int x; 5 }; 6 7 void *frob(); 8 9 struct foo *foo; 10 11 static void ad_agg_selection_logic(void) 12 { 13 int a; 14 15 16 if (foo && foo->x) 17 a = 1; 18 else 19 a = 0; 20 21 if (frob()) 22 a = frob(); 23 24 if (a) 25 __smatch_implied(foo); 26 } 27 /* 28 * check-name: smatch implied #11 29 * check-command: smatch -I.. -m64 sm_implied11.c 30 * 31 * check-output-start 32 sm_implied11.c:25 ad_agg_selection_logic() implied: foo = '0,4096-2117777777777777777' 33 * check-output-end 34 */ 35