1 extern int fun(void); 2 extern int arr[]; 3 extern int var; 4 5 int test_address(int arg, int ptr[]) 6 { 7 8 if (fun()) return -1; 9 if (var) return -1; 10 if (arg) return -1; 11 if (ptr) return -1; 12 13 lab: 14 if (arr) return 1; 15 if (&arr) return 1; 16 if (fun) return 1; 17 if (&fun) return 1; 18 if (*fun) return 1; 19 if (&var) return 1; 20 if (&arg) return 1; 21 if (&&lab) return 1; 22 23 return -1; 24 } 25 26 int test_address_not(int arg, int ptr[]) 27 { 28 29 if (!fun()) return -1; 30 if (!var) return -1; 31 if (!arg) return -1; 32 if (!ptr) return -1; 33 34 lab: 35 if (!arr) return 0; 36 if (!&arr) return 0; 37 if (!fun) return 0; 38 if (!&fun) return 0; 39 if (!*fun) return 0; 40 if (!&var) return 0; 41 if (!&arg) return 0; 42 if (!&&lab) return 0; 43 44 return -1; 45 } 46 47 int test_address_cmp(int arg, int ptr[]) 48 { 49 if (fun() == 0) return -1; 50 if (0 == fun()) return -1; 51 if (var == 0) return -1; 52 if (0 == var) return -1; 53 if (arg == 0) return -1; 54 if (0 == arg) return -1; 55 if (ptr == 0) return -1; 56 if (0 == ptr) return -1; 57 58 lab: 59 if (arr == 0) return 0; 60 if (0 == arr) return 0; 61 if (&arr == 0) return 0; 62 if (0 == &arr) return 0; 63 if (fun == 0) return 0; 64 if (0 == fun) return 0; 65 if (&fun == 0) return 0; 66 if (0 == &fun) return 0; 67 if (*fun == 0) return 0; 68 if (0 == *fun) return 0; 69 if (&var == 0) return 0; 70 if (0 == &var) return 0; 71 if (&arg == 0) return 0; 72 if (0 == &arg) return 0; 73 if (&&lab == 0) return 0; 74 if (0 == &&lab) return 0; 75 76 return -1; 77 } 78 79 /* 80 * check-name: Waddress 81 * check-command: sparse -Wno-decl -Wno-non-pointer-null -Waddress $file 82 * check-known-to-fail 83 * 84 * check-error-start 85 Waddress.c:14:13: warning: the address of an array will always evaluate as true 86 Waddress.c:15:14: warning: the address of an array will always evaluate as true 87 Waddress.c:16:13: warning: the address of a function will always evaluate as true 88 Waddress.c:17:14: warning: the address of a function will always evaluate as true 89 Waddress.c:18:13: warning: the address of a variable will always evaluate as true 90 Waddress.c:19:13: warning: the address of a variable will always evaluate as true 91 Waddress.c:20:13: warning: the address of a label will always evaluate as true 92 Waddress.c:34:13: warning: the address of an array will always evaluate as true 93 Waddress.c:35:13: warning: the address of an array will always evaluate as true 94 Waddress.c:36:13: warning: the address of a function will always evaluate as true 95 Waddress.c:37:13: warning: the address of a function will always evaluate as true 96 Waddress.c:38:13: warning: the address of a variable will always evaluate as true 97 Waddress.c:39:13: warning: the address of a variable will always evaluate as true 98 Waddress.c:40:13: warning: the address of a label will always evaluate as true 99 Waddress.c:57:13: warning: the address of an array will always evaluate as true 100 Waddress.c:58:13: warning: the address of an array will always evaluate as true 101 Waddress.c:59:13: warning: the address of an array will always evaluate as true 102 Waddress.c:60:13: warning: the address of an array will always evaluate as true 103 Waddress.c:61:13: warning: the address of a function will always evaluate as true 104 Waddress.c:62:13: warning: the address of a function will always evaluate as true 105 Waddress.c:63:13: warning: the address of a function will always evaluate as true 106 Waddress.c:64:13: warning: the address of a function will always evaluate as true 107 Waddress.c:65:13: warning: the address of a variable will always evaluate as true 108 Waddress.c:66:13: warning: the address of a variable will always evaluate as true 109 Waddress.c:67:13: warning: the address of a variable will always evaluate as true 110 Waddress.c:68:13: warning: the address of a variable will always evaluate as true 111 Waddress.c:69:13: warning: the address of a label will always evaluate as true 112 Waddress.c:70:13: warning: the address of a label will always evaluate as true 113 * check-error-end 114 */ 115