diff options
author | Eric Botcazou <ebotcazou@adacore.com> | 2023-04-24 11:07:38 +0200 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2023-06-13 09:31:44 +0200 |
commit | 5225a2b2ecd8e876f7a879f70bb74d563ab953cd (patch) | |
tree | fc425af4567428901546dcbc6c03224dcc5d53a1 /gcc/range-op-float.cc | |
parent | ad09934f72f2bf415c96170143b189e70514242b (diff) | |
download | gcc-5225a2b2ecd8e876f7a879f70bb74d563ab953cd.zip gcc-5225a2b2ecd8e876f7a879f70bb74d563ab953cd.tar.gz gcc-5225a2b2ecd8e876f7a879f70bb74d563ab953cd.tar.bz2 |
ada: Fix exception raised on invalid contract in generic package
This lets the compiler give a proper error message instead.
gcc/ada/
* contracts.adb (Contract_Error): New exception.
(Add_Contract_Item): Raise Contract_Error instead of Program_Error.
(Add_Generic_Contract_Pragma): Deal with Contract_Error.
Diffstat (limited to 'gcc/range-op-float.cc')
0 files changed, 0 insertions, 0 deletions