validation/sm_equiv2.c

   1 #include "check_debug.h"
   2
   3 int *something();
   4
   5 int red;
   6 int blue;
   7 int x;
   8 int func(void)
   9 {
  10         red = 0;
  11
  12         if (x) {
  13                 red = 5;
  14         }
  15         blue = red;
  16
  17         if (x) {
  18                 __smatch_value("red");
  19                 /* __smatch_value("blue"); this doesn't work */
  20         }
  21         __smatch_value("red");
  22         __smatch_value("blue");
  23         return 0;
  24 }
  25 /*
  26  * check-name: smatch equivalent variables #2 (implications)
  27  * check-command: smatch -I.. sm_equiv2.c
  28  *
  29  * check-output-start
  30 sm_equiv2.c +18 func(10) red = 5
  31 sm_equiv2.c +21 func(13) red = 0,5
  32 sm_equiv2.c +22 func(14) blue = 0,5
  33  * check-output-end
  34  */