Given an expression e which is about to be returned from the current
function, generate an error if it contains pointers to local variables.
Return true if it is safe to return, false if an error was generated.
Only checks expressions passed by value (pointers to local variables
may already be stored in members of classes, arrays, or AAs which
were passed as mutable function parameters).
Given an expression e which is about to be returned from the current function, generate an error if it contains pointers to local variables. Return true if it is safe to return, false if an error was generated.
Only checks expressions passed by value (pointers to local variables may already be stored in members of classes, arrays, or AAs which were passed as mutable function parameters).