Skip to content

Commit 5751142

Browse files
author
Albin Stjerna
authored
Merge pull request #147 from lqd/fix_move_errors
Update facts to remove the rest (🤞) of the move errors false positives
2 parents 7c5f117 + affa673 commit 5751142

File tree

25 files changed

+383491
-14628
lines changed

25 files changed

+383491
-14628
lines changed

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

Lines changed: 373908 additions & 6612 deletions
Large diffs are not rendered by default.

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

Lines changed: 7808 additions & 7808 deletions
Large diffs are not rendered by default.

‎inputs/issue-47680/nll-facts/main/path_accessed_at_base.facts‎

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,10 @@
1-
"mp2" "Start(bb0[3])"
2-
"mp1" "Start(bb0[4])"
3-
"mp1" "Start(bb3[2])"
4-
"mp6" "Start(bb3[3])"
5-
"mp5" "Start(bb4[1])"
6-
"mp5" "Start(bb4[2])"
7-
"mp7" "Start(bb4[3])"
8-
"mp11" "Start(bb8[1])"
9-
"mp8" "Start(bb8[3])"
10-
"mp9" "Start(bb8[4])"
1+
"mp2" "Mid(bb0[3])"
2+
"mp1" "Mid(bb0[4])"
3+
"mp1" "Mid(bb3[2])"
4+
"mp6" "Mid(bb3[3])"
5+
"mp5" "Mid(bb4[1])"
6+
"mp5" "Mid(bb4[2])"
7+
"mp7" "Mid(bb4[3])"
8+
"mp11" "Mid(bb8[1])"
9+
"mp8" "Mid(bb8[3])"
10+
"mp9" "Mid(bb8[4])"

‎inputs/smoke-test/nll-facts/basic_move_error/outlives.facts‎

Lines changed: 15 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1563,8 +1563,20 @@
15631563
"\'_#27r" "\'_#60r" "Mid(bb9[25])"
15641564
"\'_#28r" "\'_#62r" "Mid(bb9[28])"
15651565
"\'_#60r" "\'_#28r" "Mid(bb9[28])"
1566-
"\'_#73r" "\'_#61r" "Mid(bb9[31])"
1567-
"\'_#62r" "\'_#73r" "Mid(bb9[31])"
1566+
"\'_#73r" "\'_#76r" "Mid(bb9[30])"
1567+
"\'_#74r" "\'_#77r" "Mid(bb9[30])"
1568+
"\'_#75r" "\'_#78r" "Mid(bb9[30])"
1569+
"\'_#78r" "\'_#75r" "Mid(bb9[30])"
1570+
"\'_#79r" "\'_#82r" "Mid(bb9[30])"
1571+
"\'_#80r" "\'_#83r" "Mid(bb9[30])"
1572+
"\'_#84r" "\'_#81r" "Mid(bb9[30])"
1573+
"\'_#81r" "\'_#84r" "Mid(bb9[30])"
1574+
"\'_#85r" "\'_#61r" "Mid(bb9[31])"
1575+
"\'_#62r" "\'_#85r" "Mid(bb9[31])"
1576+
"\'_#86r" "\'_#89r" "Mid(bb9[31])"
1577+
"\'_#87r" "\'_#90r" "Mid(bb9[31])"
1578+
"\'_#88r" "\'_#91r" "Mid(bb9[31])"
1579+
"\'_#91r" "\'_#88r" "Mid(bb9[31])"
15681580
"\'_#30r" "\'_#57r" "Mid(bb12[2])"
15691581
"\'_#61r" "\'_#30r" "Mid(bb12[2])"
15701582
"\'_#31r" "\'_#55r" "Mid(bb12[5])"
@@ -1582,4 +1594,4 @@
15821594
"\'_#41r" "\'_#35r" "Mid(bb12[9])"
15831595
"\'_#51r" "\'_#35r" "Mid(bb12[9])"
15841596
"\'_#52r" "\'_#35r" "Mid(bb12[9])"
1585-
"\'_#39r" "\'_#74r" "Mid(bb13[2])"
1597+
"\'_#39r" "\'_#92r" "Mid(bb13[2])"

‎inputs/smoke-test/nll-facts/basic_move_error/path_accessed_at_base.facts‎

