validation/sm_select2.c

   1 #include "check_debug.h"
   2
   3 int check();
   4
   5 int x,y,z;
   6 int func(void)
   7 {
   8         int *sd = &x;
   9
  10         while (!(! sd ? -19 :
  11                         (*sd ?
  12                                 check() : -515)))
  13                 __smatch_value("sd");
  14 }
  15 /*
  16  * check-name: Ternary Conditions #2
  17  * check-command: smatch -I.. sm_select2.c
  18  *
  19  * check-output-start
  20 sm_select2.c +13 func(7) sd = min-(-1),1-max
  21  * check-output-end
  22  */