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/ada/sem_ch3.ads | |
| 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/ada/sem_ch3.ads')
| -rw-r--r-- | gcc/ada/sem_ch3.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/gcc/ada/sem_ch3.ads b/gcc/ada/sem_ch3.ads index e45ed6c..62b15c0 100644 --- a/gcc/ada/sem_ch3.ads +++ b/gcc/ada/sem_ch3.ads @@ -235,6 +235,9 @@ package Sem_Ch3 is -- Wrapper on Preanalyze_Spec_Expression for assertion expressions, so that -- In_Assertion_Expr can be properly adjusted. + procedure Preanalyze_Assert_Expression (N : Node_Id); + -- Similar to the above, but without forcing N to be of a particular type + procedure Preanalyze_Spec_Expression (N : Node_Id; T : Entity_Id); -- Default and per object expressions do not freeze their components, and -- must be analyzed and resolved accordingly. The analysis is done by |