]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 109307e) | patch
ada: Cleanup finding of locally handled exception handlers
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 19 Apr 2023 09:02:34 +0000 (11:02 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 13 Jun 2023 07:31:43 +0000 (09:31 +0200)
commit0e511e29883e6959ce0e6c775bb62b8f8b48c7fb
tree92d31d4870f1aa93fd5891465ba5ebeaa944606btree
parent109307ebe37301412de26114cc466099ba34088ecommit | diff
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.
gcc/ada/exp_ch11.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git