| commit | 012de9f65cb9e4a6a4bf78aea7634118a74013e4 | |
| author | Piotr Trojanek <trojanek@adacore.com> | |
| Mon, 6 Feb 2023 21:56:49 +0000 (6 22:56 +0100) | ||
| committer | Marc Poulhiès <poulhies@adacore.com> | |
| Mon, 22 May 2023 08:44:10 +0000 (22 10:44 +0200) | ||
| tree | 95b7b6873c23ead40a8513d52302cf57ca572819 | treesnapshot (tar.gz zip) |
| parent | af1914998dcfb9908afe85b2275fd9868d689db9 | commitdiff |
ada: Cleanup redundant condition in resolution of entity names
Code cleanup related to new contract for SPARK; semantics is unaffected.
gcc/ada/
* sem_res.adb (Resolve_Entity_Name): Combine two IF statements that
execute code only for references that come from source.
Code cleanup related to new contract for SPARK; semantics is unaffected.
gcc/ada/
* sem_res.adb (Resolve_Entity_Name): Combine two IF statements that
execute code only for references that come from source.
| gcc/ada/sem_res.adb | diffblobblamehistory |