1 #include "check_debug.h" 2 3 int a; 4 5 int frob(int size) 6 { 7 int *p = &a; 8 9 *p = 42; 10 __smatch_implied(a); 11 12 return 0; 13 } 14 15 /* 16 * check-name: smatch: pointer indirection #1 17 * check-command: smatch -p=kernel -I.. sm_indirection1.c 18 * 19 * check-output-start 20 sm_indirection1.c:10 frob() implied: a = '42' 21 * check-output-end 22 */ 23