diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-11-25 15:30:09 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2015-11-25 15:30:09 +0000 |
| commit | 1d1b38b0508fe0eb0cb2e0dbb0cf74d635a796f3 (patch) | |
| tree | 0b4ee010f8f17eeae93b58244a06c4db1d8650d9 /gcc/ada/lib-xref-spark_specific.adb | |
| parent | 3eacd753fd31b052824460a3f3b078b79e555edf (diff) | |
| download | gcc-1d1b38b0508fe0eb0cb2e0dbb0cf74d635a796f3.tar.gz | |
2015-11-25 Eric Botcazou <ebotcazou@adacore.com>
* gnatlink.adb (Gnatlink): Do not reinstate -fsjlj for the linker
from the switches saved in the ALI file but from the exception
settings.
2015-11-25 Arnaud Charlet <charlet@adacore.com>
* lib-xref-spark_specific.adb
(Add_SPARK_Scope): Take entry families into account.
* a-exetim.ads, a-exetim-default.ads, a-exetim-mingw.ads (Clock,
Clock_For_Interrupts): preconditions added.
* a-extiin.ads (Clock): preconditions added.
* par-ch3.adb (P_Declarative_Items): In case of misplaced
aspect specifications, ensure that flag Done is properly set to
continue parsing.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@230879 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/lib-xref-spark_specific.adb')
| -rw-r--r-- | gcc/ada/lib-xref-spark_specific.adb | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb index b570725369c..c857b0f6944 100644 --- a/gcc/ada/lib-xref-spark_specific.adb +++ b/gcc/ada/lib-xref-spark_specific.adb @@ -260,6 +260,7 @@ package body SPARK_Specific is case Ekind (E) is when E_Entry + | E_Entry_Family | E_Function | E_Generic_Function | E_Generic_Package @@ -330,7 +331,7 @@ package body SPARK_Specific is function Is_SPARK_Scope (E : Entity_Id) return Boolean; -- Return whether the entity or reference scope meets requirements for - -- being an SPARK scope. + -- being a SPARK scope. function Lt (Op1 : Natural; Op2 : Natural) return Boolean; -- Comparison function for Sort call |