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