diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-06 11:23:17 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-02-06 11:23:17 +0100 |
| commit | 4446a13faa6ac84d2ef391bfb330370ec78053ca (patch) | |
| tree | 3955586656957f515e4adc2d438b580f8a827213 /gcc/ada/casing.adb | |
| parent | e09a559856ab95618cdbc9704b06145cc6c34ca1 (diff) | |
| download | gcc-4446a13faa6ac84d2ef391bfb330370ec78053ca.zip gcc-4446a13faa6ac84d2ef391bfb330370ec78053ca.tar.gz gcc-4446a13faa6ac84d2ef391bfb330370ec78053ca.tar.bz2 | |
[multiple changes]
2014-02-06 Robert Dewar <dewar@adacore.com>
* casing.adb (Determine_Casing): Consider SPARK_Mode to be
mixed case.
2014-02-06 Ed Schonberg <schonberg@adacore.com>
* exp_ch6.adb (Is_Build_In_Place_Function): Predicate is false
when the function has a foreign convention, but not if only the
limited return type has such a convention.
2014-02-06 Hristian Kirtchev <kirtchev@adacore.com>
* sem_ch3.adb (Handle_Late_Controlled_Primitive): Remove local
variable Spec. Comment reformatting. Use Copy_Separate_Tree
rather than New_Copy_Tree when building the corresponding
subprogram declaration.
2014-02-06 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Global_Item): Remove
the mode-related checks on abstract states with enabled external
properties.
(Property_Error): Removed.
2014-02-06 Javier Miranda <miranda@adacore.com>
* lib-xref.adb (Generate_Reference): When
generating the reference to the first private entity take care
of handling swapped entities.
From-SVN: r207547
Diffstat (limited to 'gcc/ada/casing.adb')
| -rw-r--r-- | gcc/ada/casing.adb | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/gcc/ada/casing.adb b/gcc/ada/casing.adb index 4a0d855..dce1e0b 100644 --- a/gcc/ada/casing.adb +++ b/gcc/ada/casing.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2009 Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2013, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -59,6 +59,14 @@ package body Casing is -- True at start of string, and after an underline character begin + -- A special kludge, consider SPARK_Mode to be mixed case + + if Ident = "SPARK_Mode" then + return Mixed_Case; + end if; + + -- Proceed with normal determination + for S in Ident'Range loop if Ident (S) = '_' or else Ident (S) = '.' then After_Und := True; |