db/fixup_kernel.sh: fix clear_user() handling
[smatch.git] / validation / typedef-redef.c
blobf90f266af1930b82933f2d5d8d9f14cfa2f1f631
1 typedef int ok_t;
2 typedef int ok_t;
4 typedef int ko_t;
5 typedef long ko_t;
7 /*
8 * check-name: typedef-redef
10 * check-error-start
11 typedef-redef.c:5:14: error: symbol 'ko_t' redeclared with different type (different type sizes):
12 typedef-redef.c:5:14: long [usertype] ko_t
13 typedef-redef.c:4:14: note: previously declared as:
14 typedef-redef.c:4:14: int [usertype] ko_t
15 * check-error-end