id	summary	reporter	owner	description	type	status	priority	component	version	resolution	keywords	cc
70	resolver problesm	pabuhr	Rob	"Selects wrong routine to call.

{{{
forall( dtype T | sized(T) ) T * foo( void ) {
	printf( ""foo1\n"" );
	return (T *)0;
}
forall( dtype T | sized(T) ) T & foo( void ) {
	printf( ""foo2\n"" );
	return (T &)*(T *)0;
}
int main( void ) {
    int * i = foo(); // correctly calls foo1
    int & j = foo(); // correctly calls foo2

    i = foo();  // correctly calls foo1
    &j = foo();  // incorrectly calls foo1 instead of foo2
}
}}}
{{{
@plg2[1]% a.out
foo1
foo2
foo1
foo1
}}}"	defect	closed	minor	cfa-cc	1.0	invalid