1*1f5207b7SJohn Levon #include "check_debug.h" 2*1f5207b7SJohn Levon 3*1f5207b7SJohn Levon int xxx, yyy; 4*1f5207b7SJohn Levon int aaa, bbb; 5*1f5207b7SJohn Levon int id, vbus; frob(void)6*1f5207b7SJohn Levonvoid frob(void) 7*1f5207b7SJohn Levon { 8*1f5207b7SJohn Levon if (xxx) 9*1f5207b7SJohn Levon id = yyy; 10*1f5207b7SJohn Levon else 11*1f5207b7SJohn Levon id = 1; 12*1f5207b7SJohn Levon 13*1f5207b7SJohn Levon if (aaa) 14*1f5207b7SJohn Levon vbus = bbb; 15*1f5207b7SJohn Levon else 16*1f5207b7SJohn Levon vbus = id; 17*1f5207b7SJohn Levon 18*1f5207b7SJohn Levon if (id) 19*1f5207b7SJohn Levon ; 20*1f5207b7SJohn Levon if (!vbus) 21*1f5207b7SJohn Levon ; 22*1f5207b7SJohn Levon 23*1f5207b7SJohn Levon if (!id) 24*1f5207b7SJohn Levon __smatch_implied(vbus); 25*1f5207b7SJohn Levon } 26*1f5207b7SJohn Levon 27*1f5207b7SJohn Levon /* 28*1f5207b7SJohn Levon * check-name: smatch implied #19 29*1f5207b7SJohn Levon * check-command: smatch -I.. sm_implied19.c 30*1f5207b7SJohn Levon * 31*1f5207b7SJohn Levon * check-output-start 32*1f5207b7SJohn Levon sm_implied19.c:24 frob() implied: vbus = 's32min-s32max' 33*1f5207b7SJohn Levon * check-output-end 34*1f5207b7SJohn Levon */ 35