Lines changed: 28 additions & 28 deletions
Original file line numberDiff line numberDiff line change
@@ -1,28 +1,28 @@
1-
"mp3" "Start(bb0[4])"
2-
"mp2" "Start(bb0[5])"
3-
"mp1" "Start(bb2[1])"
4-
"mp7" "Start(bb2[9])"
5-
"mp6" "Start(bb2[10])"
6-
"mp5" "Start(bb7[2])"
7-
"mp4" "Start(bb8[1])"
8-
"mp4" "Start(bb8[4])"
9-
"mp1" "Start(bb8[6])"
10-
"mp9" "Start(bb8[7])"
11-
"mp10" "Start(bb8[7])"
12-
"mp32" "Start(bb9[10])"
13-
"mp16" "Start(bb9[11])"
14-
"mp15" "Start(bb9[12])"
15-
"mp1" "Start(bb9[20])"
16-
"mp27" "Start(bb9[21])"
17-
"mp26" "Start(bb9[23])"
18-
"mp26" "Start(bb9[25])"
19-
"mp28" "Start(bb9[28])"
20-
"mp30" "Start(bb9[31])"
21-
"mp31" "Start(bb9[31])"
22-
"mp29" "Start(bb12[2])"
23-
"mp25" "Start(bb12[5])"
24-
"mp24" "Start(bb12[6])"
25-
"mp23" "Start(bb12[7])"
26-
"mp14" "Start(bb12[9])"
27-
"mp22" "Start(bb12[9])"
28-
"mp13" "Start(bb13[2])"
1+
"mp3" "Mid(bb0[4])"
2+
"mp2" "Mid(bb0[5])"
3+
"mp1" "Mid(bb2[1])"
4+
"mp7" "Mid(bb2[9])"
5+
"mp6" "Mid(bb2[10])"
6+
"mp5" "Mid(bb7[2])"
7+
"mp4" "Mid(bb8[1])"
8+
"mp4" "Mid(bb8[4])"
9+
"mp1" "Mid(bb8[6])"
10+
"mp9" "Mid(bb8[7])"
11+
"mp10" "Mid(bb8[7])"
12+
"mp32" "Mid(bb9[10])"
13+
"mp16" "Mid(bb9[11])"
14+
"mp15" "Mid(bb9[12])"
15+
"mp1" "Mid(bb9[20])"
16+
"mp27" "Mid(bb9[21])"
17+
"mp26" "Mid(bb9[23])"
18+
"mp26" "Mid(bb9[25])"
19+
"mp28" "Mid(bb9[28])"
20+
"mp30" "Mid(bb9[31])"
21+
"mp31" "Mid(bb9[31])"
22+
"mp29" "Mid(bb12[2])"
23+
"mp25" "Mid(bb12[5])"
24+
"mp24" "Mid(bb12[6])"
25+
"mp23" "Mid(bb12[7])"
26+
"mp14" "Mid(bb12[9])"
27+
"mp22" "Mid(bb12[9])"
28+
"mp13" "Mid(bb13[2])"

‎inputs/smoke-test/nll-facts/conditional_init/outlives.facts‎

Lines changed: 15 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1125,8 +1125,20 @@
11251125
"\'_#24r" "\'_#54r" "Mid(bb6[24])"
11261126
"\'_#25r" "\'_#56r" "Mid(bb6[27])"
11271127
"\'_#54r" "\'_#25r" "Mid(bb6[27])"
1128-
"\'_#65r" "\'_#55r" "Mid(bb6[30])"
1129-
"\'_#56r" "\'_#65r" "Mid(bb6[30])"
1128+
"\'_#65r" "\'_#68r" "Mid(bb6[29])"
1129+
"\'_#66r" "\'_#69r" "Mid(bb6[29])"
1130+
"\'_#67r" "\'_#70r" "Mid(bb6[29])"
1131+
"\'_#70r" "\'_#67r" "Mid(bb6[29])"
1132+
"\'_#71r" "\'_#74r" "Mid(bb6[29])"
1133+
"\'_#72r" "\'_#75r" "Mid(bb6[29])"
1134+
"\'_#76r" "\'_#73r" "Mid(bb6[29])"
1135+
"\'_#73r" "\'_#76r" "Mid(bb6[29])"
1136+
"\'_#77r" "\'_#55r" "Mid(bb6[30])"
1137+
"\'_#56r" "\'_#77r" "Mid(bb6[30])"
1138+
"\'_#78r" "\'_#81r" "Mid(bb6[30])"
1139+
"\'_#79r" "\'_#82r" "Mid(bb6[30])"
1140+
"\'_#80r" "\'_#83r" "Mid(bb6[30])"
1141+
"\'_#83r" "\'_#80r" "Mid(bb6[30])"
11301142
"\'_#27r" "\'_#51r" "Mid(bb7[2])"
11311143
"\'_#55r" "\'_#27r" "Mid(bb7[2])"
11321144
"\'_#28r" "\'_#49r" "Mid(bb7[5])"
@@ -1144,4 +1156,4 @@
11441156
"\'_#35r" "\'_#32r" "Mid(bb7[9])"
11451157
"\'_#45r" "\'_#32r" "Mid(bb7[9])"
11461158
"\'_#46r" "\'_#32r" "Mid(bb7[9])"
1147-
"\'_#33r" "\'_#66r" "Mid(bb8[2])"
1159+
"\'_#33r" "\'_#84r" "Mid(bb8[2])"

