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
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
|
/* Test for the "nonnull_if_nonzero" function attribute. */
/* { dg-do compile } */
/* { dg-options "-Wnonnull" } */
#include <stddef.h>
extern void func1 (char *, char *, int, int)
__attribute__((nonnull_if_nonzero (1, 3, 4), nonnull_if_nonzero (2, 3, 4)));
extern void func2 (char *, char *, unsigned long, unsigned long)
__attribute__((nonnull_if_nonzero (1, 3, 4)));
enum E { E0 = 0, E1 = 1, E2 = __INT_MAX__ };
extern void func3 (char *, int, char *, enum E, int, enum E)
__attribute__((nonnull_if_nonzero (1, 4, 6), nonnull_if_nonzero (3, 2, 5)));
extern void func4 (long, char *, char *, long, long, long)
__attribute__((nonnull_if_nonzero (2, 1, 5)))
__attribute__((nonnull_if_nonzero (3, 4, 6)));
void
foo (int i1, int i2, int i3, char *cp1, char *cp2, char *cp3)
{
func1 (cp1, cp2, i1, i2);
func1 (cp1, cp2, 0, 0);
func1 (cp1, cp2, 42, 42);
func1 (NULL, NULL, 0, 0);
func1 (NULL, NULL, 0, 42);
func1 (NULL, NULL, 42, 0);
func1 (NULL, NULL, i1, i2);
func1 (NULL, cp2, 42, 42); /* { dg-warning "argument 1 null where non-null expected because arguments 3 and 4 are nonzero" } */
func1 (cp1, NULL, 1, 1); /* { dg-warning "argument 2 null where non-null expected because arguments 3 and 4 are nonzero" } */
func2 (cp1, NULL, 17, 17);
func2 (NULL, cp2, 0, 0);
func2 (NULL, cp2, 0, 17);
func2 (NULL, cp2, 17, 0);
func2 (NULL, cp1, 2, 2); /* { dg-warning "argument 1 null where non-null expected because arguments 3 and 4 are nonzero" } */
func3 (NULL, i2, cp3, i3, i3, i2);
func3 (cp1, i2, NULL, i3, i3, i2);
func3 (NULL, i2, cp3, E0, i3, E0);
func3 (NULL, i2, cp3, E0, i3, E1);
func3 (NULL, i2, cp3, E1, i3, E0);
func3 (cp1, 0, NULL, E2, 0, E2);
func3 (cp1, 0, NULL, E2, 4, E2);
func3 (cp1, 4, NULL, E2, 0, E2);
func3 (NULL, i2, cp3, E2, i3, E2); /* { dg-warning "argument 1 null where non-null expected because arguments 4 and 6 are nonzero" } */
func3 (cp3, 5, NULL, i3, 1, i2); /* { dg-warning "argument 3 null where non-null expected because arguments 2 and 5 are nonzero" } */
func1 (i2 ? cp1 : NULL, cp2, i3, i3);
func1 (i2 ? NULL : cp1, cp2, i3, i3);
func1 (i2 ? (i3 ? cp1 : NULL) : cp2, cp3, i1, i1);
func1 (i1 ? cp1 : NULL, cp2, 0, 0);
func1 (i1 ? cp1 : NULL, cp2, 0, 4);
func1 (i1 ? cp1 : NULL, cp2, 4, 0);
func1 (i1 ? NULL : cp1, cp2, 0, 0);
func1 (i1 ? NULL : cp1, cp2, 0, 2);
func1 (i1 ? NULL : cp1, cp2, 3, 0);
func1 (i1 ? (i2 ? cp1 : NULL) : cp2, cp3, 0, 0);
func1 (i1 ? (i2 ? cp1 : NULL) : cp2, cp3, 0, 1);
func1 (i1 ? (i2 ? cp1 : NULL) : cp2, cp3, 2, 0);
func1 (i1 ? cp1 : NULL, cp2, 1, 2); /* { dg-warning "argument 1 null where non-null expected because arguments 3 and 4 are nonzero" } */
func1 (i1 ? NULL : cp1, cp2, 2, 3); /* { dg-warning "argument 1 null where non-null expected because arguments 3 and 4 are nonzero" } */
func1 (i1 ? (i2 ? cp1 : NULL) : cp2, cp3, 3, 4); /* { dg-warning "argument 1 null where non-null expected because arguments 3 and 4 are nonzero" } */
func4 (0, NULL, NULL, 0, 0, 0);
func4 (0, NULL, NULL, 0, 1, 2);
func4 (3, NULL, NULL, 4, 0, 0);
func4 (-1, NULL, cp1, 0, 42, 0); /* { dg-warning "argument 2 null where non-null expected because arguments 1 and 5 are nonzero" } */
func4 (0, cp1, NULL, 77, 0, 12); /* { dg-warning "argument 3 null where non-null expected because arguments 4 and 6 are nonzero" } */
}
|
