diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-11-12 11:35:30 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-11-12 11:35:30 +0000 |
| commit | 5af08a8c535895ab3edf38ad8d5b62e1e8104be0 (patch) | |
| tree | ed13011c5cbac7b87777b7a2d7abcf64c0efd4f6 /gcc/ada/sem_util.ads | |
| parent | 3ff5e35d8e77b6046fe71bac165b432b248fb96b (diff) | |
| download | gcc-5af08a8c535895ab3edf38ad8d5b62e1e8104be0.tar.gz | |
2015-11-12 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch10.adb, atree.adb: Minor reformatting.
2015-11-12 Hristian Kirtchev <kirtchev@adacore.com>
* sem_elab.adb (Check_A_Call): Add new variable
Is_DIC_Proc. Report elaboration issue in SPARK concerning calls
to source subprograms or nontrivial Default_Initial_Condition
procedures. Add specialized error message to avoid outputting
the internal name of the Default_Initial_Condition procedure.
* sem_util.ads, sem_util.adb
(Is_Non_Trivial_Default_Init_Cond_Procedure): New routine.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@230237 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/sem_util.ads')
| -rw-r--r-- | gcc/ada/sem_util.ads | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index 0f6dd7ceaa4..1aa29e65958 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -1433,6 +1433,12 @@ package Sem_Util is -- parameter of the current enclosing subprogram. -- Why are OUT parameters not considered here ??? + function Is_Non_Trivial_Default_Init_Cond_Procedure + (Id : Entity_Id) return Boolean; + -- Determine whether entity Id denotes the procedure which verifies the + -- assertion expression of pragma Default_Initial_Condition and if it does, + -- the encapsulated expression is non-trivial. + function Is_Object_Reference (N : Node_Id) return Boolean; -- Determines if the tree referenced by N represents an object. Both -- variable and constant objects return True (compare Is_Variable). |