db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / eval-bad-assign1.c
blob57138c7af11377e07a7e1bc2ecdba112259c978b
1 static void kos(int *r, int a)
3 r = ({ __builtin_types_compatible_p(int, int); });
6 /*
7 * check-name: eval-bad-assign1
9 * check-error-start
10 eval-bad-assign1.c:3:11: warning: incorrect type in assignment (different base types)
11 eval-bad-assign1.c:3:11: expected int *r
12 eval-bad-assign1.c:3:11: got int
13 * check-error-end