diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2023-04-18 19:13:38 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-06-13 09:31:42 +0200 |
| commit | 109307ebe37301412de26114cc466099ba34088e (patch) | |
| tree | 3ccb4ff33e4108338c022ced1bcf638faf53685e /gcc/tree-ssa-threadbackward.cc | |
| parent | fbf4140df117d28428e03a3f3c986787609d32b6 (diff) | |
| download | gcc-109307ebe37301412de26114cc466099ba34088e.zip gcc-109307ebe37301412de26114cc466099ba34088e.tar.gz gcc-109307ebe37301412de26114cc466099ba34088e.tar.bz2 | |
ada: Cleanup expansion of locally handled exception handlers
Code cleanup related to handling exceptions in GNATprove; semantics is
unaffected.
gcc/ada/
* exp_ch11.ads (Find_Local_Handler): Fix typo in comment.
* exp_ch11.adb (Find_Local_Handler): Remove redundant check for the
Exception_Handler list being present; use membership test to eliminate
local object LCN; fold nested IF statements. Remove useless ELSIF
condition.
Diffstat (limited to 'gcc/tree-ssa-threadbackward.cc')
0 files changed, 0 insertions, 0 deletions