Mercurial > illumos > git > illumos-gate
view usr/src/tools/smatch/src/validation/Waddress.c @ 19241:79022555a4a9
11972 resync smatch
Reviewed by: Robert Mustacchi <rm@fingolfin.org>
Approved by: Dan McDonald <danmcd@joyent.com>
author | John Levon <john.levon@joyent.com> |
---|---|
date | Mon, 11 Nov 2019 16:23:50 +0000 |
parents | |
children |
line wrap: on
line source
extern int fun(void); extern int arr[]; extern int var; int test_address(int arg, int ptr[]) { if (fun()) return -1; if (var) return -1; if (arg) return -1; if (ptr) return -1; lab: if (arr) return 1; if (&arr) return 1; if (fun) return 1; if (&fun) return 1; if (*fun) return 1; if (&var) return 1; if (&arg) return 1; if (&&lab) return 1; return -1; } int test_address_not(int arg, int ptr[]) { if (!fun()) return -1; if (!var) return -1; if (!arg) return -1; if (!ptr) return -1; lab: if (!arr) return 0; if (!&arr) return 0; if (!fun) return 0; if (!&fun) return 0; if (!*fun) return 0; if (!&var) return 0; if (!&arg) return 0; if (!&&lab) return 0; return -1; } int test_address_cmp(int arg, int ptr[]) { if (fun() == 0) return -1; if (0 == fun()) return -1; if (var == 0) return -1; if (0 == var) return -1; if (arg == 0) return -1; if (0 == arg) return -1; if (ptr == 0) return -1; if (0 == ptr) return -1; lab: if (arr == 0) return 0; if (0 == arr) return 0; if (&arr == 0) return 0; if (0 == &arr) return 0; if (fun == 0) return 0; if (0 == fun) return 0; if (&fun == 0) return 0; if (0 == &fun) return 0; if (*fun == 0) return 0; if (0 == *fun) return 0; if (&var == 0) return 0; if (0 == &var) return 0; if (&arg == 0) return 0; if (0 == &arg) return 0; if (&&lab == 0) return 0; if (0 == &&lab) return 0; return -1; } /* * check-name: Waddress * check-command: sparse -Wno-decl -Wno-non-pointer-null -Waddress $file * check-known-to-fail * * check-error-start Waddress.c:14:13: warning: the address of an array will always evaluate as true Waddress.c:15:14: warning: the address of an array will always evaluate as true Waddress.c:16:13: warning: the address of a function will always evaluate as true Waddress.c:17:14: warning: the address of a function will always evaluate as true Waddress.c:18:13: warning: the address of a variable will always evaluate as true Waddress.c:19:13: warning: the address of a variable will always evaluate as true Waddress.c:20:13: warning: the address of a label will always evaluate as true Waddress.c:34:13: warning: the address of an array will always evaluate as true Waddress.c:35:13: warning: the address of an array will always evaluate as true Waddress.c:36:13: warning: the address of a function will always evaluate as true Waddress.c:37:13: warning: the address of a function will always evaluate as true Waddress.c:38:13: warning: the address of a variable will always evaluate as true Waddress.c:39:13: warning: the address of a variable will always evaluate as true Waddress.c:40:13: warning: the address of a label will always evaluate as true Waddress.c:57:13: warning: the address of an array will always evaluate as true Waddress.c:58:13: warning: the address of an array will always evaluate as true Waddress.c:59:13: warning: the address of an array will always evaluate as true Waddress.c:60:13: warning: the address of an array will always evaluate as true Waddress.c:61:13: warning: the address of a function will always evaluate as true Waddress.c:62:13: warning: the address of a function will always evaluate as true Waddress.c:63:13: warning: the address of a function will always evaluate as true Waddress.c:64:13: warning: the address of a function will always evaluate as true Waddress.c:65:13: warning: the address of a variable will always evaluate as true Waddress.c:66:13: warning: the address of a variable will always evaluate as true Waddress.c:67:13: warning: the address of a variable will always evaluate as true Waddress.c:68:13: warning: the address of a variable will always evaluate as true Waddress.c:69:13: warning: the address of a label will always evaluate as true Waddress.c:70:13: warning: the address of a label will always evaluate as true * check-error-end */