1*1f5207b7SJohn Levon #include "check_debug.h" 2*1f5207b7SJohn Levon 3*1f5207b7SJohn Levon int clear_user(); 4*1f5207b7SJohn Levon func(int * p)5*1f5207b7SJohn Levonint func(int *p) 6*1f5207b7SJohn Levon { 7*1f5207b7SJohn Levon int ret; 8*1f5207b7SJohn Levon 9*1f5207b7SJohn Levon ret = clear_user(); 10*1f5207b7SJohn Levon if (ret) 11*1f5207b7SJohn Levon return ret; 12*1f5207b7SJohn Levon return 0; 13*1f5207b7SJohn Levon } 14*1f5207b7SJohn Levon /* 15*1f5207b7SJohn Levon * check-name: smatch return -EFAULT 16*1f5207b7SJohn Levon * check-command: smatch -p=kernel -I.. sm_efault.c 17*1f5207b7SJohn Levon * 18*1f5207b7SJohn Levon * check-output-start 19*1f5207b7SJohn Levon sm_efault.c:11 func() warn: maybe return -EFAULT instead of the bytes remaining? 20*1f5207b7SJohn Levon * check-output-end 21*1f5207b7SJohn Levon */ 22