Skip to content

Commit 6e14300

Browse files
lqdlqd
authored
Merge pull request #137 from lqd/placeholder_loans
Illegal subset relation errors using placeholder loans
2 parents 46b7c63 + 6ca2b87 commit 6e14300

Some content is hidden

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

71 files changed

+771
-76
lines changed

‎inputs/subset-relations/nll-facts/implied_bounds_subset/borrow_region.facts

Whitespace-only changes.

‎inputs/subset-relations/nll-facts/implied_bounds_subset/cfg_edge.facts

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
"Start(bb0[0])" "Mid(bb0[0])"
2+
"Mid(bb0[0])" "Start(bb0[1])"
3+
"Start(bb0[1])" "Mid(bb0[1])"

‎inputs/subset-relations/nll-facts/implied_bounds_subset/child.facts

Whitespace-only changes.

‎inputs/subset-relations/nll-facts/implied_bounds_subset/initialized_at.facts

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,2 @@
1+
"mp1" "Start(bb0[0])"
2+
"mp0" "Mid(bb0[0])"

‎inputs/subset-relations/nll-facts/implied_bounds_subset/invalidates.facts

Whitespace-only changes.

‎inputs/subset-relations/nll-facts/implied_bounds_subset/killed.facts

Whitespace-only changes.

‎inputs/subset-relations/nll-facts/implied_bounds_subset/known_subset.facts

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
"\'_#2r" "\'_#1r"
2+
"\'_#0r" "\'_#3r"
3+
"\'_#0r" "\'_#1r"
4+
"\'_#1r" "\'_#3r"
5+
"\'_#0r" "\'_#2r"
6+
"\'_#2r" "\'_#3r"

‎inputs/subset-relations/nll-facts/implied_bounds_subset/moved_out_at.facts

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
"mp0" "Mid(bb0[1])"

‎inputs/subset-relations/nll-facts/implied_bounds_subset/outlives.facts

Lines changed: 27 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,27 @@
1+
"\'_#4r" "\'_#6r" "Mid(bb0[0])"
2+
"\'_#8r" "\'_#4r" "Mid(bb0[0])"
3+
"\'_#7r" "\'_#4r" "Mid(bb0[0])"
4+
"\'_#7r" "\'_#1r" "Start(bb0[0])"
5+
"\'_#7r" "\'_#1r" "Mid(bb0[0])"
6+
"\'_#7r" "\'_#1r" "Start(bb0[1])"
7+
"\'_#7r" "\'_#1r" "Mid(bb0[1])"
8+
"\'_#1r" "\'_#7r" "Start(bb0[0])"
9+
"\'_#1r" "\'_#7r" "Mid(bb0[0])"
10+
"\'_#1r" "\'_#7r" "Start(bb0[1])"
11+
"\'_#1r" "\'_#7r" "Mid(bb0[1])"
12+
"\'_#8r" "\'_#2r" "Start(bb0[0])"
13+
"\'_#8r" "\'_#2r" "Mid(bb0[0])"
14+
"\'_#8r" "\'_#2r" "Start(bb0[1])"
15+
"\'_#8r" "\'_#2r" "Mid(bb0[1])"
16+
"\'_#2r" "\'_#8r" "Start(bb0[0])"
17+
"\'_#2r" "\'_#8r" "Mid(bb0[0])"
18+
"\'_#2r" "\'_#8r" "Start(bb0[1])"
19+
"\'_#2r" "\'_#8r" "Mid(bb0[1])"
20+
"\'_#6r" "\'_#1r" "Start(bb0[0])"
21+
"\'_#6r" "\'_#1r" "Mid(bb0[0])"
22+
"\'_#6r" "\'_#1r" "Start(bb0[1])"
23+
"\'_#6r" "\'_#1r" "Mid(bb0[1])"
24+
"\'_#1r" "\'_#6r" "Start(bb0[0])"
25+
"\'_#1r" "\'_#6r" "Mid(bb0[0])"
26+
"\'_#1r" "\'_#6r" "Start(bb0[1])"
27+
"\'_#1r" "\'_#6r" "Mid(bb0[1])"

‎inputs/subset-relations/nll-facts/implied_bounds_subset/path_accessed_at.facts

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

0 commit comments

Comments
 (0)