diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2023-04-19 11:02:34 +0200 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2023-06-13 09:31:43 +0200 |
commit | 0e511e29883e6959ce0e6c775bb62b8f8b48c7fb (patch) | |
tree | 92d31d4870f1aa93fd5891465ba5ebeaa944606b /gcc/objc/objc-gnu-runtime-abi-01.cc | |
parent | 109307ebe37301412de26114cc466099ba34088e (diff) | |
download | gcc-0e511e29883e6959ce0e6c775bb62b8f8b48c7fb.zip gcc-0e511e29883e6959ce0e6c775bb62b8f8b48c7fb.tar.gz gcc-0e511e29883e6959ce0e6c775bb62b8f8b48c7fb.tar.bz2 |
ada: Cleanup finding of locally handled exception handlers
Code cleanup related to handling exceptions in GNATprove; semantics is
unaffected.
gcc/ada/
* exp_ch11.adb (Find_Local_Handler): Replace guard against other
constructs appearing in the list of exception handlers with iteration
using First_Non_Pragma/Next_Non_Pragma.
Diffstat (limited to 'gcc/objc/objc-gnu-runtime-abi-01.cc')
0 files changed, 0 insertions, 0 deletions