xref: /illumos-gate/usr/src/tools/smatch/src/validation/backend/type-constant.c (revision e82490700e19f1b8a2cef6102f4726144d281988)
1 char creti(void) { return 3; }
2 int  ireti(void) { return 3; }
3 long lreti(void) { return 3; }
4 
5 char cinii(void) { char r = 3; return r; }
6 int  iinii(void) { int  r = 3; return r; }
7 long linii(void) { long r = 3; return r; }
8 
9 
10 void *vretn(void) { return (void*)0; }
11 char *cretn(void) { return (void*)0; }
12 int  *iretn(void) { return (void*)0; }
13 long *lretn(void) { return (void*)0; }
14 
15 void *vinin(void) { void *r = (void*)0; return r; }
16 char *cinin(void) { char *r = (void*)0; return r; }
17 int  *iinin(void) { int  *r = (void*)0; return r; }
18 long *linin(void) { long *r = (void*)0; return r; }
19 
20 /*
21  * check-name: type-constant
22  * check-command: sparsec -Wno-decl -c $file -o r.o
23  */
24