diff options
| author | Piotr Trojanek <trojanek@adacore.com> | 2022-01-11 00:28:00 +0100 |
|---|---|---|
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | 2022-05-09 09:27:31 +0000 |
| commit | 2fe776e2d346bcf450f40739825249cab449e567 (patch) | |
| tree | 513f665e8c7bc007e2b35c2fb58f48fc22e3aecb /gcc/system.h | |
| parent | eb05097d5508618a70b279df6d10d409eb4c60ae (diff) | |
| download | gcc-2fe776e2d346bcf450f40739825249cab449e567.zip gcc-2fe776e2d346bcf450f40739825249cab449e567.tar.gz gcc-2fe776e2d346bcf450f40739825249cab449e567.tar.bz2 | |
[Ada] Add utility to preanalyze assert expression without forcing its type
In SPARK loop and subprogram variants we now allow expressions of any
discrete type or of Ada.Numerics.Big_Numbers.Big_Integers.Big_Integer
type. This requires a variant of Preanalyze_Assert_Expression that
doesn't force the expression to be of a particular type, similar to the
existing variant of Analyze_And_Resolve.
gcc/ada/
* sem_ch3.ads, sem_ch3.adb (Preanalyze_Assert_Expression): Add a
variant that doesn't force preanalysis to yield a specific type.
Diffstat (limited to 'gcc/system.h')
0 files changed, 0 insertions, 0 deletions