validation/sm_select4.c

   1 #include "check_debug.h"
   2
   3 int frob();
   4
   5 int a, b, c;
   6 void func(unsigned long x)
   7 {
   8         if (x >= 4)
   9                 return;
  10
  11         __smatch_value("x");
  12         if ((!(a) ? -19 : (((b && c) ? frob() : -515))))
  13                 __smatch_value("x");
  14         __smatch_value("x");
  15 }
  16 /*
  17  * check-name: Smatch Ternary #4
  18  * check-command: smatch -I.. sm_select4.c
  19  *
  20  * check-output-start
  21 sm_select4.c +11 func(5) x = min-3
  22 sm_select4.c +13 func(7) x = min-3
  23 sm_select4.c +14 func(8) x = min-3
  24  * check-output-end
  25  */