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