diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2023-04-19 11:37:59 +0200 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-06-13 09:31:43 +0200 |
| commit | 431180997887296965f00328ec45c3d1f68ad4e9 (patch) | |
| tree | dec8a56ca862e98ddce57cad60694748c2d6d8fd /gcc/objc/objc-gnu-runtime-abi-01.cc | |
| parent | 0e511e29883e6959ce0e6c775bb62b8f8b48c7fb (diff) | |
| download | gcc-431180997887296965f00328ec45c3d1f68ad4e9.zip gcc-431180997887296965f00328ec45c3d1f68ad4e9.tar.gz gcc-431180997887296965f00328ec45c3d1f68ad4e9.tar.bz2 | |
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.
Diffstat (limited to 'gcc/objc/objc-gnu-runtime-abi-01.cc')
0 files changed, 0 insertions, 0 deletions