blob: 0d5edf821f23af30405e408a8fdfade7e72255da (
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
41
42
43
44
45
46
47
48
49
50
51
52
|
/* Reduced from haproxy-2.7.1: src/tcpcheck.c. */
#include "../../gcc.dg/analyzer/analyzer-decls.h"
int
test_1 (char **args, int cur_arg)
{
char *p = NULL;
if (*args[cur_arg]) {
p = args[cur_arg];
}
if (p) { /* { dg-bogus "check of 'p' for NULL after already dereferencing it" } */
return 1;
}
return 0;
}
int
test_2 (char **args, int cur_arg)
{
char *p = NULL;
char *q = NULL;
if (*args[cur_arg]) {
if (*args[cur_arg + 1]) {
p = args[cur_arg];
} else {
q = args[cur_arg];
}
}
if (p) { /* { dg-bogus "check of 'p' for NULL after already dereferencing it" } */
return 1;
}
if (q) { /* { dg-bogus "check of 'q' for NULL after already dereferencing it" } */
return 2;
}
return 0;
}
int test_3 (void **pp, int flag)
{
void *p = NULL;
if (*pp && flag)
p = pp;
if (p) /* { dg-bogus "check of 'p' for NULL after already dereferencing it" } */
return 1;
return 0;
}
|
