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  */