aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/linear/degen-log-not.c
blob: a982e34b206889c8e6244feb0068c20243aa14eb (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
extern int arr[];
int test_arr_addr(int i)
{
	if (!&arr) return 1;
	return 0;
}

int test_arr_addr0(int i)
{
	if (!&arr[0]) return 1;
	return 0;
}

int test_arr_degen(int i)
{
	if (!arr) return 1;
	return 0;
}

extern int fun(void);
int test_fun_addr(int i)
{
	if (!&fun) return 1;
	return 0;
}

int test_fun_degen(int i)
{
	if (!fun) return 1;
	return 0;
}

/*
 * check-name: degenerate logical-not
 * check-command: test-linearize -Wno-decl $file
 *
 * check-output-ignore
 * check-output-excludes: load
 * check-output-excludes: VOID
 */