diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-10-17 12:32:09 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-10-17 12:32:09 +0200 |
commit | 5114f3ff9a90572c042601ce8b4164cdd8561e1d (patch) | |
tree | 56b471b884b85fa68166f8c2e627e95dec6bb904 /gcc/ada/prep.adb | |
parent | 13b2f7fd6317e9858dcbaa3917dfc65629d6eed2 (diff) | |
download | gcc-5114f3ff9a90572c042601ce8b4164cdd8561e1d.zip gcc-5114f3ff9a90572c042601ce8b4164cdd8561e1d.tar.gz gcc-5114f3ff9a90572c042601ce8b4164cdd8561e1d.tar.bz2 |
[multiple changes]
2013-10-17 Yannick Moy <moy@adacore.com>
* sem_ch8.adb (Find_Direct_Name): Keep track of assignments for
renamings in SPARK mode.
2013-10-17 Yannick Moy <moy@adacore.com>
* exp_spark.adb (Expand_SPARK): Remove special case for NOT IN
operation.
* sinfo.ads: Add special comment section to describe SPARK mode
effect on tree.
* exp_spark.ads: Remove comments, moved to sinfo.ads.
2013-10-17 Yannick Moy <moy@adacore.com>
* exp_ch3.adb (Expand_Freeze_Class_Wide_Type,
Expand_Freeze_Class_Wide_Type, Expand_Freeze_Class_Wide_Type):
Remove useless special cases.
* exp_ch4.adb (Expand_Allocator_Expression, Expand_N_Allocator,
Expand_N_Op_Expon): Remove useless special cases.
* exp_ch6.adb (Is_Build_In_Place_Function_Call): Disable build-in-place
in SPARK mode by testing Full_Expander_Active instead of
Expander_Active.
(Make_Build_In_Place_Call_In_Allocator): Remove useless special case.
* exp_util.adb (Build_Allocate_Deallocate_Proc): Remove
useless special case.
* sem_eval.adb (Compile_Time_Known_Value): Remove special handling of
deferred constant.
2013-10-17 Yannick Moy <moy@adacore.com>
* gnat_ugn.texi: Document -gnateT and target file format.
2013-10-17 Vincent Celier <celier@adacore.com>
* prep.adb (Check_Command_Line_Symbol_Definition): Is_A_String is
always False, even when the value starts and ends with double quotes.
From-SVN: r203747
Diffstat (limited to 'gcc/ada/prep.adb')
-rw-r--r-- | gcc/ada/prep.adb | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/gcc/ada/prep.adb b/gcc/ada/prep.adb index 10ced63..7a5565d 100644 --- a/gcc/ada/prep.adb +++ b/gcc/ada/prep.adb @@ -268,14 +268,9 @@ package body Prep is -- Check the syntax of the value - if Definition (Index + 1) = '"' - and then Definition (Definition'Last) = '"' + if Definition (Index + 1) /= '"' + or else Definition (Definition'Last) /= '"' then - Result.Is_A_String := True; - - else - Result.Is_A_String := False; - for J in Index + 1 .. Definition'Last loop case Definition (J) is when '_' | '.' | '0' .. '9' | 'a' .. 'z' | 'A' .. 'Z' => @@ -291,6 +286,11 @@ package body Prep is -- And put the value in the result + Result.Is_A_String := False; + -- Even if the value is a string, we still set Is_A_String to False, + -- to avoid adding additional quotes in the preprocessed sources when + -- replacing $<symbol>. + Start_String; Store_String_Chars (Definition (Index + 1 .. Definition'Last)); Result.Value := End_String; |