1 #include "check_debug.h" 2 int a, b, c; 3 int frob(void) { 4 if (a && b != 1) 5 return; 6 7 __smatch_value("a"); 8 if (b == 0 && c) { 9 __smatch_value("a"); 10 } 11 __smatch_value("a"); 12 } 13 /* 14 * check-name: Smatch implied #7 15 * check-command: smatch -I.. sm_implied7.c 16 * 17 * check-output-start 18 sm_implied7.c:7 frob() a = s32min-s32max 19 sm_implied7.c:9 frob() a = 0 20 sm_implied7.c:11 frob() a = s32min-s32max 21 * check-output-end 22 */ 23