]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 47db62b) | patch
ada: Deconstruct workarounds for quantified expressions in contracts
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 2 Jul 2024 09:24:56 +0000 (11:24 +0200)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Thu, 1 Aug 2024 15:14:37 +0000 (17:14 +0200)
commitf7ec1bc34e2441bdf25a6dbf632b0a05904ec214
tree80127d3e6173cea65cbd0595d48b0452b3fa4039tree
parent47db62b2aae03966887ce2edbd851aaf91667bf9commit | diff
ada: Deconstruct workarounds for quantified expressions in contracts

Apparently we can always safely set the type of a loop parameter from
its discrete subtype definition. It looks like the conditional setting
was only necessary when preconditions were expanded into dedicated
procedures, but we no longer use this expansion.

gcc/ada/

* sem_ch5.adb (Analyze_Loop_Parameter_Specification):
Unconditionally set the type of loop parameter.
gcc/ada/sem_ch5.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git