Skip to content

Commit 7c5f117

Browse files
author
Albin Stjerna
authored
Merge pull request #144 from lqd/fix_facts
Some move errors fixes and tests, and fact updates
2 parents e83a7c3 + 2abb463 commit 7c5f117

File tree

79 files changed

+151680
-143416
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

79 files changed

+151680
-143416
lines changed

‎Cargo.lock

Lines changed: 2 additions & 2 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎RELEASES.md

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -36,6 +36,10 @@ Add a CLI option `--dump-liveness-graph` to dump a Graphviz file with a
3636

3737
# polonius-engine
3838

39+
## v.0.12.1
40+
41+
- fix an issue in tracking paths and subpaths in move/init analysis
42+
3943
## v.0.12.0
4044

4145
- finish moving to the new terminology

‎inputs/clap-rs/app-parser-{{impl}}-add_defaults/borrow_region.facts

Lines changed: 37 additions & 37 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
"\'_#6r" "bw0" "Mid(bb0[3])"
22
"\'_#12r" "bw1" "Mid(bb4[5])"
33
"\'_#13r" "bw2" "Mid(bb4[6])"
4-
"\'_#17r" "bw3" "Mid(bb7[12])"
4+
"\'_#17r" "bw3" "Mid(bb6[12])"
55
"\'_#44r" "bw1094" "Mid(bb12[10])"
66
"\'_#50r" "bw1095" "Mid(bb13[0])"
77
"\'_#60r" "bw1096" "Mid(bb21[5])"
@@ -38,7 +38,7 @@
3838
"\'_#299r" "bw1226" "Mid(bb142[10])"
3939
"\'_#307r" "bw1227" "Mid(bb144[0])"
4040
"\'_#308r" "bw1228" "Mid(bb144[4])"
41-
"\'_#328r" "bw1229" "Mid(bb147[6])"
41+
"\'_#328r" "bw1229" "Mid(bb146[6])"
4242
"\'_#344r" "bw1291" "Mid(bb152[7])"
4343
"\'_#347r" "bw1292" "Mid(bb157[5])"
4444
"\'_#348r" "bw1293" "Mid(bb157[6])"
@@ -62,7 +62,7 @@
6262
"\'_#458r" "bw1283" "Mid(bb211[2])"
6363
"\'_#464r" "bw1230" "Mid(bb216[0])"
6464
"\'_#465r" "bw1231" "Mid(bb216[4])"
65-
"\'_#485r" "bw1232" "Mid(bb219[5])"
65+
"\'_#485r" "bw1232" "Mid(bb218[5])"
6666
"\'_#501r" "bw1270" "Mid(bb224[7])"
6767
"\'_#504r" "bw1271" "Mid(bb229[5])"
6868
"\'_#505r" "bw1272" "Mid(bb229[6])"
@@ -110,11 +110,11 @@
110110
"\'_#776r" "bw1138" "Mid(bb363[4])"
111111
"\'_#781r" "bw1139" "Mid(bb367[5])"
112112
"\'_#782r" "bw1140" "Mid(bb367[6])"
113-
"\'_#785r" "bw1141" "Mid(bb370[10])"
113+
"\'_#785r" "bw1141" "Mid(bb369[10])"
114114
"\'_#794r" "bw1149" "Mid(bb372[22])"
115115
"\'_#802r" "bw1150" "Mid(bb374[0])"
116116
"\'_#803r" "bw1151" "Mid(bb374[4])"
117-
"\'_#823r" "bw1152" "Mid(bb377[6])"
117+
"\'_#823r" "bw1152" "Mid(bb376[6])"
118118
"\'_#839r" "bw1214" "Mid(bb382[7])"
119119
"\'_#842r" "bw1215" "Mid(bb387[5])"
120120
"\'_#843r" "bw1216" "Mid(bb387[6])"
@@ -138,7 +138,7 @@
138138
"\'_#953r" "bw1206" "Mid(bb441[2])"
139139
"\'_#959r" "bw1153" "Mid(bb446[0])"
140140
"\'_#960r" "bw1154" "Mid(bb446[4])"
141-
"\'_#980r" "bw1155" "Mid(bb449[5])"
141+
"\'_#980r" "bw1155" "Mid(bb448[5])"
142142
"\'_#996r" "bw1193" "Mid(bb454[7])"
143143
"\'_#999r" "bw1194" "Mid(bb459[5])"
144144
"\'_#1000r" "bw1195" "Mid(bb459[6])"
@@ -192,7 +192,7 @@
192192
"\'_#1294r" "bw1148" "Mid(bb603[2])"
193193
"\'_#1306r" "bw1126" "Mid(bb613[5])"
194194
"\'_#1307r" "bw1127" "Mid(bb613[6])"
195-
"\'_#1310r" "bw1128" "Mid(bb616[10])"
195+
"\'_#1310r" "bw1128" "Mid(bb615[10])"
196196
"\'_#1316r" "bw1136" "Mid(bb618[17])"
197197
"\'_#1319r" "bw1137" "Mid(bb622[2])"
198198
"\'_#1327r" "bw1129" "Mid(bb625[9])"
@@ -255,7 +255,7 @@
255255
"\'_#1831r" "bw1006" "Mid(bb847[10])"
256256
"\'_#1839r" "bw1007" "Mid(bb849[0])"
257257
"\'_#1840r" "bw1008" "Mid(bb849[4])"
258-
"\'_#1860r" "bw1009" "Mid(bb852[6])"
258+
"\'_#1860r" "bw1009" "Mid(bb851[6])"
259259
"\'_#1876r" "bw1071" "Mid(bb857[7])"
260260
"\'_#1879r" "bw1072" "Mid(bb862[5])"
261261
"\'_#1880r" "bw1073" "Mid(bb862[6])"
@@ -279,7 +279,7 @@
279279
"\'_#1990r" "bw1063" "Mid(bb916[2])"
280280
"\'_#1996r" "bw1010" "Mid(bb921[0])"
281281
"\'_#1997r" "bw1011" "Mid(bb921[4])"
282-
"\'_#2017r" "bw1012" "Mid(bb924[5])"
282+
"\'_#2017r" "bw1012" "Mid(bb923[5])"
283283
"\'_#2033r" "bw1050" "Mid(bb929[7])"
284284
"\'_#2036r" "bw1051" "Mid(bb934[5])"
285285
"\'_#2037r" "bw1052" "Mid(bb934[6])"
@@ -327,11 +327,11 @@
327327
"\'_#2308r" "bw918" "Mid(bb1068[4])"
328328
"\'_#2313r" "bw919" "Mid(bb1072[5])"
329329
"\'_#2314r" "bw920" "Mid(bb1072[6])"
330-
"\'_#2317r" "bw921" "Mid(bb1075[10])"
330+
"\'_#2317r" "bw921" "Mid(bb1074[10])"
331331
"\'_#2326r" "bw929" "Mid(bb1077[22])"
332332
"\'_#2334r" "bw930" "Mid(bb1079[0])"
333333
"\'_#2335r" "bw931" "Mid(bb1079[4])"
334-
"\'_#2355r" "bw932" "Mid(bb1082[6])"
334+
"\'_#2355r" "bw932" "Mid(bb1081[6])"
335335
"\'_#2371r" "bw994" "Mid(bb1087[7])"
336336
"\'_#2374r" "bw995" "Mid(bb1092[5])"
337337
"\'_#2375r" "bw996" "Mid(bb1092[6])"
@@ -355,7 +355,7 @@
355355
"\'_#2485r" "bw986" "Mid(bb1146[2])"
356356
"\'_#2491r" "bw933" "Mid(bb1151[0])"
357357
"\'_#2492r" "bw934" "Mid(bb1151[4])"
358-
"\'_#2512r" "bw935" "Mid(bb1154[5])"
358+
"\'_#2512r" "bw935" "Mid(bb1153[5])"
359359
"\'_#2528r" "bw973" "Mid(bb1159[7])"
360360
"\'_#2531r" "bw974" "Mid(bb1164[5])"
361361
"\'_#2532r" "bw975" "Mid(bb1164[6])"
@@ -409,7 +409,7 @@
409409
"\'_#2826r" "bw928" "Mid(bb1308[2])"
410410
"\'_#2838r" "bw906" "Mid(bb1318[5])"
411411
"\'_#2839r" "bw907" "Mid(bb1318[6])"
412-
"\'_#2842r" "bw908" "Mid(bb1321[10])"
412+
"\'_#2842r" "bw908" "Mid(bb1320[10])"
413413
"\'_#2848r" "bw916" "Mid(bb1323[17])"
414414
"\'_#2851r" "bw917" "Mid(bb1327[2])"
415415
"\'_#2859r" "bw909" "Mid(bb1330[9])"
@@ -471,7 +471,7 @@
471471
"\'_#3331r" "bw791" "Mid(bb1541[10])"
472472
"\'_#3339r" "bw792" "Mid(bb1543[0])"
473473
"\'_#3340r" "bw793" "Mid(bb1543[4])"
474-
"\'_#3360r" "bw794" "Mid(bb1546[6])"
474+
"\'_#3360r" "bw794" "Mid(bb1545[6])"
475475
"\'_#3376r" "bw856" "Mid(bb1551[7])"
476476
"\'_#3379r" "bw857" "Mid(bb1556[5])"
477477
"\'_#3380r" "bw858" "Mid(bb1556[6])"
@@ -495,7 +495,7 @@
495495
"\'_#3490r" "bw848" "Mid(bb1610[2])"
496496
"\'_#3496r" "bw795" "Mid(bb1615[0])"
497497
"\'_#3497r" "bw796" "Mid(bb1615[4])"
498-
"\'_#3517r" "bw797" "Mid(bb1618[5])"
498+
"\'_#3517r" "bw797" "Mid(bb1617[5])"
499499
"\'_#3533r" "bw835" "Mid(bb1623[7])"
500500
"\'_#3536r" "bw836" "Mid(bb1628[5])"
501501
"\'_#3537r" "bw837" "Mid(bb1628[6])"
@@ -543,11 +543,11 @@
543543
"\'_#3808r" "bw703" "Mid(bb1762[4])"
544544
"\'_#3813r" "bw704" "Mid(bb1766[5])"
545545
"\'_#3814r" "bw705" "Mid(bb1766[6])"
546-
"\'_#3817r" "bw706" "Mid(bb1769[10])"
546+
"\'_#3817r" "bw706" "Mid(bb1768[10])"
547547
"\'_#3826r" "bw714" "Mid(bb1771[22])"
548548
"\'_#3834r" "bw715" "Mid(bb1773[0])"
549549
"\'_#3835r" "bw716" "Mid(bb1773[4])"
550-
"\'_#3855r" "bw717" "Mid(bb1776[6])"
550+
"\'_#3855r" "bw717" "Mid(bb1775[6])"
551551
"\'_#3871r" "bw779" "Mid(bb1781[7])"
552552
"\'_#3874r" "bw780" "Mid(bb1786[5])"
553553
"\'_#3875r" "bw781" "Mid(bb1786[6])"
@@ -571,7 +571,7 @@
571571
"\'_#3985r" "bw771" "Mid(bb1840[2])"
572572
"\'_#3991r" "bw718" "Mid(bb1845[0])"
573573
"\'_#3992r" "bw719" "Mid(bb1845[4])"
574-
"\'_#4012r" "bw720" "Mid(bb1848[5])"
574+
"\'_#4012r" "bw720" "Mid(bb1847[5])"
575575
"\'_#4028r" "bw758" "Mid(bb1853[7])"
576576
"\'_#4031r" "bw759" "Mid(bb1858[5])"
577577
"\'_#4032r" "bw760" "Mid(bb1858[6])"
@@ -625,7 +625,7 @@
625625
"\'_#4326r" "bw713" "Mid(bb2002[2])"
626626
"\'_#4338r" "bw691" "Mid(bb2012[5])"
627627
"\'_#4339r" "bw692" "Mid(bb2012[6])"
628-
"\'_#4342r" "bw693" "Mid(bb2015[10])"
628+
"\'_#4342r" "bw693" "Mid(bb2014[10])"
629629
"\'_#4348r" "bw701" "Mid(bb2017[17])"
630630
"\'_#4351r" "bw702" "Mid(bb2021[2])"
631631
"\'_#4359r" "bw694" "Mid(bb2024[9])"
@@ -695,7 +695,7 @@
695695
"\'_#4907r" "bw571" "Mid(bb2276[10])"
696696
"\'_#4915r" "bw572" "Mid(bb2278[0])"
697697
"\'_#4916r" "bw573" "Mid(bb2278[4])"
698-
"\'_#4936r" "bw574" "Mid(bb2281[6])"
698+
"\'_#4936r" "bw574" "Mid(bb2280[6])"
699699
"\'_#4952r" "bw636" "Mid(bb2286[7])"
700700
"\'_#4955r" "bw637" "Mid(bb2291[5])"
701701
"\'_#4956r" "bw638" "Mid(bb2291[6])"
@@ -719,7 +719,7 @@
719719
"\'_#5066r" "bw628" "Mid(bb2345[2])"
720720
"\'_#5072r" "bw575" "Mid(bb2350[0])"
721721
"\'_#5073r" "bw576" "Mid(bb2350[4])"
722-
"\'_#5093r" "bw577" "Mid(bb2353[5])"
722+
"\'_#5093r" "bw577" "Mid(bb2352[5])"
723723
"\'_#5109r" "bw615" "Mid(bb2358[7])"
724724
"\'_#5112r" "bw616" "Mid(bb2363[5])"
725725
"\'_#5113r" "bw617" "Mid(bb2363[6])"
@@ -767,11 +767,11 @@
767767
"\'_#5384r" "bw483" "Mid(bb2497[4])"
768768
"\'_#5389r" "bw484" "Mid(bb2501[5])"
769769
"\'_#5390r" "bw485" "Mid(bb2501[6])"
770-
"\'_#5393r" "bw486" "Mid(bb2504[10])"
770+
"\'_#5393r" "bw486" "Mid(bb2503[10])"
771771
"\'_#5402r" "bw494" "Mid(bb2506[22])"
772772
"\'_#5410r" "bw495" "Mid(bb2508[0])"
773773
"\'_#5411r" "bw496" "Mid(bb2508[4])"
774-
"\'_#5431r" "bw497" "Mid(bb2511[6])"
774+
"\'_#5431r" "bw497" "Mid(bb2510[6])"
775775
"\'_#5447r" "bw559" "Mid(bb2516[7])"
776776
"\'_#5450r" "bw560" "Mid(bb2521[5])"
777777
"\'_#5451r" "bw561" "Mid(bb2521[6])"
@@ -795,7 +795,7 @@
795795
"\'_#5561r" "bw551" "Mid(bb2575[2])"
796796
"\'_#5567r" "bw498" "Mid(bb2580[0])"
797797
"\'_#5568r" "bw499" "Mid(bb2580[4])"
798-
"\'_#5588r" "bw500" "Mid(bb2583[5])"
798+
"\'_#5588r" "bw500" "Mid(bb2582[5])"
799799
"\'_#5604r" "bw538" "Mid(bb2588[7])"
800800
"\'_#5607r" "bw539" "Mid(bb2593[5])"
801801
"\'_#5608r" "bw540" "Mid(bb2593[6])"
@@ -849,7 +849,7 @@
849849
"\'_#5902r" "bw493" "Mid(bb2737[2])"
850850
"\'_#5914r" "bw471" "Mid(bb2747[5])"
851851
"\'_#5915r" "bw472" "Mid(bb2747[6])"
852-
"\'_#5918r" "bw473" "Mid(bb2750[10])"
852+
"\'_#5918r" "bw473" "Mid(bb2749[10])"
853853
"\'_#5924r" "bw481" "Mid(bb2752[17])"
854854
"\'_#5927r" "bw482" "Mid(bb2756[2])"
855855
"\'_#5935r" "bw474" "Mid(bb2759[9])"
@@ -912,7 +912,7 @@
912912
"\'_#6439r" "bw351" "Mid(bb2981[10])"
913913
"\'_#6447r" "bw352" "Mid(bb2983[0])"
914914
"\'_#6448r" "bw353" "Mid(bb2983[4])"
915-
"\'_#6468r" "bw354" "Mid(bb2986[6])"
915+
"\'_#6468r" "bw354" "Mid(bb2985[6])"
916916
"\'_#6484r" "bw416" "Mid(bb2991[7])"
917917
"\'_#6487r" "bw417" "Mid(bb2996[5])"
918918
"\'_#6488r" "bw418" "Mid(bb2996[6])"
@@ -936,7 +936,7 @@
936936
"\'_#6598r" "bw408" "Mid(bb3050[2])"
937937
"\'_#6604r" "bw355" "Mid(bb3055[0])"
938938
"\'_#6605r" "bw356" "Mid(bb3055[4])"
939-
"\'_#6625r" "bw357" "Mid(bb3058[5])"
939+
"\'_#6625r" "bw357" "Mid(bb3057[5])"
940940
"\'_#6641r" "bw395" "Mid(bb3063[7])"
941941
"\'_#6644r" "bw396" "Mid(bb3068[5])"
942942
"\'_#6645r" "bw397" "Mid(bb3068[6])"
@@ -984,11 +984,11 @@
984984
"\'_#6916r" "bw263" "Mid(bb3202[4])"
985985
"\'_#6921r" "bw264" "Mid(bb3206[5])"
986986
"\'_#6922r" "bw265" "Mid(bb3206[6])"
987-
"\'_#6925r" "bw266" "Mid(bb3209[10])"
987+
"\'_#6925r" "bw266" "Mid(bb3208[10])"
988988
"\'_#6934r" "bw274" "Mid(bb3211[22])"
989989
"\'_#6942r" "bw275" "Mid(bb3213[0])"
990990
"\'_#6943r" "bw276" "Mid(bb3213[4])"
991-
"\'_#6963r" "bw277" "Mid(bb3216[6])"
991+
"\'_#6963r" "bw277" "Mid(bb3215[6])"
992992
"\'_#6979r" "bw339" "Mid(bb3221[7])"
993993
"\'_#6982r" "bw340" "Mid(bb3226[5])"
994994
"\'_#6983r" "bw341" "Mid(bb3226[6])"
@@ -1012,7 +1012,7 @@
10121012
"\'_#7093r" "bw331" "Mid(bb3280[2])"
10131013
"\'_#7099r" "bw278" "Mid(bb3285[0])"
10141014
"\'_#7100r" "bw279" "Mid(bb3285[4])"
1015-
"\'_#7120r" "bw280" "Mid(bb3288[5])"
1015+
"\'_#7120r" "bw280" "Mid(bb3287[5])"
10161016
"\'_#7136r" "bw318" "Mid(bb3293[7])"
10171017
"\'_#7139r" "bw319" "Mid(bb3298[5])"
10181018
"\'_#7140r" "bw320" "Mid(bb3298[6])"
@@ -1066,7 +1066,7 @@
10661066
"\'_#7434r" "bw273" "Mid(bb3442[2])"
10671067
"\'_#7446r" "bw251" "Mid(bb3452[5])"
10681068
"\'_#7447r" "bw252" "Mid(bb3452[6])"
1069-
"\'_#7450r" "bw253" "Mid(bb3455[10])"
1069+
"\'_#7450r" "bw253" "Mid(bb3454[10])"
10701070
"\'_#7456r" "bw261" "Mid(bb3457[17])"
10711071
"\'_#7459r" "bw262" "Mid(bb3461[2])"
10721072
"\'_#7467r" "bw254" "Mid(bb3464[9])"
@@ -1128,7 +1128,7 @@
11281128
"\'_#7939r" "bw136" "Mid(bb3675[10])"
11291129
"\'_#7947r" "bw137" "Mid(bb3677[0])"
11301130
"\'_#7948r" "bw138" "Mid(bb3677[4])"
1131-
"\'_#7968r" "bw139" "Mid(bb3680[6])"
1131+
"\'_#7968r" "bw139" "Mid(bb3679[6])"
11321132
"\'_#7984r" "bw201" "Mid(bb3685[7])"
11331133
"\'_#7987r" "bw202" "Mid(bb3690[5])"
11341134
"\'_#7988r" "bw203" "Mid(bb3690[6])"
@@ -1152,7 +1152,7 @@
11521152
"\'_#8098r" "bw193" "Mid(bb3744[2])"
11531153
"\'_#8104r" "bw140" "Mid(bb3749[0])"
11541154
"\'_#8105r" "bw141" "Mid(bb3749[4])"
1155-
"\'_#8125r" "bw142" "Mid(bb3752[5])"
1155+
"\'_#8125r" "bw142" "Mid(bb3751[5])"
11561156
"\'_#8141r" "bw180" "Mid(bb3757[7])"
11571157
"\'_#8144r" "bw181" "Mid(bb3762[5])"
11581158
"\'_#8145r" "bw182" "Mid(bb3762[6])"
@@ -1200,11 +1200,11 @@
12001200
"\'_#8416r" "bw48" "Mid(bb3896[4])"
12011201
"\'_#8421r" "bw49" "Mid(bb3900[5])"
12021202
"\'_#8422r" "bw50" "Mid(bb3900[6])"
1203-
"\'_#8425r" "bw51" "Mid(bb3903[10])"
1203+
"\'_#8425r" "bw51" "Mid(bb3902[10])"
12041204
"\'_#8434r" "bw59" "Mid(bb3905[22])"
12051205
"\'_#8442r" "bw60" "Mid(bb3907[0])"
12061206
"\'_#8443r" "bw61" "Mid(bb3907[4])"
1207-
"\'_#8463r" "bw62" "Mid(bb3910[6])"
1207+
"\'_#8463r" "bw62" "Mid(bb3909[6])"
12081208
"\'_#8479r" "bw124" "Mid(bb3915[7])"
12091209
"\'_#8482r" "bw125" "Mid(bb3920[5])"
12101210
"\'_#8483r" "bw126" "Mid(bb3920[6])"
@@ -1228,7 +1228,7 @@
12281228
"\'_#8593r" "bw116" "Mid(bb3974[2])"
12291229
"\'_#8599r" "bw63" "Mid(bb3979[0])"
12301230
"\'_#8600r" "bw64" "Mid(bb3979[4])"
1231-
"\'_#8620r" "bw65" "Mid(bb3982[5])"
1231+
"\'_#8620r" "bw65" "Mid(bb3981[5])"
12321232
"\'_#8636r" "bw103" "Mid(bb3987[7])"
12331233
"\'_#8639r" "bw104" "Mid(bb3992[5])"
12341234
"\'_#8640r" "bw105" "Mid(bb3992[6])"
@@ -1282,7 +1282,7 @@
12821282
"\'_#8934r" "bw58" "Mid(bb4136[2])"
12831283
"\'_#8946r" "bw36" "Mid(bb4146[5])"
12841284
"\'_#8947r" "bw37" "Mid(bb4146[6])"
1285-
"\'_#8950r" "bw38" "Mid(bb4149[10])"
1285+
"\'_#8950r" "bw38" "Mid(bb4148[10])"
12861286
"\'_#8956r" "bw46" "Mid(bb4151[17])"
12871287
"\'_#8959r" "bw47" "Mid(bb4155[2])"
12881288
"\'_#8967r" "bw39" "Mid(bb4158[9])"

0 commit comments

Comments
 (0)