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 */ 36