Determine if exp, which gets its address taken, can do so safely.
context
expression having its address taken
the variable getting its address taken
true if ok, false for error
See Implementation
Determine if exp, which gets its address taken, can do so safely.