Skip to content

Commit 44d1cab

Browse files
karoliinehkaroliineh
committed
Merge branch 'cil-issue-183-pr-211' into dash-dev
2 parents 3127a30 + 002c5e6 commit 44d1cab

File tree

3 files changed

+97
-97
lines changed

3 files changed

+97
-97
lines changed

‎tests/regression/55-loop-unrolling/12-loop-no-overflows.t‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ Should have no overflow warning (on line 32).
22
Now has NULL dereference warning there still.
33

44
$ goblint --enable ana.int.interval_set 12-loop-no-overflows.c
5-
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (12-loop-no-overflows.c:32:9-32:550)
5+
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (12-loop-no-overflows.c:32:346-32:384)
66
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (12-loop-no-overflows.c:34:9-34:33)
77
[Info][Unsound] Unknown address given as function argument (12-loop-no-overflows.c:34:9-34:33)
88
[Warning][Behavior > Undefined > NullPointerDereference][CWE-476] May dereference NULL pointer (12-loop-no-overflows.c:20:5-20:45)

‎tests/regression/cfg/loops.t/run.t‎

Lines changed: 13 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -41,7 +41,7 @@
4141
│ │ │ ▼ │ │ │
4242
│ │ │ ┌───────────────────────────────────┐ │ │ │
4343
│ │ │ │ loops.c:13:3-15:3 │ │ │ │
44-
│ │ │ │ (loops.c:13:7-13:26 (synthetic)) │ │ │ │
44+
│ │ │ │ (loops.c:13:7-13:13 (synthetic)) │ │ │ │
4545
│ │ │ │ YAML loc: loops.c:13:3-15:3 │ │ i = i + 1 │ │
4646
│ │ │ │ server: false │ │ │ │
4747
│ │ │ └───────────────────────────────────┘ │ │ │
@@ -50,7 +50,7 @@
5050
│ │ │ ▼ │ │ │
5151
│ │ │ ┌───────────────────────────────────┐ ┌───────────────────────────────────┐ │ │ │
5252
│ │ │ │ │ │ loops.c:13:3-15:3 (synthetic) │ │ │ │
53-
│ │ │ │ loops.c:14:5-14:23 │ │ (loops.c:13:7-13:26 (synthetic)) │ │ │ │
53+
│ │ │ │ loops.c:14:5-14:23 │ │ (loops.c:13:13-13:21 (synthetic)) │ │ │ │
5454
│ │ │ │ (loops.c:14:5-14:23) │ │ [loops.c:13:3-15:3 (synthetic) │ │ │ │
5555
│ │ │ │ YAML loc: loops.c:14:5-14:23 │ │ (unknown)] │ │ │ │
5656
│ │ │ │ server: true │ Pos(i < 10) │ YAML loop: loops.c:13:3-15:3 │ │ │ │
@@ -61,7 +61,7 @@
6161
│ │ │ ▼ ▼ │ │
6262
│ │ │ ┌───────────────────────────────────┐ ┌───────────────────────────────────┐ │ │
6363
│ │ │ │ loops.c:13:3-15:3 (synthetic) │ │ loops.c:18:3-20:3 │ │ │
64-
│ │ │ │ (loops.c:13:7-13:26 (synthetic)) │ │ (loops.c:18:7-18:26 (synthetic)) │ │ │
64+
│ │ │ │ (loops.c:13:21-13:26 (synthetic)) │ │ (loops.c:18:7-18:13 (synthetic)) │ │ │
6565
│ │ │ │ server: false │ │ YAML loc: loops.c:18:3-20:3 │ │ │
6666
│ │ └─ │ │ │ server: false │ │ │
6767
│ │ └───────────────────────────────────┘ └───────────────────────────────────┘ │ │
@@ -70,8 +70,8 @@
7070
│ │ ▼ │ │
7171
│ │ ┌───────────────────────────────────┐ ┌───────────────────────────────────┐ │ │
7272
│ │ │ │ │ loops.c:18:3-20:3 (synthetic) │ │ │
73-
│ │ │ loops.c:18:3-20:3 (synthetic) │ │ (loops.c:18:7-18:26 (synthetic)) │ │ │
74-
│ │ │ (loops.c:18:7-18:26 (synthetic)) │ │ [loops.c:18:3-20:3 (synthetic) │ │ │
73+
│ │ │ loops.c:18:3-20:3 (synthetic) │ │ (loops.c:18:13-18:21 (synthetic)) │ │ │
74+
│ │ │ (loops.c:18:21-18:26 (synthetic)) │ │ [loops.c:18:3-20:3 (synthetic) │ │ │
7575
│ │ │ server: false │ │ (unknown)] │ │ │
7676
│ │ │ │ Pos(i < 10) │ YAML loop: loops.c:18:3-20:3 │ i = i + 1 │ │
7777
│ └────── │ │ ◀───────────── │ server: false │ ◀────────────────┘ │
@@ -81,7 +81,7 @@
8181
│ ▼ │
8282
│ ┌───────────────────────────────────┐ │
8383
│ │ loops.c:23:3-25:3 │ │
84-
│ │ (loops.c:23:7-23:22 (synthetic)) │ │
84+
│ │ (loops.c:23:7-23:13 (synthetic)) │ │
8585
│ │ YAML loc: loops.c:23:3-25:3 │ │
8686
│ │ server: false │ │
8787
│ └───────────────────────────────────┘ │
@@ -90,7 +90,7 @@
9090
│ ▼ │
9191
│ ┌───────────────────────────────────┐ ┌───────────────────────────────────┐ │
9292
│ │ │ │ loops.c:23:3-25:3 (synthetic) │ │
93-
│ │ loops.c:24:5-24:8 │ │ (loops.c:23:7-23:22 (synthetic)) │ │
93+
│ │ loops.c:24:5-24:8 │ │ (loops.c:23:13-23:21 (synthetic)) │ │
9494
│ │ (loops.c:24:5-24:8) │ │ [loops.c:23:3-25:3 (synthetic) │ │
9595
│ │ YAML loc: loops.c:24:5-24:8 │ │ (unknown)] │ │
9696
│ │ server: true │ Pos(i < 10) │ YAML loop: loops.c:23:3-25:3 │ i = i + 1 │
@@ -110,7 +110,7 @@
110110
▼
111111
┌───────────────────────────────────┐ ┌───────────────────────────────────┐
112112
│ │ │ loops.c:29:3-31:3 (synthetic) │
113-
│ loops.c:30:5-30:23 │ │ (loops.c:29:7-29:21 (synthetic)) │
113+
│ loops.c:30:5-30:23 │ │ (loops.c:29:8-29:16 (synthetic)) │
114114
│ (loops.c:30:5-30:23) │ │ [loops.c:29:3-31:3 (synthetic) │
115115
│ YAML loc: loops.c:30:5-30:23 │ │ (unknown)] │
116116
│ server: true │ Pos(i < 10) │ YAML loop: loops.c:29:3-31:3 │ i = i + 1
@@ -121,7 +121,7 @@
121121
▼ ▼ │
122122
┌───────────────────────────────────┐ ┌───────────────────────────────────┐ │
123123
│ loops.c:29:3-31:3 (synthetic) │ │ loops.c:34:3-36:3 │ │
124-
│ (loops.c:29:7-29:21 (synthetic)) │ │ (loops.c:34:12-34:17 (synthetic)) │ │
124+
│ (loops.c:29:16-29:21 (synthetic)) │ │ (loops.c:34:12-34:17 (synthetic)) │ │
125125
│ server: false │ │ YAML loc: loops.c:34:3-36:3 │ │
126126
┌────── │ │ │ server: false │ │
127127
│ └───────────────────────────────────┘ └───────────────────────────────────┘ │
@@ -130,7 +130,7 @@
130130
│ ▼ │
131131
│ ┌───────────────────────────────────┐ ┌───────────────────────────────────┐ │
132132
│ │ │ │ loops.c:34:3-36:3 (synthetic) │ │
133-
│ │ loops.c:35:5-35:23 │ │ (loops.c:34:7-34:30 (synthetic)) │ │
133+
│ │ loops.c:35:5-35:23 │ │ (loops.c:34:17-34:25 (synthetic)) │ │
134134
│ │ (loops.c:35:5-35:23) │ │ [loops.c:34:3-36:3 (synthetic) │ │
135135
│ │ YAML loc: loops.c:35:5-35:23 │ │ (unknown)] │ │
136136
│ │ server: true │ Pos(j < 10) │ YAML loop: loops.c:34:3-36:3 │ j = j + 1 │
@@ -141,7 +141,7 @@
141141
│ ▼ ▼ │ │
142142
│ ┌───────────────────────────────────┐ ┌───────────────────────────────────┐ │ │
143143
│ │ loops.c:34:3-36:3 (synthetic) │ │ loops.c:39:3-41:3 │ │ │
144-
│ │ (loops.c:34:12-34:17 (synthetic)) │ │ (loops.c:39:12-39:23 (synthetic)) │ │ │
144+
│ │ (loops.c:34:25-34:30 (synthetic)) │ │ (loops.c:39:12-39:23 (synthetic)) │ │ │
145145
│ │ server: false │ │ YAML loc: loops.c:39:3-41:3 │ │ │
146146
│ │ │ │ server: false │ │ │
147147
│ └───────────────────────────────────┘ └───────────────────────────────────┘ │ │
@@ -158,7 +158,7 @@
158158
│ │ ▼ │ │
159159
│ │ ┌───────────────────────────────────┐ ┌───────────────────────────────────┐ │ │
160160
│ │ │ │ │ loops.c:39:3-41:3 (synthetic) │ │ │
161-
│ │ │ loops.c:40:5-40:23 │ │ (loops.c:39:7-39:36 (synthetic)) │ │ │
161+
│ │ │ loops.c:40:5-40:23 │ │ (loops.c:39:23-39:31 (synthetic)) │ │ │
162162
│ │ │ (loops.c:40:5-40:23) │ │ [loops.c:39:3-41:3 (synthetic) │ │ │
163163
│ │ │ YAML loc: loops.c:40:5-40:23 │ │ (unknown)] │ │ │
164164
│ │ │ server: true │ Pos(i < 10) │ YAML loop: loops.c:39:3-41:3 │ i = i + 1 │ │
@@ -169,7 +169,7 @@
169169
│ │ ▼ ▼ │ │ │
170170
│ │ ┌───────────────────────────────────┐ ┌───────────────────────────────────┐ │ │ │
171171
│ │ │ loops.c:39:3-41:3 (synthetic) │ │ loops.c:44:3-44:8 │ │ │ │
172-
│ │ │ (loops.c:39:12-39:23 (synthetic)) │ │ (loops.c:44:3-44:8) │ │ │ │
172+
│ │ │ (loops.c:39:31-39:36 (synthetic)) │ │ (loops.c:44:3-44:8) │ │ │ │
173173
│ │ │ server: false │ │ YAML loc: loops.c:44:3-44:8 │ │ │ │
174174
│ │ │ │ │ server: true │ │ │ │
175175
│ │ └───────────────────────────────────┘ └───────────────────────────────────┘ │ │ │

0 commit comments

Comments
 (0)