https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108551
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |build, diagnostic
--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
The function is
PROCEDURE KeyPressed () : BOOLEAN ;
BEGIN
IF rStack=NIL
THEN
Halt(__FILE__, __LINE__, __FUNCTION__, 'no active status procedure')
ELSE
RETURN( rStack^.s() )
END
END KeyPressed ;
I'm not sure how the middle-end diagnostic issued from CFG build is confused
here though, I'm not yet familiar with using cc1gm2 to debug things, nor
produce standalone modula-2 testcases ;)
It also means people might see bogus diagnostics for code like this.