diff options
Diffstat (limited to 'validation')
| -rw-r--r-- | validation/cond-address-array.c | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/validation/cond-address-array.c b/validation/cond-address-array.c new file mode 100644 index 00000000..e1d2f87f --- /dev/null +++ b/validation/cond-address-array.c @@ -0,0 +1,26 @@ +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: cond-address-array.c + * check-command: test-linearize -Wno-decl -Waddress $file + * check-output-ignore + * + * check-error-start +cond-address-array.c:4:13: warning: the address of an array will always evaluate as true +cond-address-array.c:12:13: warning: the address of an array will always evaluate as true + * check-error-end + */ |