1 #include "check_debug.h"
   2 
   3 int aaa;
   4 
   5 void func (void)
   6 {
   7         if (aaa > 0 && aaa < 100) {
   8                 __smatch_value("aaa");
   9         } else {
  10                 __smatch_value("aaa");
  11         }
  12         if (aaa > 0 && aaa < 100 && aaa < 10) {
  13                 __smatch_value("aaa");
  14         } else {
  15                 if (aaa != 42)
  16                         __smatch_value("aaa");
  17         }
  18 }
  19 /*
  20  * check-name: Compound Conditions #3
  21  * check-command: smatch -I.. sm_compound_conditions3.c
  22  *
  23  * check-output-start
  24 sm_compound_conditions3.c:8 func() aaa = 1-99
  25 sm_compound_conditions3.c:10 func() aaa = s32min-0,100-s32max
  26 sm_compound_conditions3.c:13 func() aaa = 1-9
  27 sm_compound_conditions3.c:16 func() aaa = s32min-0,10-41,43-s32max
  28  * check-output-end
  29  */