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
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
|
#include "analyzer-decls.h"
#include <stdlib.h>
extern void foo(void *ptrA, void *ptrB, void *ptrC) /* { dg-message "argument 1 of 'foo' must be non-null" } */
__attribute__((nonnull (1, 3)));
extern void bar(void *ptrA, void *ptrB, void *ptrC) /* { dg-message "argument 1 of 'bar' must be non-null" } */
__attribute__((nonnull));
// TODO: complain about NULL and possible NULL args
// FIXME: ought to complain about NULL args
void test_1 (void *p, void *q, void *r)
{
foo(p, q, r);
foo(NULL, q, r); /* { dg-warning "use of NULL where non-null expected" "warning" } */
/* { dg-message "argument 1 NULL where non-null expected" "note" { target *-*-* } .-1 } */
}
void test_1a (void *q, void *r)
{
void *p = NULL;
foo(p, q, r); /* { dg-warning "use of NULL 'p' where non-null expected" "warning" } */
/* { dg-message "argument 1 \\('p'\\) NULL where non-null expected" "note" { target *-*-* } .-1 } */
}
void test_1b (void *p, void *r)
{
foo(p, NULL, r);
}
void test_1c (void *p, void *q, void *r)
{
foo(p, q, NULL); /* { dg-warning "use of NULL where non-null expected" } */
}
void test_2a (void *p, void *q, void *r)
{
bar(p, q, r);
}
void test_2b (void *p, void *q, void *r)
{
bar(p, NULL, r); /* { dg-warning "use of NULL where non-null expected" "warning" } */
/* { dg-message "argument 2 NULL where non-null expected" "note" { target *-*-* } .-1 } */
}
void test_2c (void *p, void *q, void *r)
{
bar(p, q, NULL); /* { dg-warning "use of NULL where non-null expected" "warning" } */
}
void test_3 (void *q, void *r)
{
void *p = malloc(1024); /* { dg-message "\\(1\\) this call could return NULL" } */
foo(p, q, r); /* { dg-warning "use of possibly-NULL 'p' where non-null expected" "warning" } */
/* { dg-message "argument 1 \\('p'\\) from \\(1\\) could be NULL where non-null expected" "note" { target *-*-* } .-1 } */
foo(p, q, r);
free(p);
}
void test_4 (void *q, void *r)
{
void *p = malloc(1024); /* { dg-message "\\(1\\) this call could return NULL" } */
bar(p, q, r); /* { dg-warning "use of possibly-NULL 'p' where non-null expected" "warning" } */
/* { dg-message "argument 1 \\('p'\\) from \\(1\\) could be NULL where non-null expected" "note" { target *-*-* } .-1 } */
bar(p, q, r);
free(p);
}
/* Verify that we detect passing NULL to a __attribute__((nonnull)) function
when it's called via a function pointer. */
typedef void (*bar_t)(void *ptrA, void *ptrB, void *ptrC);
static bar_t __attribute__((noinline))
get_bar (void)
{
return bar;
}
void test_5 (void *q, void *r)
{
void *p = malloc(1024); /* { dg-message "\\(1\\) this call could return NULL" } */
bar_t cb = get_bar ();
cb(p, q, r); /* { dg-warning "use of possibly-NULL 'p' where non-null expected" "warning" } */
/* { dg-message "argument 1 \\('p'\\) from \\(1\\) could be NULL where non-null expected" "note" { target *-*-* } .-1 } */
/* TODO: do we want an event showing where cb is assigned "bar"? */
cb(p, q, r);
free(p);
}
__attribute__((nonnull(1, 3)))
void test_6 (void *p, void *q, void *r)
{
__analyzer_eval (p != NULL); /* { dg-warning "TRUE" } */
__analyzer_eval (q != NULL); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (r != NULL); /* { dg-warning "TRUE" } */
}
__attribute__((nonnull))
void test_7 (void *p, void *q, void *r)
{
__analyzer_eval (p != NULL); /* { dg-warning "TRUE" } */
__analyzer_eval (q != NULL); /* { dg-warning "TRUE" } */
__analyzer_eval (r != NULL); /* { dg-warning "TRUE" } */
}
|
