1 /* Verify that we handle functions with __attribute__ ((const)) correctly. */
2
3 #include "analyzer-decls.h"
4
5 extern int nonconst_fn (int);
6
7 extern int const_fn_0 () __attribute__ ((const));
8 extern int const_fn_1 (int) __attribute__ ((const));
9 extern int const_fn_2 (int, int) __attribute__ ((const));
10 extern int const_fn_3 (int, int, int) __attribute__ ((const));
11 extern int const_fn_variadic (int, ...) __attribute__ ((const));
12
13 /* Verify that functions without __attribute__ ((const)) have a different
14 result each time. */
15
16 void test_nonconst_fn (int x, int y)
17 {
18 int x_1 = nonconst_fn (x);
19 int x_2 = nonconst_fn (x);
20 int y_1 = nonconst_fn (y);
21 int y_2 = nonconst_fn (y);
22 __analyzer_eval (x_1 == x_2); /* { dg-warning "UNKNOWN" } */
23 __analyzer_eval (y_1 == y_2); /* { dg-warning "UNKNOWN" } */
24 __analyzer_eval (x_1 == y_1); /* { dg-warning "UNKNOWN" } */
25 }
26
27 /* Verify functions with __attribute__ ((const)) have the same result
28 for the same arguments. */
29
30 /* 0 args. */
31
32 extern int other_const_fn_0 () __attribute__ ((const));
33
34 void test_const_fn_0 (void)
35 {
36 int a = const_fn_0 ();
37 int b = const_fn_0 ();
38 int c = other_const_fn_0 ();
39 int d = other_const_fn_0 ();
40 __analyzer_eval (a == b); /* { dg-warning "TRUE" } */
41 __analyzer_eval (c == d); /* { dg-warning "TRUE" } */
42 __analyzer_eval (a == c); /* { dg-warning "UNKNOWN" } */
43 }
44
45 /* 1 arg. */
46
47 void test_const_fn_1 (int x, int y)
48 {
49 int x_1 = const_fn_1 (x);
50 int x_2 = const_fn_1 (x);
51 int y_1 = const_fn_1 (y);
52 int y_2 = const_fn_1 (y);
53 __analyzer_eval (x_1 == x_2); /* { dg-warning "TRUE" } */
54 __analyzer_eval (y_1 == y_2); /* { dg-warning "TRUE" } */
55 __analyzer_eval (x_1 == y_1); /* { dg-warning "UNKNOWN" } */
56 }
57
58 /* 2 args. */
59
60 void test_const_fn_2 (int x, int y, int p, int q)
61 {
62 int xy_1 = const_fn_2 (x, y);
63 int xy_2 = const_fn_2 (x, y);
64 int pq_1 = const_fn_2 (p, q);
65 int pq_2 = const_fn_2 (p, q);
66 __analyzer_eval (xy_1 == xy_2); /* { dg-warning "TRUE" } */
67 __analyzer_eval (pq_1 == pq_2); /* { dg-warning "TRUE" } */
68 __analyzer_eval (xy_1 == pq_1); /* { dg-warning "UNKNOWN" } */
69 }
70
71 /* We don't handle above 2 args. */
72
73 void test_const_fn_3 (int x, int y, int z, int p, int q, int r)
74 {
75 int xyz_1 = const_fn_3 (x, y, z);
76 int xyz_2 = const_fn_3 (x, y, z);
77 int pqr_1 = const_fn_3 (p, q, r);
78 int pqr_2 = const_fn_3 (p, q, r);
79 __analyzer_eval (xyz_1 == xyz_2); /* { dg-warning "UNKNOWN" } */
80 __analyzer_eval (pqr_1 == pqr_2); /* { dg-warning "UNKNOWN" } */
81 __analyzer_eval (xyz_1 == pqr_1); /* { dg-warning "UNKNOWN" } */
82 }
83
84 /* Variadic fn, with various numbers of extra args. */
85
86 void test_const_fn_variadic (int x, int y, int z, int p, int q, int r)
87 {
88 /* 0 extra args, for 1 arg in total. */
89 int x_1 = const_fn_variadic (x);
90 int x_2 = const_fn_variadic (x);
91 int p_1 = const_fn_variadic (p);
92 int p_2 = const_fn_variadic (p);
93 __analyzer_eval (x_1 == x_2); /* { dg-warning "TRUE" } */
94 __analyzer_eval (p_1 == p_2); /* { dg-warning "TRUE" } */
95 __analyzer_eval (x_1 == p_1); /* { dg-warning "UNKNOWN" } */
96
97 /* 1 extra arg, for 2 args in total. */
98 int xy_1 = const_fn_variadic (x, y);
99 int xy_2 = const_fn_variadic (x, y);
100 int pq_1 = const_fn_variadic (p, q);
101 int pq_2 = const_fn_variadic (p, q);
102 __analyzer_eval (xy_1 == xy_2); /* { dg-warning "TRUE" } */
103 __analyzer_eval (pq_1 == pq_2); /* { dg-warning "TRUE" } */
104 __analyzer_eval (xy_1 == pq_1); /* { dg-warning "UNKNOWN" } */
105 __analyzer_eval (x_1 == xy_1); /* { dg-warning "UNKNOWN" } */
106 __analyzer_eval (p_1 == pq_1); /* { dg-warning "UNKNOWN" } */
107
108 /* Above that, we don't track results. */
109 int xyz_1 = const_fn_variadic (x, y, z);
110 int xyz_2 = const_fn_variadic (x, y, z);
111 int pqr_1 = const_fn_variadic (p, q, r);
112 int pqr_2 = const_fn_variadic (p, q, r);
113 __analyzer_eval (xyz_1 == xyz_2); /* { dg-warning "UNKNOWN" } */
114 __analyzer_eval (pqr_1 == pqr_2); /* { dg-warning "UNKNOWN" } */
115 __analyzer_eval (xyz_1 == x_1); /* { dg-warning "UNKNOWN" } */
116 __analyzer_eval (xyz_1 == xy_1); /* { dg-warning "UNKNOWN" } */
117 __analyzer_eval (xyz_1 == pqr_1); /* { dg-warning "UNKNOWN" } */
118 }
119
120 /* Builtins with __attribute__ ((const)). */
121
122 void test_builtin_isascii (int x, int y)
123 {
124 int x_1 = __builtin_isascii (x);
125 int x_2 = __builtin_isascii (x);
126 int y_1 = __builtin_isascii (y);
127 int y_2 = __builtin_isascii (y);
128 __analyzer_eval (x_1 == x_2); /* { dg-warning "TRUE" } */
129 __analyzer_eval (y_1 == y_2); /* { dg-warning "TRUE" } */
130 __analyzer_eval (x_1 == y_1); /* { dg-warning "UNKNOWN" } */
131 }
132
133 void test_builtin_popcount (unsigned x, unsigned y)
134 {
135 unsigned x_1 = __builtin_popcount (x);
136 unsigned x_2 = __builtin_popcount (x);
137 unsigned y_1 = __builtin_popcount (y);
138 unsigned y_2 = __builtin_popcount (y);
139 __analyzer_eval (x_1 == x_2); /* { dg-warning "TRUE" } */
140 __analyzer_eval (y_1 == y_2); /* { dg-warning "TRUE" } */
141 __analyzer_eval (x_1 == y_1); /* { dg-warning "UNKNOWN" } */
142 }
143
144 void test_loop (void)
145 {
146 for (int i = 0; i < 100; i++)
147 {
148 int iter_val_a = const_fn_1 (i);
149 int iter_val_b = const_fn_1 (i);
150 __analyzer_eval (iter_val_a == iter_val_b); /* { dg-warning "TRUE" } */
151 }
152 }