diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2023-03-29 09:36:39 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-26 09:29:18 +0200 |
| commit | fa4b7069a0dfd28b58c718cf8b2060df47a39641 (patch) | |
| tree | 2300e5c3983320d629d255de91ff6fa64a12e80b /gcc/ada/debug.adb | |
| parent | 9f6cee820f9c8d263dfcd1772127268508360838 (diff) | |
| download | gcc-fa4b7069a0dfd28b58c718cf8b2060df47a39641.zip gcc-fa4b7069a0dfd28b58c718cf8b2060df47a39641.tar.gz gcc-fa4b7069a0dfd28b58c718cf8b2060df47a39641.tar.bz2 | |
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.
Diffstat (limited to 'gcc/ada/debug.adb')
0 files changed, 0 insertions, 0 deletions