1*1f5207b7SJohn Levon #include "check_debug.h" 2*1f5207b7SJohn Levon 3*1f5207b7SJohn Levon void initialize(void *p); 4*1f5207b7SJohn Levon main(int x)5*1f5207b7SJohn Levonint main(int x) 6*1f5207b7SJohn Levon { 7*1f5207b7SJohn Levon unsigned int aaa[10]; 8*1f5207b7SJohn Levon int y, z; 9*1f5207b7SJohn Levon 10*1f5207b7SJohn Levon initialize(&aaa); 11*1f5207b7SJohn Levon initialize(&y); 12*1f5207b7SJohn Levon initialize(&z); 13*1f5207b7SJohn Levon 14*1f5207b7SJohn Levon if (aaa[5] > 3) 15*1f5207b7SJohn Levon return 0; 16*1f5207b7SJohn Levon aaa[0] = 42; 17*1f5207b7SJohn Levon __smatch_implied(aaa[0]); 18*1f5207b7SJohn Levon __smatch_implied(aaa[5]); 19*1f5207b7SJohn Levon aaa[y] = 10; 20*1f5207b7SJohn Levon __smatch_implied(aaa[5]); 21*1f5207b7SJohn Levon if (aaa[z] > 4) 22*1f5207b7SJohn Levon return 0; 23*1f5207b7SJohn Levon __smatch_implied(aaa[z]); 24*1f5207b7SJohn Levon z = 3; 25*1f5207b7SJohn Levon __smatch_implied(aaa[z]); 26*1f5207b7SJohn Levon 27*1f5207b7SJohn Levon return 0; 28*1f5207b7SJohn Levon } 29*1f5207b7SJohn Levon 30*1f5207b7SJohn Levon /* 31*1f5207b7SJohn Levon * check-name: smatch chunk #2 32*1f5207b7SJohn Levon * check-command: smatch -I.. sm_chunk2.c 33*1f5207b7SJohn Levon * 34*1f5207b7SJohn Levon * check-output-start 35*1f5207b7SJohn Levon sm_chunk2.c:17 main() implied: aaa[0] = '42' 36*1f5207b7SJohn Levon sm_chunk2.c:18 main() implied: aaa[5] = '0-3' 37*1f5207b7SJohn Levon sm_chunk2.c:20 main() implied: aaa[5] = '0-u32max' 38*1f5207b7SJohn Levon sm_chunk2.c:23 main() implied: aaa[z] = '0-4' 39*1f5207b7SJohn Levon sm_chunk2.c:25 main() implied: aaa[z] = '0-u32max' 40*1f5207b7SJohn Levon * check-output-end 41*1f5207b7SJohn Levon */ 42