From 9c714f97bd994e38c2ce9ae002521d5d120878b7 Mon Sep 17 00:00:00 2001 From: charlet Date: Mon, 1 Aug 2011 16:16:24 +0000 Subject: 2011-08-01 Robert Dewar * sem_util.ads, sem_util.adb, sem_ch6.adb (Last_Source_Statement): Replaces Last_Source_Node_In_Sequence. * err_vars.ads (Error_Msg_Lang): 16 is OK, don't need 4K * errout.adb (Set_Error_Msg_Lang): Takes arg with no parens, but stores parens and blank in string (this was inconsistently implemented). * errout.ads (Set_Error_Msg_Lang): Takes arg with no parens, but stores parens and blank in string (this was inconsistently implemented). * gnat1drv.adb (Set_Global_Switches): Set formal mode switches appropriately * opt.ads, opt.adb: Formal mode is now global switches, more consistent * par-prag.adb (Analyze_Pragma, case SPARK_95): Set opt switches appropriately and call Set_Error_Msg_Lang to set "spark" as language name. * par.adb: Remove unnecessary call to set formal language for errout * sem_prag.adb (P_Pragma, case SPARK_95): Set opt switches appropriately and call Set_Error_Msg_Lang to set "spark" as language name. * sem_ch4.adb (Analyze_Concatenation_Operand): remove procedure and calls to it, moved after resolution so that types are known * sem_res.adb (Resolve_Op_Concat): issue an error in formal mode if result of concatenation is not of type String (Resolve_Op_Concat_Arg): issue an error in formal mode if an operand of concatenation is not properly restricted * gnat_rm.texi: Add doc on pragma Spark_95. * gcc-interface/Makefile.in: Remove obsolete target pairs for Interfaces.C.* on VMS. Remove s-parame-vms-restrict.ads. * gcc-interface/Make-lang.in: Update dependencies. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177061 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ada/sem_util.adb | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'gcc/ada/sem_util.adb') diff --git a/gcc/ada/sem_util.adb b/gcc/ada/sem_util.adb index 9a9b60e395a..f401f9441ae 100644 --- a/gcc/ada/sem_util.adb +++ b/gcc/ada/sem_util.adb @@ -7981,22 +7981,22 @@ package body Sem_Util is end case; end Known_To_Be_Assigned; - ---------------------------------- - -- Last_Source_Node_In_Sequence -- - ---------------------------------- + --------------------------- + -- Last_Source_Statement -- + --------------------------- - function Last_Source_Node_In_Sequence (List : List_Id) return Node_Id is + function Last_Source_Statement (HSS : Node_Id) return Node_Id is N : Node_Id; begin - N := Last (List); + N := Last (Statements (HSS)); while Present (N) loop exit when Comes_From_Source (N); - N := Prev (N); + Prev (N); end loop; return N; - end Last_Source_Node_In_Sequence; + end Last_Source_Statement; ------------------- -- May_Be_Lvalue -- -- cgit v1.2.1