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