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");
  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() red = 5
  31 sm_equiv2.c:19 func() blue = 5
  32 sm_equiv2.c:21 func() red = 0,5
  33 sm_equiv2.c:22 func() blue = 0,5
  34  * check-output-end
  35  */