id	summary	reporter	owner	description	type	status	priority	component	version	resolution	keywords	cc
156	"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;
}
}}}"	defect	new	minor	cfa-cc	1.0