Given an AssignExp, determine if the lvalue will cause the contents of the rvalue to escape. Print error messages when these are detected. Infer scope attribute for the lvalue where possible, in order to eliminate the error.
used to determine current function and module
AssignExp or CatAssignExp to check for any pointers to the stack
do not print error messages
set to true if e1 of e gets assigned a reference to e2
true if pointers to the stack can escape via assignment
See Implementation
Given an AssignExp, determine if the lvalue will cause the contents of the rvalue to escape. Print error messages when these are detected. Infer scope attribute for the lvalue where possible, in order to eliminate the error.