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