| int foo(void) { | |
| extern int a[]; | |
| if (a) | |
| return 1; | |
| return 0; | |
| } | |
| int bar(void) { | |
| int a[2]; | |
| if (a) | |
| return 1; | |
| return 0; | |
| } | |
| /* | |
| * check-name: Waddress-array | |
| * check-command: sparse -Wno-decl -Waddress $file | |
| * | |
| * check-error-start | |
| Waddress-array.c:4:13: warning: the address of an array will always evaluate as true | |
| Waddress-array.c:12:13: warning: the address of an array will always evaluate as true | |
| * check-error-end | |
| */ |