validation/sm_implied17.c

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