e is an expression to be returned by value, and that value contains pointers.
Walk e to determine which variables are possibly being
returned by value, such as:
int* function(int* p) { return p; }
If e is a form of &p, determine which variables have content
which is being returned as ref, such as:
int* function(int i) { return &i; }
Multiple variables can be inserted, because of expressions like this:
int function(bool b, int i, int* p) { return b ? &i : p; }
e is an expression to be returned by value, and that value contains pointers. Walk e to determine which variables are possibly being returned by value, such as: int* function(int* p) { return p; } If e is a form of &p, determine which variables have content which is being returned as ref, such as: int* function(int i) { return &i; } Multiple variables can be inserted, because of expressions like this: int function(bool b, int i, int* p) { return b ? &i : p; }
No side effects.