https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110189
--- Comment #6 from CVS Commits <cvs-commit at gcc dot gnu.org> --- The releases/gcc-13 branch has been updated by Gaius Mulley <ga...@gcc.gnu.org>: https://gcc.gnu.org/g:8b0bd9ae4e2927f770da352ac64261411e6d652e commit r13-7647-g8b0bd9ae4e2927f770da352ac64261411e6d652e Author: Gaius Mulley <gaiusm...@gmail.com> Date: Sat Jul 29 22:41:13 2023 +0100 PR modula2/110189 Using an unknown TYPE as argument to VAL gives ICE This patch tidies P3Build.bnf and fixes error format specs in M2Quads.mod when encountering unknown symbols. gcc/m2/ChangeLog: PR modula2/110189 * gm2-compiler/M2Quads.mod (BuildAbsFunction): Replace abort format specifier. (BuildValFunction): Replace abort format specifier. (BuildCastFunction): Replace abort format specifier. (BuildMinFunction): Replace abort format specifier. (BuildMaxFunction): Replace abort format specifier. (BuildTruncFunction): Replace abort format specifier. * gm2-compiler/P3Build.bnf (Pass1): Remove. (Pass2): Remove. (Pass3): Remove. (Expect): Add Pass1. (AsmStatement): Remove Pass3. (AsmOperands): Remove Pass3. (AsmOperandSpec): Remove Pass3. (AsmInputElement): Remove Pass3. (AsmOutputElement): Remove Pass3. (AsmTrashList): Remove Pass3. gcc/testsuite/ChangeLog: PR modula2/110189 * gm2/pim/fail/foovaltype.mod: New test. (cherry picked from commit 8089f26b94f47d9923d3bc0c05aae09363983b2e) Signed-off-by: Gaius Mulley <gaiusm...@gmail.com>