]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 586fa60) | patch
ada: Remove guards against empty lists
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 5 Dec 2024 14:14:58 +0000 (15:14 +0100)
committerMarc Poulhiès <dkm@gcc.gnu.org>
Fri, 3 Jan 2025 15:39:14 +0000 (16:39 +0100)
commitbfa8e6f2137ba80dcd1ca7106be2cfe967810426
tree17e2ab1dcaa458a17be512bd0e07f11d67006b11tree
parent586fa60bdb385a94d0c11cca2940b8377df7a185commit | diff
ada: Remove guards against empty lists

There is no need to guard against calling First on a No_List, in which case
the call intentionally returns Empty. Code cleanup; semantics is unaffected.

gcc/ada/ChangeLog:

* contracts.adb (Create_Generic_Contract): Remove calls to Present.
* sem_util.adb (Normalize_Actuals): Likewise.
gcc/ada/contracts.adb diff | blob | blame | history
gcc/ada/sem_util.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git