Interactive doesn't assign unique names to variables
Bug #580487 reported by
Matt Giuca
This bug affects 1 person
| Affects | Status | Importance | Assigned to | Milestone | |
|---|---|---|---|---|---|
| Mars |
Fix Released
|
Critical
|
Matt Giuca | ||
Bug Description
In the interactive mode, variables can change values and even types, which causes trouble in the SSA-expecting backends and middle ends. Previously not thought to be a problem, we have some analysis with serious errors because of variables changing types, possibly mid-instruction.
Fix it so it keeps a running def_map and subscript_map just like ast_cfg internally, so each time a variable is assigned, it gets a new name internally.
This will need to be followed up by some garbage collection which just deletes all values not accessible through the def_map.
Related branches
lp:~mgiuca/mars/interactive-ssa
(Merged)
Revision history for this message
| Matt Giuca (mgiuca) wrote | #1 |
| Changed in mars: | |
| status: | New → In Progress |
Revision history for this message
| Matt Giuca (mgiuca) wrote | #2 |
| Changed in mars: | |
| status: | In Progress → Fix Committed |
Revision history for this message
| Matt Giuca (mgiuca) wrote | #3 |
| Changed in mars: | |
| status: | Fix Committed → Fix Released |
To post a comment you must log in.
In progress on branch interactive-ssa.