]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1c46a54) | patch
ada: Fix asymmetry in resolution of unary intrinsic operators
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 26 Sep 2024 06:40:28 +0000 (08:40 +0200)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Mon, 4 Nov 2024 15:57:54 +0000 (16:57 +0100)
commitc9328cb4b106a6b9afe3359e0287ece496b8e277
tree7c7340f3dd45845d7c4c7ef7eb4c112c3225ef1atree
parent1c46a541c6957e8b0eee339d4cff46e951a5ad4ecommit | diff
ada: Fix asymmetry in resolution of unary intrinsic operators

Resolution of binary and unary intrinsic operators differed when
expansion was inactive. In particular, this affected GNATprove
handling of Ada.Real_Time."abs" operator. This patch makes unary
resolution behave like binary resolution.

gcc/ada/ChangeLog:

* sem_res.adb (Resolve_Intrinsic_Unary_Operator): Disable when
expansion is inactive.
gcc/ada/sem_res.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git