blob: 729dbe53a0c4b4be0d48fe00d39a6d71c317c4d3 (
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
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
|
/* { dg-additional-options "-fanalyzer-checker=taint" } */
// TODO: remove need for this option
/* This test can probably be removed when -fanalyzer enables
the taint checker by default. */
#include "analyzer-decls.h"
void
test_1 (char a)
{
char b = -a;
}
/* Copies of code from data-model-1.c. */
void test_20 (int i, int j)
{
__analyzer_eval (i + 1); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i + j); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i - 1); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i - j); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i * 2); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i * j); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i / 2); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i / j); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i % 2); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i % j); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i & 1); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i & j); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i | 1); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i | j); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i ^ 1); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i ^ j); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i >> 1); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i >> j); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i << 1); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i << j); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i && 0); /* { dg-warning "FALSE" } */
__analyzer_eval (i && 1); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i && j); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i || 0); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i || 1); /* { dg-warning "TRUE" } */
__analyzer_eval (i || j); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (~i); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (-i); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (+i); /* { dg-warning "UNKNOWN" } */
/* Anything added above should be added to the next function also. */
}
void test_21 (void)
{
int i, j, zero;
int *pi = &i;
int *pj = &j;
int *pzero = &zero;
*pi = 5;
*pj = 3;
*pzero = 0;
__analyzer_eval (i + j == 8); /* { dg-warning "TRUE" } */
__analyzer_eval (i - j == 2); /* { dg-warning "TRUE" } */
__analyzer_eval (i * j == 15); /* { dg-warning "TRUE" } */
__analyzer_eval (i / j == 1); /* { dg-warning "TRUE" } */
__analyzer_eval (i % j == 2); /* { dg-warning "TRUE" } */
/* Division by zero. */
// TODO: should we warn for this?
__analyzer_eval (i / zero); /* { dg-warning "UNKNOWN" } */
__analyzer_eval (i % zero); /* { dg-warning "UNKNOWN" } */
__analyzer_eval ((i & 1) == (5 & 1)); /* { dg-warning "TRUE" } */
__analyzer_eval ((i & j) == (5 & 3)); /* { dg-warning "TRUE" } */
__analyzer_eval ((i | 1) == (5 | 1)); /* { dg-warning "TRUE" } */
__analyzer_eval ((i | j) == (5 | 3)); /* { dg-warning "TRUE" } */
__analyzer_eval ((i ^ 1) == (5 ^ 1)); /* { dg-warning "TRUE" } */
__analyzer_eval ((i ^ j) == (5 ^ 3)); /* { dg-warning "TRUE" } */
__analyzer_eval ((i >> 1) == (5 >> 1)); /* { dg-warning "TRUE" } */
__analyzer_eval ((i >> j) == (5 >> 3)); /* { dg-warning "TRUE" } */
__analyzer_eval ((i << 1) == (5 << 1)); /* { dg-warning "TRUE" } */
__analyzer_eval ((i << j) == (5 << 3)); /* { dg-warning "TRUE" } */
__analyzer_eval (i && 0); /* { dg-warning "FALSE" } */
__analyzer_eval (i && 1); /* { dg-warning "TRUE" } */
__analyzer_eval (i && j); /* { dg-warning "TRUE" } */
__analyzer_eval (i || 0); /* { dg-warning "TRUE" } */
__analyzer_eval (i || 1); /* { dg-warning "TRUE" } */
__analyzer_eval (i || j); /* { dg-warning "TRUE" } */
__analyzer_eval (~i == ~5); /* { dg-warning "TRUE" } */
__analyzer_eval (-i == -5); /* { dg-warning "TRUE" } */
__analyzer_eval (+i == +5); /* { dg-warning "TRUE" } */
}
|
