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