[multiple changes]

2014-02-25  Yannick Moy  <moy@adacore.com>

	* sem_prag.adb: Remove obsolete reference to SPARK RM in error message.

2014-02-25  Doug Rupp  <rupp@adacore.com>

	* init.c (HAVE_GNAT_ADJUST_CONTEXT_FOR_RAISE): Enable for ARM.
	(__gnat_adjust_context_for_raise): Bump the PC by 2.

2014-02-25  Ed Schonberg  <schonberg@adacore.com>

	* par-ch3.adb (P_Basic_Declarative_Items): In the case of a
	misplaced IS, add a statement sequence to improper body only if
	one has not been parsed already.

2014-02-25  Ed Schonberg  <schonberg@adacore.com>

	* sem_attr.adb (Analyze_Attribute, case 'Update): Check for
	mismatch when multidimensional array is updated with a single
	index.

From-SVN: r208126

gcc/ada/ChangeLog

 2014-02-25  Yannick Moy  <moy@adacore.com>
 
+	* sem_prag.adb: Remove obsolete reference to SPARK RM in error message.
+
+2014-02-25  Doug Rupp  <rupp@adacore.com>
+
+	* init.c (HAVE_GNAT_ADJUST_CONTEXT_FOR_RAISE): Enable for ARM.
+	(__gnat_adjust_context_for_raise): Bump the PC by 2.
+
+2014-02-25  Ed Schonberg  <schonberg@adacore.com>
+
+	* par-ch3.adb (P_Basic_Declarative_Items): In the case of a
+	misplaced IS, add a statement sequence to improper body only if
+	one has not been parsed already.
+
+2014-02-25  Ed Schonberg  <schonberg@adacore.com>
+
+	* sem_attr.adb (Analyze_Attribute, case 'Update): Check for
+	mismatch when multidimensional array is updated with a single
+	index.
+
+2014-02-25  Yannick Moy  <moy@adacore.com>
+
 	* sem_ch3.adb, sem_ch5.adb, sem_prag.adb, sem_attr.adb, errout.ads,
 	sem_ch6.adb: Mark most references to SPARK RM in error messages
 	for removal.

gcc/ada/init.c

@@ -452,7 +452,8 @@ void fake_linux_sigemptyset (sigset_t *set)
 
 #endif
 
-#if defined (i386) || defined (__x86_64__) || defined (__ia64__)
+#if defined (i386) || defined (__x86_64__) || defined (__ia64__) \
+    || defined (__ARMEL__)
 
 #define HAVE_GNAT_ADJUST_CONTEXT_FOR_RAISE
 
@@ -496,6 +497,9 @@ __gnat_adjust_context_for_raise (int signo ATTRIBUTE_UNUSED, void *ucontext)
 #elif defined (__ia64__)
   /* ??? The IA-64 unwinder doesn't compensate for signals.  */
   mcontext->sc_ip++;
+#elif defined (__ARMEL__)
+  /* ARM Bump has to be an even number because of odd/even architecture.  */
+  mcontext->arm_pc+=2;
 #endif
 }
 

gcc/ada/par-ch3.adb

@@ -4631,6 +4631,7 @@ package body Ch3 is
 
             if Nkind_In
               (Decl, N_Subprogram_Body, N_Package_Body, N_Task_Body)
+                and then No (Handled_Statement_Sequence (Decl))
             then
                Set_Handled_Statement_Sequence (Decl,
                  Make_Handled_Sequence_Of_Statements (Sloc (Decl),

gcc/ada/sem_attr.adb

@@ -6259,6 +6259,10 @@ package body Sem_Attr is
                         --  dimensional array.
 
                         Index_Type := First_Index (P_Type);
+                        if Present (Next_Index (Index_Type)) then
+                           Error_Msg_N
+                             ("too few subscripts in array reference", Comp);
+                        end if;
 
                         Index := First (Choices (Assoc));
                         while Present (Index) loop

gcc/ada/sem_prag.adb

@@ -10554,8 +10554,8 @@ package body Sem_Prag is
 
                      else
                         Error_Msg_N
-                          ("simple option not allowed in state declaration "
-                           & "(SPARK RM 7.1.4(3))", Opt);
+                          ("simple option not allowed in state declaration",
+                           Opt);
                      end if;
 
                      Next (Opt);