diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2018-07-17 08:07:59 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2018-07-17 08:07:59 +0000 |
| commit | f2c2cdfbdb3f1653c330945bc5b61a8da5a67881 (patch) | |
| tree | 12de736e88d6b03d55aabb8b41f0c20d75fdd339 /gcc/ada/sem_ch3.ads | |
| parent | e4d29736249cc9c5e62b0f8b3ecfed1a93b6d73d (diff) | |
| download | gcc-f2c2cdfbdb3f1653c330945bc5b61a8da5a67881.zip gcc-f2c2cdfbdb3f1653c330945bc5b61a8da5a67881.tar.gz gcc-f2c2cdfbdb3f1653c330945bc5b61a8da5a67881.tar.bz2 | |
[Ada] Minor reformatting
2018-07-17 Hristian Kirtchev <kirtchev@adacore.com>
gcc/ada/
* exp_ch13.adb, exp_ch7.adb, exp_unst.adb, freeze.adb,
libgnat/s-os_lib.adb, sem_ch3.adb, sem_ch3.ads, sem_ch5.adb,
sem_eval.adb, sem_res.adb, sem_util.adb: Minor reformatting.
From-SVN: r262786
Diffstat (limited to 'gcc/ada/sem_ch3.ads')
| -rw-r--r-- | gcc/ada/sem_ch3.ads | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/sem_ch3.ads b/gcc/ada/sem_ch3.ads index c82ab86..70daae8 100644 --- a/gcc/ada/sem_ch3.ads +++ b/gcc/ada/sem_ch3.ads @@ -236,6 +236,10 @@ package Sem_Ch3 is -- Always False in Ada 95 mode. Equivalent to OK_For_Limited_Init_In_05 in -- Ada 2005 mode. + procedure Preanalyze_Assert_Expression (N : Node_Id; T : Entity_Id); + -- Wrapper on Preanalyze_Spec_Expression for assertion expressions, so that + -- In_Assertion_Expr can be properly adjusted. + 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 @@ -246,10 +250,6 @@ package Sem_Ch3 is -- This mechanism is also used for aspect specifications that have an -- expression parameter that needs similar preanalysis. - procedure Preanalyze_Assert_Expression (N : Node_Id; T : Entity_Id); - -- Wrapper on Preanalyze_Spec_Expression for assertion expressions, so that - -- In_Assertion_Expr can be properly adjusted. - procedure Process_Full_View (N : Node_Id; Full_T, Priv_T : Entity_Id); -- Process some semantic actions when the full view of a private type is -- encountered and analyzed. The first action is to create the full views |