id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
280	two return locations	Stephen Siegel		"There is an error in the way an empty function is translated.  Three locations are generated: two return and one terminal:

RETURN (start) -> RETURN -> TERMINAL

It should be

RETURN (start) -> TERMINAL

No example checked in yet, but the minimal example

{{{
void main() {}
}}}
should illustrate the defect.
"	defect	closed	major	1.1	front	1.1	fixed	return terminal empty location