| commit | 8bb536cc97645208482ec3303d1cf9f99f95b42c | |
| author | Piotr Trojanek <trojanek@adacore.com> | |
| Mon, 20 Mar 2023 14:47:29 +0000 (20 15:47 +0100) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Mon, 29 May 2023 08:23:21 +0000 (29 10:23 +0200) | ||
| tree | b7b2f350e9c903e7d13293f375e734b1499e0c9a | treesnapshot (tar.gz zip) |
| parent | 95349238568178b7152a89700766d033e4b23ca0 | commitdiff |
ada: Remove redundant protection against empty lists
Calls to First on No_List intentionally return Empty, so explicit guards
against No_List are unnecessary. Code cleanup; semantics is unaffected.
gcc/ada/
* sem_util.adb (Check_Function_Writable_Actuals): Remove guard against
a membership test with no alternatives; simplify with a membership test.
Calls to First on No_List intentionally return Empty, so explicit guards
against No_List are unnecessary. Code cleanup; semantics is unaffected.
gcc/ada/
* sem_util.adb (Check_Function_Writable_Actuals): Remove guard against
a membership test with no alternatives; simplify with a membership test.
| gcc/ada/sem_util.adb | diffblobblamehistory |