]> git.ipfire.org Git - thirdparty/gcc.git/commit
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e511e2) | patch
ada: Remove wrong comment about expansion of exceptions for GNATprove
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 19 Apr 2023 09:37:59 +0000 (11:37 +0200)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 13 Jun 2023 07:31:43 +0000 (09:31 +0200)
commit431180997887296965f00328ec45c3d1f68ad4e9
treedec8a56ca862e98ddce57cad60694748c2d6d8fdtree
parent0e511e29883e6959ce0e6c775bb62b8f8b48c7fbcommit | diff
ada: Remove wrong comment about expansion of exceptions for GNATprove

Code cleanup related to handling exceptions in GNATprove.

gcc/ada/

* exp_ch11.adb (Expand_N_Raise_Statement): Expansion of raise statements
never happens in GNATprove mode.
gcc/ada/exp_ch11.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git