sem_prag.adb (Is_Matching_Input): Consume a matching null input.

2013-10-14  Hristian Kirtchev  <kirtchev@adacore.com>

	* sem_prag.adb (Is_Matching_Input): Consume a matching null input.

From-SVN: r203557

gcc/ada/ChangeLog

+2013-10-14  Hristian Kirtchev  <kirtchev@adacore.com>
+
+	* sem_prag.adb (Is_Matching_Input): Consume a matching null input.
+
 2013-10-14  Robert Dewar  <dewar@adacore.com>
 
 	* freeze.adb (Freeze_Record): Don't give warning about packed

gcc/ada/sem_prag.adb

@@ -19965,7 +19965,13 @@ package body Sem_Prag is
                --  Match a null input with another null input
 
                if Nkind (Dep_Input) = N_Null then
-                  if Nkind (Expression (Ref_Clause)) = N_Null then
+                  Ref_Input := First (Ref_Inputs);
+
+                  --  Remove the matching null from the pool of candidates
+
+                  if Nkind (Ref_Input) = N_Null then
+                     Remove (Ref_Input);
+
                      return True;
                   else
                      Match_Error