id	summary	reporter	owner	description	type	status	priority	component	version	resolution	keywords	cc
267	Expression candidate elimination with unsatisfiable assertion	f37yu		"Reproduction:

{{{
int * g (int ) ;
long * g (long );

void h (long *);

forall (T * | {void h (T *); })
void f (T *);


int main() {
f(g(1));
}
}}}

Expected: calls g(long)
Actual: Attempts to resolve as g(int) and prints unsatisfiable assertion error. g(long) option is ignored."	defect	new	major	cfa-cc	1.0