diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-10-10 14:17:35 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-10-10 14:17:35 +0200 |
| commit | 15918371923d3e31a9f74c46fbe94e7e1e6d76e6 (patch) | |
| tree | cd80a5317c5228f3994e9670042a976f5b3fa86b /gcc/ada/lib-xref-spark_specific.adb | |
| parent | b184c8f13820b011a119ce9c900b73986f3c5351 (diff) | |
| download | gcc-15918371923d3e31a9f74c46fbe94e7e1e6d76e6.zip gcc-15918371923d3e31a9f74c46fbe94e7e1e6d76e6.tar.gz gcc-15918371923d3e31a9f74c46fbe94e7e1e6d76e6.tar.bz2 | |
[multiple changes]
2013-10-10 Robert Dewar <dewar@adacore.com>
* lib-xref-spark_specific.adb, par-ch13.adb, sem_prag.adb, sem_prag.ads,
sem_ch12.adb, sem_attr.adb, sem_ch6.adb, sem_ch13.adb, a-sequio.adb,
s-atocou-builtin.adb: Minor reformatting.
2013-10-10 Thomas Quinot <quinot@adacore.com>
* s-oscons-tmplt.c (NEED_PTHREAD_CONDATTR_SETCLOCK): This
constant needs to be output to s-oscons.h, as it is tested
by init.c.
2013-10-10 Robert Dewar <dewar@adacore.com>
* exp_ch3.adb (Expand_N_Variant_Part): Don't expand choices, too early
* exp_ch5.adb (Expand_N_Case_Statement): Use new Has_SP_Choice
flag to avoid expanding choices when not necessary.
* exp_util.adb: Minor reformatting
* freeze.adb (Freeze_Record_Type): Redo expansion of variants
* sem_aggr.adb: Minor reformatting
* sem_case.ads, sem_case.adb: Major rewrite, separating Analysis and
Checking of choices.
* sem_ch3.adb (Analyze_Variant_Part): Rewrite to call new
Analyze_Choices.
* sem_ch4.adb (Analyze_Case_Expression): Call Analyze_Choices
and Check_Choices
* sem_ch5.adb (Analyze_Case_Statement): Call Analyze_Choices
and Check_Choices
* sem_util.adb: Minor reformatting
* sinfo.ads, sinfo.adb (Has_SP_Choice): New flag.
2013-10-10 Vincent Celier <celier@adacore.com>
* mlib-prj.adb (Build_Library): Do not issue link dynamic
libraries with an Rpath, if switch -R was used.
2013-10-10 Tristan Gingold <gingold@adacore.com>
* s-stalib.ads (Image_Index_Table_8, Image_Index_Table_16,
Image_Index_Table_32): Remove as not used.
* s-imgint.adb (Image_Integer): Call Set_Image_Integer and
remove duplicated code.
From-SVN: r203358
Diffstat (limited to 'gcc/ada/lib-xref-spark_specific.adb')
| -rw-r--r-- | gcc/ada/lib-xref-spark_specific.adb | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb index e5a007b..849ff0e 100644 --- a/gcc/ada/lib-xref-spark_specific.adb +++ b/gcc/ada/lib-xref-spark_specific.adb @@ -1022,11 +1022,10 @@ package body SPARK_Specific is when N_Pragma => - -- The enclosing subprogram for a precondition, a - -- postcondition, or a contract case should be the subprogram - -- to which the pragma is attached, which can be found by - -- following previous elements in the list to which the - -- pragma belongs. + -- The enclosing subprogram for a precondition, postcondition, + -- or contract case should be the subprogram to which the + -- pragma is attached, which can be found by following + -- previous elements in the list to which the pragma belongs. if Get_Pragma_Id (Result) = Pragma_Precondition or else |