1 #include "check_debug.h"
   2 
   3 int xxx, yyy;
   4 int aaa, bbb;
   5 int id, vbus;
   6 void frob(void)
   7 {
   8         if (xxx)
   9                 id = yyy;
  10         else
  11                 id = 1;
  12 
  13         if (aaa)
  14                 vbus = bbb;
  15         else
  16                 vbus = id;
  17 
  18         if (id)
  19                 ;
  20         if (!vbus)
  21                 ;
  22 
  23         if (!id)
  24                 __smatch_implied(vbus);
  25 }
  26 
  27 /*
  28  * check-name: smatch implied #19
  29  * check-command: smatch -I.. sm_implied19.c
  30  *
  31  * check-output-start
  32 sm_implied19.c:24 frob() implied: vbus = 's32min-s32max'
  33  * check-output-end
  34  */