Warning for "returning address of local variable" does not catch polymorphic functions

[Thierry Delisle]

Given the following code

int & bad_copy(int & a) {
	int b = a;
	return b;
}

Cforall correctly warns that this is unsafe.

However, the warning is not printed in the following equivalent case.

forall(otype T)
T & bad_copy2(T & a) {
	T b = a;
	return b;
}