‎inputs/smoke-test/nll-facts/conditional_init/path_accessed_at_base.facts‎

Lines changed: 19 additions & 19 deletions
Original file line numberDiff line numberDiff line change
@@ -1,19 +1,19 @@
1-
"mp3" "Start(bb2[0])"
2-
"mp3" "Start(bb2[1])"
3-
"mp25" "Start(bb6[9])"
4-
"mp9" "Start(bb6[10])"
5-
"mp8" "Start(bb6[11])"
6-
"mp1" "Start(bb6[19])"
7-
"mp20" "Start(bb6[20])"
8-
"mp19" "Start(bb6[22])"
9-
"mp19" "Start(bb6[24])"
10-
"mp21" "Start(bb6[27])"
11-
"mp23" "Start(bb6[30])"
12-
"mp24" "Start(bb6[30])"
13-
"mp22" "Start(bb7[2])"
14-
"mp18" "Start(bb7[5])"
15-
"mp17" "Start(bb7[6])"
16-
"mp16" "Start(bb7[7])"
17-
"mp7" "Start(bb7[9])"
18-
"mp15" "Start(bb7[9])"
19-
"mp6" "Start(bb8[2])"
1+
"mp3" "Mid(bb2[0])"
2+
"mp3" "Mid(bb2[1])"
3+
"mp25" "Mid(bb6[9])"
4+
"mp9" "Mid(bb6[10])"
5+
"mp8" "Mid(bb6[11])"
6+
"mp1" "Mid(bb6[19])"
7+
"mp20" "Mid(bb6[20])"
8+
"mp19" "Mid(bb6[22])"
9+
"mp19" "Mid(bb6[24])"
10+
"mp21" "Mid(bb6[27])"
11+
"mp23" "Mid(bb6[30])"
12+
"mp24" "Mid(bb6[30])"
13+
"mp22" "Mid(bb7[2])"
14+
"mp18" "Mid(bb7[5])"
15+
"mp17" "Mid(bb7[6])"
16+
"mp16" "Mid(bb7[7])"
17+
"mp7" "Mid(bb7[9])"
18+
"mp15" "Mid(bb7[9])"
19+
"mp6" "Mid(bb8[2])"

‎inputs/smoke-test/nll-facts/foo/path_accessed_at_base.facts‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
"mp1" "Start(bb0[0])"
1+
"mp1" "Mid(bb0[0])"

‎inputs/smoke-test/nll-facts/move_reinitialize_ok/outlives.facts‎

Lines changed: 15 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1759,8 +1759,20 @@
17591759
"\'_#29r" "\'_#64r" "Mid(bb15[24])"
17601760
"\'_#30r" "\'_#66r" "Mid(bb15[27])"
17611761
"\'_#64r" "\'_#30r" "Mid(bb15[27])"
1762-
"\'_#78r" "\'_#65r" "Mid(bb15[30])"
1763-
"\'_#66r" "\'_#78r" "Mid(bb15[30])"
1762+
"\'_#78r" "\'_#81r" "Mid(bb15[29])"
1763+
"\'_#79r" "\'_#82r" "Mid(bb15[29])"
1764+
"\'_#80r" "\'_#83r" "Mid(bb15[29])"
1765+
"\'_#83r" "\'_#80r" "Mid(bb15[29])"
1766+
"\'_#84r" "\'_#87r" "Mid(bb15[29])"
1767+
"\'_#85r" "\'_#88r" "Mid(bb15[29])"
1768+
"\'_#89r" "\'_#86r" "Mid(bb15[29])"
1769+
"\'_#86r" "\'_#89r" "Mid(bb15[29])"
1770+
"\'_#90r" "\'_#65r" "Mid(bb15[30])"
1771+
"\'_#66r" "\'_#90r" "Mid(bb15[30])"
1772+
"\'_#91r" "\'_#94r" "Mid(bb15[30])"
1773+
"\'_#92r" "\'_#95r" "Mid(bb15[30])"
1774+
"\'_#93r" "\'_#96r" "Mid(bb15[30])"
1775+
"\'_#96r" "\'_#93r" "Mid(bb15[30])"
17641776
"\'_#32r" "\'_#61r" "Mid(bb16[2])"
17651777
"\'_#65r" "\'_#32r" "Mid(bb16[2])"
17661778
"\'_#33r" "\'_#59r" "Mid(bb16[5])"
@@ -1778,4 +1790,4 @@
17781790
"\'_#45r" "\'_#37r" "Mid(bb16[9])"
17791791
"\'_#55r" "\'_#37r" "Mid(bb16[9])"
17801792
"\'_#56r" "\'_#37r" "Mid(bb16[9])"
1781-
"\'_#43r" "\'_#79r" "Mid(bb17[2])"
1793+
"\'_#43r" "\'_#97r" "Mid(bb17[2])"

