https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114640
Bug ID: 114640 Summary: ICE on 'elsif' with complex function call Product: gcc Version: 14.0 Status: UNCONFIRMED Severity: normal Priority: P3 Component: ada Assignee: unassigned at gcc dot gnu.org Reporter: simon at pushface dot org CC: dkm at gcc dot gnu.org Target Milestone: --- Created attachment 57902 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=57902&action=edit Code as requested With GCC 12.2.0, get a CE, also at wisitoken-syntax_trees.adb:6183:19 With GCC 13.2.0, get stack overflow With GCC 14.0.1, see below. gcc -c -gnat2022 wisitoken-syntax_trees.adb +===========================GNAT BUG DETECTED==============================+ | 14.0.1 20240405 (experimental) (x86_64-apple-darwin21) Assert_Failure failed precondition from sinfo-nodes.ads:3686| | Error detected at wisitoken-syntax_trees.adb:6183:19 | | Compiling wisitoken-syntax_trees.adb | | Please submit a bug report; see https://gcc.gnu.org/bugs/ . | | Use a subject line meaningful to you and us to track the bug. | | Include the entire contents of this bug box in the report. | | Include the exact command that you entered. | | Also include sources listed below. | +==========================================================================+ Please include these source files with error report Note that list may not be accurate in some cases, so please double check that the problem can still be reproduced with the set of files listed. Consider also -gnatd.n switch (see debug.adb). wisitoken-syntax_trees.adb wisitoken-syntax_trees.ads wisitoken.ads gnatcoll.ads gnatcoll-memory.ads wisitoken_utils.ads wisitoken-lexer.ads gnatcoll-mmap.ads gnatcoll-strings.ads gnatcoll-strings_impl.ads gnatcoll-atomic.ads a-cdllal.ads a-idllal.ads compilation abandoned