]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6b4c99c) | patch
[Ada] Remove doubly-negated tests for empty lists
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 10 Jan 2022 13:21:17 +0000 (14:21 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 9 May 2022 09:27:29 +0000 (09:27 +0000)
commit8e13160b101177b4d0783934d39aab2e2c7b50d9
treeb17160a60b507d7576d67b4ff34efe9793885a4ftree
parent6b4c99cc92242903c81a7168d467269197955269commit | diff
[Ada] Remove doubly-negated tests for empty lists

Replace "not Is_Non_Empty_List (...)" with "Is_Empty_List (...)".

Code cleanup; semantics is unaffected.

gcc/ada/

* exp_ch5.adb (Update_Choice_Index): Simplify condition.
* sem_ch8.adb (Attribute_Renaming): Likewise.
gcc/ada/exp_ch5.adb diff | blob | blame | history
gcc/ada/sem_ch8.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git