1 #include <stdio.h> 2 #include "check_debug.h" 3 4 int *aaa, *bbb; 5 6 int main(void) 7 { 8 if (*aaa < 0 || *aaa > 34) 9 return -1; 10 bbb = aaa; 11 __smatch_implied(*bbb); 12 13 return 0; 14 } 15 16 /* 17 * check-name: smatch pointer assign 18 * check-command: smatch -I.. sm_pointer_assign.c 19 * 20 * check-output-start 21 sm_pointer_assign.c:11 main() implied: *bbb = '0-34' 22 * check-output-end 23 */ 24