validation/sm_impossible3.c

   1 #include "check_debug.h"
   2
   3 int frob(void);
   4
   5 int main(void)
   6 {
   7         int x;
   8
   9         x = frob();
  10
  11         if (x != -28)
  12                 return;
  13
  14         if (x != -28 && x != -30)
  15                 __smatch_implied(x);
  16         __smatch_implied(x);
  17
  18         return 0;
  19 }
  20
  21 /*
  22  * check-name: smatch impossible #3
  23  * check-command: smatch -I.. sm_impossible3.c
  24  *
  25  * check-output-start
  26 sm_impossible3.c:15 main() implied: x = ''
  27 sm_impossible3.c:16 main() implied: x = '(-28)'
  28  * check-output-end
  29  */