1*1f5207b7SJohn Levon #include "check_debug.h" 2*1f5207b7SJohn Levon 3*1f5207b7SJohn Levon int a, b, c, d; func(void)4*1f5207b7SJohn Levonvoid func(void) 5*1f5207b7SJohn Levon { 6*1f5207b7SJohn Levon a = b + 3; 7*1f5207b7SJohn Levon c = d - 3; 8*1f5207b7SJohn Levon 9*1f5207b7SJohn Levon if (a > 10) 10*1f5207b7SJohn Levon return; 11*1f5207b7SJohn Levon __smatch_implied(a); 12*1f5207b7SJohn Levon __smatch_implied(b); 13*1f5207b7SJohn Levon if (10 > c) 14*1f5207b7SJohn Levon return; 15*1f5207b7SJohn Levon __smatch_implied(c); 16*1f5207b7SJohn Levon __smatch_implied(d); 17*1f5207b7SJohn Levon } 18*1f5207b7SJohn Levon 19*1f5207b7SJohn Levon /* 20*1f5207b7SJohn Levon * check-name: Smatch compare #5 21*1f5207b7SJohn Levon * check-command: smatch -I.. sm_compare5.c 22*1f5207b7SJohn Levon * 23*1f5207b7SJohn Levon * check-output-start 24*1f5207b7SJohn Levon sm_compare5.c:11 func() implied: a = 's32min-10' 25*1f5207b7SJohn Levon sm_compare5.c:12 func() implied: b = 's32min-7' 26*1f5207b7SJohn Levon sm_compare5.c:15 func() implied: c = '10-s32max' 27*1f5207b7SJohn Levon sm_compare5.c:16 func() implied: d = '13-s32max' 28*1f5207b7SJohn Levon * check-output-end 29*1f5207b7SJohn Levon */ 30