]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8e40695) | patch
ada: Only record types with discriminants can be unconstrained
authorPiotr Trojanek <trojanek@adacore.com>
Tue, 5 Mar 2024 13:42:08 +0000 (14:42 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Fri, 17 May 2024 08:21:00 +0000 (10:21 +0200)
commit376a8ea17dfb3dc1267dc88bd90e5f84b82aadaa
tree18a1e7c313465a5d917557944ff3606f28dad70ctree
parent8e4069566e5ce4f2d936635187fd90c300e475e9commit | diff
ada: Only record types with discriminants can be unconstrained

Remove redundant condition for detecting unconstrained record types.

Code cleanup; behavior is unaffected.

gcc/ada/

* sem_prag.adb (Is_Unconstrained_Or_Tagged_Item): Remove call
to Has_Discriminants; combine ELSIF branches.
gcc/ada/sem_prag.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git