Skip to content

Commit 5ccd61a

Browse files
MathiasVPMathiasVP
committed
C++: Respond to review comments.
1 parent bfbb2ee commit 5ccd61a

File tree

5 files changed

+528
-517
lines changed

5 files changed

+528
-517
lines changed

‎cpp/ql/test/library-tests/rangeanalysis/SimpleRangeAnalysis/lowerBound.expected‎

Lines changed: 61 additions & 61 deletions
Original file line numberDiff line numberDiff line change
@@ -17,67 +17,6 @@
1717
| minmax.c:26:37:26:37 | x | 1 |
1818
| minmax.c:26:40:26:40 | y | 2 |
1919
| minmax.c:26:43:26:43 | z | 0 |
20-
| missing_bounds.cpp:40:5:40:20 | x | 0 |
21-
| missing_bounds.cpp:40:5:40:20 | x | 0 |
22-
| missing_bounds.cpp:41:5:41:20 | x | 0 |
23-
| missing_bounds.cpp:41:5:41:20 | x | 0 |
24-
| missing_bounds.cpp:42:5:42:20 | x | 0 |
25-
| missing_bounds.cpp:42:5:42:20 | x | 0 |
26-
| missing_bounds.cpp:43:5:43:20 | x | 0 |
27-
| missing_bounds.cpp:43:5:43:20 | x | 0 |
28-
| missing_bounds.cpp:44:5:44:20 | x | 0 |
29-
| missing_bounds.cpp:44:5:44:20 | x | 0 |
30-
| missing_bounds.cpp:45:5:45:20 | x | 0 |
31-
| missing_bounds.cpp:45:5:45:20 | x | 0 |
32-
| missing_bounds.cpp:46:5:46:20 | x | 0 |
33-
| missing_bounds.cpp:46:5:46:20 | x | 0 |
34-
| missing_bounds.cpp:47:5:47:20 | x | 0 |
35-
| missing_bounds.cpp:47:5:47:20 | x | 0 |
36-
| missing_bounds.cpp:48:5:48:20 | x | 0 |
37-
| missing_bounds.cpp:48:5:48:20 | x | 0 |
38-
| missing_bounds.cpp:49:5:49:20 | x | 0 |
39-
| missing_bounds.cpp:49:5:49:20 | x | 0 |
40-
| missing_bounds.cpp:50:5:50:20 | x | 0 |
41-
| missing_bounds.cpp:50:5:50:20 | x | 0 |
42-
| missing_bounds.cpp:51:5:51:20 | x | 0 |
43-
| missing_bounds.cpp:51:5:51:20 | x | 0 |
44-
| missing_bounds.cpp:52:5:52:20 | x | 0 |
45-
| missing_bounds.cpp:52:5:52:20 | x | 0 |
46-
| missing_bounds.cpp:53:5:53:20 | x | 0 |
47-
| missing_bounds.cpp:53:5:53:20 | x | 0 |
48-
| missing_bounds.cpp:54:5:54:20 | x | 0 |
49-
| missing_bounds.cpp:54:5:54:20 | x | 0 |
50-
| missing_bounds.cpp:55:5:55:20 | x | 0 |
51-
| missing_bounds.cpp:55:5:55:20 | x | 0 |
52-
| missing_bounds.cpp:56:5:56:20 | x | 0 |
53-
| missing_bounds.cpp:56:5:56:20 | x | 0 |
54-
| missing_bounds.cpp:57:5:57:20 | x | 0 |
55-
| missing_bounds.cpp:57:5:57:20 | x | 0 |
56-
| missing_bounds.cpp:58:5:58:20 | x | 0 |
57-
| missing_bounds.cpp:58:5:58:20 | x | 0 |
58-
| missing_bounds.cpp:59:5:59:20 | x | 0 |
59-
| missing_bounds.cpp:59:5:59:20 | x | 0 |
60-
| missing_bounds.cpp:60:5:60:20 | x | 0 |
61-
| missing_bounds.cpp:60:5:60:20 | x | 0 |
62-
| missing_bounds.cpp:61:5:61:20 | x | 0 |
63-
| missing_bounds.cpp:61:5:61:20 | x | 0 |
64-
| missing_bounds.cpp:62:5:62:20 | x | 0 |
65-
| missing_bounds.cpp:62:5:62:20 | x | 0 |
66-
| missing_bounds.cpp:63:5:63:20 | x | 0 |
67-
| missing_bounds.cpp:63:5:63:20 | x | 0 |
68-
| missing_bounds.cpp:64:5:64:20 | x | 0 |
69-
| missing_bounds.cpp:64:5:64:20 | x | 0 |
70-
| missing_bounds.cpp:65:5:65:21 | x | 0 |
71-
| missing_bounds.cpp:65:5:65:21 | x | 0 |
72-
| missing_bounds.cpp:66:5:66:21 | x | 0 |
73-
| missing_bounds.cpp:66:5:66:21 | x | 0 |
74-
| missing_bounds.cpp:67:5:67:21 | x | 0 |
75-
| missing_bounds.cpp:67:5:67:21 | x | 0 |
76-
| missing_bounds.cpp:68:5:68:21 | x | 0 |
77-
| missing_bounds.cpp:68:5:68:21 | x | 0 |
78-
| missing_bounds.cpp:69:5:69:21 | x | 0 |
79-
| missing_bounds.cpp:69:5:69:21 | x | 0 |
80-
| missing_bounds.cpp:72:12:72:12 | x | 0 |
8120
| test.c:8:5:8:9 | count | -2147483648 |
8221
| test.c:8:13:8:17 | count | -2147483648 |
8322
| test.c:10:10:10:14 | count | -2147483648 |
@@ -1155,3 +1094,64 @@
11551094
| test.cpp:122:4:122:4 | n | 0 |
11561095
| test.cpp:122:8:122:8 | n | 0 |
11571096
| test.cpp:122:12:122:12 | n | 1 |
1097+
| test_nr_of_bounds.cpp:40:5:40:20 | x | 0 |
1098+
| test_nr_of_bounds.cpp:40:5:40:20 | x | 0 |
1099+
| test_nr_of_bounds.cpp:41:5:41:20 | x | 0 |
1100+
| test_nr_of_bounds.cpp:41:5:41:20 | x | 0 |
1101+
| test_nr_of_bounds.cpp:42:5:42:20 | x | 0 |
1102+
| test_nr_of_bounds.cpp:42:5:42:20 | x | 0 |
1103+
| test_nr_of_bounds.cpp:43:5:43:20 | x | 0 |
1104+
| test_nr_of_bounds.cpp:43:5:43:20 | x | 0 |
1105+
| test_nr_of_bounds.cpp:44:5:44:20 | x | 0 |
1106+
| test_nr_of_bounds.cpp:44:5:44:20 | x | 0 |
1107+
| test_nr_of_bounds.cpp:45:5:45:20 | x | 0 |
1108+
| test_nr_of_bounds.cpp:45:5:45:20 | x | 0 |
1109+
| test_nr_of_bounds.cpp:46:5:46:20 | x | 0 |
1110+
| test_nr_of_bounds.cpp:46:5:46:20 | x | 0 |
1111+
| test_nr_of_bounds.cpp:47:5:47:20 | x | 0 |
1112+
| test_nr_of_bounds.cpp:47:5:47:20 | x | 0 |
1113+
| test_nr_of_bounds.cpp:48:5:48:20 | x | 0 |
1114+
| test_nr_of_bounds.cpp:48:5:48:20 | x | 0 |
1115+
| test_nr_of_bounds.cpp:49:5:49:20 | x | 0 |
1116+
| test_nr_of_bounds.cpp:49:5:49:20 | x | 0 |
1117+
| test_nr_of_bounds.cpp:50:5:50:20 | x | 0 |
1118+
| test_nr_of_bounds.cpp:50:5:50:20 | x | 0 |
1119+
| test_nr_of_bounds.cpp:51:5:51:20 | x | 0 |
1120+
| test_nr_of_bounds.cpp:51:5:51:20 | x | 0 |
1121+
| test_nr_of_bounds.cpp:52:5:52:20 | x | 0 |
1122+
| test_nr_of_bounds.cpp:52:5:52:20 | x | 0 |
1123+
| test_nr_of_bounds.cpp:53:5:53:20 | x | 0 |
1124+
| test_nr_of_bounds.cpp:53:5:53:20 | x | 0 |
1125+
| test_nr_of_bounds.cpp:54:5:54:20 | x | 0 |
1126+
| test_nr_of_bounds.cpp:54:5:54:20 | x | 0 |
1127+
| test_nr_of_bounds.cpp:55:5:55:20 | x | 0 |
1128+
| test_nr_of_bounds.cpp:55:5:55:20 | x | 0 |
1129+
| test_nr_of_bounds.cpp:56:5:56:20 | x | 0 |
1130+
| test_nr_of_bounds.cpp:56:5:56:20 | x | 0 |
1131+
| test_nr_of_bounds.cpp:57:5:57:20 | x | 0 |
1132+
| test_nr_of_bounds.cpp:57:5:57:20 | x | 0 |
1133+
| test_nr_of_bounds.cpp:58:5:58:20 | x | 0 |
1134+
| test_nr_of_bounds.cpp:58:5:58:20 | x | 0 |
1135+
| test_nr_of_bounds.cpp:59:5:59:20 | x | 0 |
1136+
| test_nr_of_bounds.cpp:59:5:59:20 | x | 0 |
1137+
| test_nr_of_bounds.cpp:60:5:60:20 | x | 0 |
1138+
| test_nr_of_bounds.cpp:60:5:60:20 | x | 0 |
1139+
| test_nr_of_bounds.cpp:61:5:61:20 | x | 0 |
1140+
| test_nr_of_bounds.cpp:61:5:61:20 | x | 0 |
1141+
| test_nr_of_bounds.cpp:62:5:62:20 | x | 0 |
1142+
| test_nr_of_bounds.cpp:62:5:62:20 | x | 0 |
1143+
| test_nr_of_bounds.cpp:63:5:63:20 | x | 0 |
1144+
| test_nr_of_bounds.cpp:63:5:63:20 | x | 0 |
1145+
| test_nr_of_bounds.cpp:64:5:64:20 | x | 0 |
1146+
| test_nr_of_bounds.cpp:64:5:64:20 | x | 0 |
1147+
| test_nr_of_bounds.cpp:65:5:65:21 | x | 0 |
1148+
| test_nr_of_bounds.cpp:65:5:65:21 | x | 0 |
1149+
| test_nr_of_bounds.cpp:66:5:66:21 | x | 0 |
1150+
| test_nr_of_bounds.cpp:66:5:66:21 | x | 0 |
1151+
| test_nr_of_bounds.cpp:67:5:67:21 | x | 0 |
1152+
| test_nr_of_bounds.cpp:67:5:67:21 | x | 0 |
1153+
| test_nr_of_bounds.cpp:68:5:68:21 | x | 0 |
1154+
| test_nr_of_bounds.cpp:68:5:68:21 | x | 0 |
1155+
| test_nr_of_bounds.cpp:69:5:69:21 | x | 0 |
1156+
| test_nr_of_bounds.cpp:69:5:69:21 | x | 0 |
1157+
| test_nr_of_bounds.cpp:72:12:72:12 | x | 0 |

0 commit comments

Comments
 (0)