diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2023-01-26 15:56:04 +0100 |
|---|---|---|
| committer | Marc Poulhiès <poulhies@adacore.com> | 2023-05-16 10:30:58 +0200 |
| commit | b358f011bde393ee602d756ec19a5d1ceb181a72 (patch) | |
| tree | 7afab14019b7f248a46f9514a5007e27389e04b4 /gcc/ada/usage.adb | |
| parent | 4803e348aa63482085d535127689528e4925cccf (diff) | |
| download | gcc-b358f011bde393ee602d756ec19a5d1ceb181a72.zip gcc-b358f011bde393ee602d756ec19a5d1ceb181a72.tar.gz gcc-b358f011bde393ee602d756ec19a5d1ceb181a72.tar.bz2 | |
ada: Apply range checks to preanalyzed aggregate expressions
When preanalyzing expressions in GNATprove mode, e.g. Pre/Post
contracts, we apply checks, because these expressions will never
be expanded. This didn't happen for aggregate expressions, most
likely because of an oversight.
gcc/ada/
* sem_util.adb (Aggregate_Constraint_Checks): Don't exit early
when preanalysing in GNATprove mode. Now the condition is
consistent with other similar conditions in other code.
Diffstat (limited to 'gcc/ada/usage.adb')
0 files changed, 0 insertions, 0 deletions