xref: /illumos-gate/usr/src/tools/smatch/src/validation/typedef-redef.c (revision 66582b606a8194f7f3ba5b3a3a6dca5b0d346361)
1 typedef int  ok_t;
2 typedef int  ok_t;
3 
4 typedef int  ko_t;
5 typedef long ko_t;
6 
7 /*
8  * check-name: typedef-redef
9  *
10  * check-error-start
11 typedef-redef.c:5:14: error: symbol 'ko_t' redeclared with different type (originally declared at typedef-redef.c:4) - different type sizes
12  * check-error-end
13  */
14