diff options
author | Piotr Trojanek <trojanek@adacore.com> | 2022-08-02 19:46:36 +0200 |
---|---|---|
committer | Marc Poulhiès <poulhies@adacore.com> | 2022-09-05 09:21:07 +0200 |
commit | 3424f4c34d04541005ca6d255a04d5f2f613f6b0 (patch) | |
tree | efa54da3d9ff5756360361bbfac72ad039c5a8e5 /COPYING | |
parent | 59a23beb9e71a0259b076693dd1e551500c08f24 (diff) | |
download | gcc-3424f4c34d04541005ca6d255a04d5f2f613f6b0.zip gcc-3424f4c34d04541005ca6d255a04d5f2f613f6b0.tar.gz gcc-3424f4c34d04541005ca6d255a04d5f2f613f6b0.tar.bz2 |
[Ada] Move check for null array aggregates to expansion
Despite recent changes to runtime checks for null array aggregates,
GNATprove still struggles with N_Raise_Constraint_Error nodes inserted
into AST by aggregate resolution. The ultimate fix is to move these
checks to expansion (which is disabled in GNATprove mode) and explicitly
emit a proof check in the GNATprove backend.
gcc/ada/
* exp_aggr.adb (Check_Bounds): Move code and comment related to
check for null array aggregate from Resolve_Null_Array_Aggregate.
* sem_aggr.ads (Is_Null_Aggregate): Move spec from unit body.
* sem_aggr.adb (Resolve_Null_Array_Aggregate): Move check to
expansion.
Diffstat (limited to 'COPYING')
0 files changed, 0 insertions, 0 deletions