]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e77d45d) | patch
ada: Relax assertion in compile-time evaluator
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 23 Oct 2025 10:11:35 +0000 (12:11 +0200)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Thu, 13 Nov 2025 15:26:58 +0000 (16:26 +0100)
commitaace405b4205dbcd4a9a01c2282040ce0858eeeb
treeff66d37b0c35b17a815e52b91b0e15f72b7a3043tree
parente77d45d70e6c80f0bbdafeec20298a08da715048commit | diff
ada: Relax assertion in compile-time evaluator

A statically dead ELSIF branch can be rewritten either to a NULL statement or
entirely detached from its parent.

gcc/ada/ChangeLog:

* exp_util.adb (Get_Current_Value_Condition): Relax assertion about
rewritten ELSIF branch.
gcc/ada/exp_util.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git