xref: /illumos-gate/usr/src/tools/smatch/src/validation/backend/pointer-add.c (revision f52943a93040563107b95bccb9db87d9971ef47d)
1 char *caddv(char *p, int o) { char *r = p; r = r + o; return r; }
2 void *vaddv(void *p, int o) { void *r = p; r = r + o; return r; }
3 int  *iaddv(int  *p, int o) { int  *r = p; r = r + o; return r; }
4 
5 char *caddc(char *p, int o) { char *r = p; r = r + 3; return r; }
6 void *vaddc(void *p, int o) { void *r = p; r = r + 3; return r; }
7 int  *iaddc(int  *p, int o) { int  *r = p; r = r + 3; return r; }
8 
9 char *cincv(char *p, int o) { char *r = p; r += o; return r; }
10 void *vincv(void *p, int o) { void *r = p; r += o; return r; }
11 int  *iincv(int  *p, int o) { int  *r = p; r += o; return r; }
12 
13 char *cincc(char *p, int o) { char *r = p; r += 3; return r; }
14 void *vincc(void *p, int o) { void *r = p; r += 3; return r; }
15 int  *iincc(int  *p, int o) { int  *r = p; r += 3; return r; }
16 
17 
18 char *ciniaddv(char *p, int o) { char *r = p + o; return r; }
19 void *viniaddv(void *p, int o) { void *r = p + o; return r; }
20 int  *iiniaddv(int  *p, int o) { int  *r = p + o; return r; }
21 
22 char *ciniaddc(char *p, int o) { char *r = p + 3; return r; }
23 void *viniaddc(void *p, int o) { void *r = p + 3; return r; }
24 int  *iiniaddc(int  *p, int o) { int  *r = p + 3; return r; }
25 
26 char *ciniincv(char *p, int o) { char *r = p += o; return r; }
27 void *viniincv(void *p, int o) { void *r = p += o; return r; }
28 int  *iiniincv(int  *p, int o) { int  *r = p += o; return r; }
29 
30 char *ciniincc(char *p, int o) { char *r = p += 3; return r; }
31 void *viniincc(void *p, int o) { void *r = p += 3; return r; }
32 int  *iiniincc(int  *p, int o) { int  *r = p += 3; return r; }
33 
34 
35 char *cretaddv(char *p, int o) { return p + o; }
36 void *vretaddv(void *p, int o) { return p + o; }
37 int  *iretaddv(int  *p, int o) { return p + o; }
38 
39 char *cretaddc(char *p, int o) { return p + 3; }
40 void *vretaddc(void *p, int o) { return p + 3; }
41 int  *iretaddc(int  *p, int o) { return p + 3; }
42 
43 char *cretincv(char *p, int o) { return p += o; }
44 void *vretincv(void *p, int o) { return p += o; }
45 int  *iretincv(int  *p, int o) { return p += o; }
46 
47 char *cretincc(char *p, int o) { return p += 3; }
48 void *vretincc(void *p, int o) { return p += 3; }
49 int  *iretincc(int  *p, int o) { return p += 3; }
50 
51 /*
52  * check-name: pointer-add
53  * check-command: sparsec -Wno-decl -c $file -o r.o
54  */
55