| commit | fa4b7069a0dfd28b58c718cf8b2060df47a39641 | |
| author | Piotr Trojanek <trojanek@adacore.com> | |
| Wed, 29 Mar 2023 07:36:39 +0000 (29 09:36 +0200) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Fri, 26 May 2023 07:29:18 +0000 (26 09:29 +0200) | ||
| tree | 2300e5c3983320d629d255de91ff6fa64a12e80b | treesnapshot (tar.gz zip) |
| parent | 9f6cee820f9c8d263dfcd1772127268508360838 | commitdiff |
ada: Remove redundant guard against empty lists
There is no need to guard against routine Contains being called on
No_Elist, because it will return False. Code cleanup related to handling
of primitive operations in GNATprove; semantics is unaffected.
gcc/ada/
* sem_prag.adb (Record_Possible_Body_Reference): Remove call to Present.
* sem_util.adb (Find_Untagged_Type_Of): Likewise.
There is no need to guard against routine Contains being called on
No_Elist, because it will return False. Code cleanup related to handling
of primitive operations in GNATprove; semantics is unaffected.
gcc/ada/
* sem_prag.adb (Record_Possible_Body_Reference): Remove call to Present.
* sem_util.adb (Find_Untagged_Type_Of): Likewise.
| gcc/ada/sem_prag.adb | diffblobblamehistory | |
| gcc/ada/sem_util.adb | diffblobblamehistory |