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.