id	summary	reporter	owner	description	type	status	priority	component	version	resolution	keywords	cc
95	Incorrect consideration of global and local variables in resolving waitfor mutex object.	Thierry Delisle	Thierry Delisle	"The following code :
{{{
#include <monitor.hfa>
monitor M { condition e; } m;
void rtn( M & mutex m );
void bar( M & mutex m ) {
 	waitfor( rtn, m ); // not ambiguous, select parameter
}
}}}

Produces the following error:

{{{
cfa test.c
CFA Version 1.0.0 (debug)
test.c:92:1 error: Ambiguous function in call to waitfor
}}}"	defect	assigned	major	cfa-cc	1.0