validation/backend/int-cond.c

   1 static long foo(long a, long b, long c)
   2 {
   3         return a? b:c;
   4 }
   5
   6 static long foo_bool(_Bool a, long b, long c)
   7 {
   8         return a? b:c;
   9 }
  10
  11 static long bar(long a, long b, long c)
  12 {
  13         if (a)
  14                 return b;
  15         else
  16                 return b + c;
  17 }
  18
  19 static long bar_bool(_Bool a, long b, long c)
  20 {
  21         if (a)
  22                 return b;
  23         else
  24                 return b + c;
  25 }
  26
  27 /*
  28  * check-name: Non-bool condition values in branch/select
  29  * check-command: ./sparsec -c $file -o tmp.o
  30  */