11972 resync smatch
*** 10,19 **** extern int test(int __user *ip); static int broken(struct hello __user *sp) { ! test(&sp->a); } /* * check-name: Address space of a struct member */ --- 10,19 ---- extern int test(int __user *ip); static int broken(struct hello __user *sp) { ! return test(&sp->a); } /* * check-name: Address space of a struct member */