expressions: make assign_expression() take an op argument
[smatch.git] / validation / cond-address-array.c
blobe1d2f87f8783d8c157db2a87ea4d1494aab209b3
1 int foo(void) {
2 extern int a[];
4 if (a)
5 return 1;
6 return 0;
9 int bar(void) {
10 int a[2];
12 if (a)
13 return 1;
14 return 0;
18 * check-name: cond-address-array.c
19 * check-command: test-linearize -Wno-decl -Waddress $file
20 * check-output-ignore
22 * check-error-start
23 cond-address-array.c:4:13: warning: the address of an array will always evaluate as true
24 cond-address-array.c:12:13: warning: the address of an array will always evaluate as true
25 * check-error-end