diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-27 12:12:14 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2015-10-27 12:12:14 +0100 |
| commit | a1e1820b834993a57aa4dbb630e2a09b26667c04 (patch) | |
| tree | 6b3b38e74b8e1c8cdc1371e248bb2283ada3bfda /gcc/ada/lib-xref.adb | |
| parent | cbf3bf32926abd16cd5e38b2bee912f51cf30bbd (diff) | |
| download | gcc-a1e1820b834993a57aa4dbb630e2a09b26667c04.zip gcc-a1e1820b834993a57aa4dbb630e2a09b26667c04.tar.gz gcc-a1e1820b834993a57aa4dbb630e2a09b26667c04.tar.bz2 | |
[multiple changes]
2015-10-27 Javier Miranda <miranda@adacore.com>
* sem_ch6.adb (Analyze_Subprogram_Body_Helper): Improve previous patch.
2015-10-27 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch12.adb (Analyze_Formal_Package_Declaration): Code cleanup. Set
and restore the value of global flag Ignore_Pragma_SPARK_Mode. A
formal package declaration acts as a package instantation with
respect to SPARK_Mode legality.
2015-10-27 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Check_Constituent_Usage): Use
logical operators rather than short circuit operators. Emit an
error when a state with visible refinement is not refined.
* snames.ads-tmpl: Add names for detecting
predefined potentially blocking subprograms.
2015-10-27 Arnaud Charlet <charlet@adacore.com>
* exp_aggr.adb (Aggr_Assignment_OK_For_Backend): Revert previous
change.
(Expand_Array_Aggregate): Rewrite previous change here
as done for other non GCC back-ends.
(Build_Record_Aggr_Code): Add special case.
From-SVN: r229414
Diffstat (limited to 'gcc/ada/lib-xref.adb')
0 files changed, 0 insertions, 0 deletions