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() x = 0-3
  22 sm_select4.c:13 func() x = 0-3
  23 sm_select4.c:14 func() x = 0-3
  24  * check-output-end
  25  */