‎inputs/smoke-test/nll-facts/move_reinitialize_ok/path_accessed_at_base.facts‎

Lines changed: 31 additions & 31 deletions
Original file line numberDiff line numberDiff line change
@@ -1,31 +1,31 @@
1-
"mp3" "Start(bb0[4])"
2-
"mp2" "Start(bb0[5])"
3-
"mp1" "Start(bb2[1])"
4-
"mp7" "Start(bb2[9])"
5-
"mp6" "Start(bb2[10])"
6-
"mp5" "Start(bb7[2])"
7-
"mp4" "Start(bb8[1])"
8-
"mp4" "Start(bb8[4])"
9-
"mp1" "Start(bb8[6])"
10-
"mp9" "Start(bb8[7])"
11-
"mp10" "Start(bb8[7])"
12-
"mp13" "Start(bb9[7])"
13-
"mp12" "Start(bb9[8])"
14-
"mp11" "Start(bb12[1])"
15-
"mp35" "Start(bb15[9])"
16-
"mp19" "Start(bb15[10])"
17-
"mp18" "Start(bb15[11])"
18-
"mp1" "Start(bb15[19])"
19-
"mp30" "Start(bb15[20])"
20-
"mp29" "Start(bb15[22])"
21-
"mp29" "Start(bb15[24])"
22-
"mp31" "Start(bb15[27])"
23-
"mp33" "Start(bb15[30])"
24-
"mp34" "Start(bb15[30])"
25-
"mp32" "Start(bb16[2])"
26-
"mp28" "Start(bb16[5])"
27-
"mp27" "Start(bb16[6])"
28-
"mp26" "Start(bb16[7])"
29-
"mp17" "Start(bb16[9])"
30-
"mp25" "Start(bb16[9])"
31-
"mp16" "Start(bb17[2])"
1+
"mp3" "Mid(bb0[4])"
2+
"mp2" "Mid(bb0[5])"
3+
"mp1" "Mid(bb2[1])"
4+
"mp7" "Mid(bb2[9])"
5+
"mp6" "Mid(bb2[10])"
6+
"mp5" "Mid(bb7[2])"
7+
"mp4" "Mid(bb8[1])"
8+
"mp4" "Mid(bb8[4])"
9+
"mp1" "Mid(bb8[6])"
10+
"mp9" "Mid(bb8[7])"
11+
"mp10" "Mid(bb8[7])"
12+
"mp13" "Mid(bb9[7])"
13+
"mp12" "Mid(bb9[8])"
14+
"mp11" "Mid(bb12[1])"
15+
"mp35" "Mid(bb15[9])"
16+
"mp19" "Mid(bb15[10])"
17+
"mp18" "Mid(bb15[11])"
18+
"mp1" "Mid(bb15[19])"
19+
"mp30" "Mid(bb15[20])"
20+
"mp29" "Mid(bb15[22])"
21+
"mp29" "Mid(bb15[24])"
22+
"mp31" "Mid(bb15[27])"
23+
"mp33" "Mid(bb15[30])"
24+
"mp34" "Mid(bb15[30])"
25+
"mp32" "Mid(bb16[2])"
26+
"mp28" "Mid(bb16[5])"
27+
"mp27" "Mid(bb16[6])"
28+
"mp26" "Mid(bb16[7])"
29+
"mp17" "Mid(bb16[9])"
30+
"mp25" "Mid(bb16[9])"
31+
"mp16" "Mid(bb17[2])"

0 commit comments

Comments
 (0)