sem_aggr.adb, [...]: Update all eligible case statements to reflect the new style for case alternatives.

2017-01-13  Hristian Kirtchev  <kirtchev@adacore.com>

	* sem_aggr.adb, par_sco.adb, s-osprim-mingw.adb, exp_ch5.adb,
	exp_prag.adb, sem_ch3.adb, xr_tabls.adb, lib-xref-spark_specific.adb,
	layout.adb, sem_dist.adb, exp_spark.adb, exp_ch7.adb, gnatcmd.adb,
	exp_util.adb, prj-proc.adb, sem_aux.adb, comperr.adb, g-memdum.adb,
	exp_attr.adb, s-intman-solaris.adb, exp_ch9.adb, make.adb, live.adb,
	g-sercom-linux.adb, sem_dim.adb, mlib-prj.adb, s-intman-posix.adb,
	sem_ch9.adb, sem_ch10.adb, prep.adb, einfo.adb, scng.adb, checks.adb,
	prj-strt.adb, sem_prag.adb, eval_fat.adb, sem_ch12.adb, sem.adb,
	a-numaux-x86.adb, a-stwifi.adb, i-cobol.adb, prj.adb,
	get_spark_xrefs.adb, s-tasini.adb, rtsfind.adb, freeze.adb,
	g-arrspl.adb, par-ch4.adb, sem_util.adb, sem_res.adb, expander.adb,
	sem_attr.adb, exp_dbug.adb, prj-pp.adb, a-stzfix.adb, s-interr.adb,
	s-wchcnv.adb, switch-m.adb, gnat1drv.adb, sinput-l.adb, stylesw.adb,
	contracts.adb, s-intman-android.adb, g-expect.adb, exp_ch4.adb,
	g-comlin.adb, errout.adb, sinput.adb, s-exctra.adb, repinfo.adb,
	g-spipat.adb, g-debpoo.adb, exp_ch6.adb, sem_ch4.adb, exp_ch13.adb,
	a-wtedit.adb, validsw.adb, pprint.adb, widechar.adb, makeutl.adb,
	ali.adb, set_targ.adb, sem_mech.adb, sem_ch6.adb, gnatdll.adb,
	get_scos.adb, g-pehage.adb, s-tratas-default.adb, gnatbind.adb,
	prj-dect.adb, g-socthi-mingw.adb, par-prag.adb, prj-nmsc.adb,
	exp_disp.adb, par-ch12.adb, binde.adb, sem_ch8.adb,
	s-tfsetr-default.adb, s-regexp.adb, gprep.adb, s-tpobop.adb,
	a-teioed.adb, sem_warn.adb, sem_eval.adb, g-awk.adb, s-io.adb,
	a-ztedit.adb, xoscons.adb, exp_intr.adb, sem_cat.adb, sprint.adb,
	g-socket.adb, exp_dist.adb, sem_ch13.adb, s-tfsetr-vxworks.adb,
	par-ch3.adb, treepr.adb, g-forstr.adb, g-catiio.adb, par-ch5.adb,
	uname.adb, osint.adb, exp_ch3.adb, prj-env.adb, a-strfix.adb,
	a-stzsup.adb, prj-tree.adb, s-fileio.adb: Update all eligible case
	statements to reflect the new style for case alternatives. Various
	code clean up and reformatting.

From-SVN: r244406

1 files changed, 35 insertions, 28 deletions

diff --git a/gcc/ada/lib-xref-spark_specific.adb b/gcc/ada/lib-xref-spark_specific.adb
index 87d3942..b74489f 100644
--- a/gcc/ada/lib-xref-spark_specific.adb
+++ b/gcc/ada/lib-xref-spark_specific.adb
@@ -144,18 +144,20 @@ package body SPARK_Specific is
          end if;
 
          case Ekind (E) is
-            when E_Entry             |
-                 E_Entry_Family      |
-                 E_Generic_Function  |
-                 E_Generic_Package   |
-                 E_Generic_Procedure |
-                 E_Package           |
-                 E_Protected_Type    |
-                 E_Task_Type         =>
+            when E_Entry
+               | E_Entry_Family
+               | E_Generic_Function
+               | E_Generic_Package
+               | E_Generic_Procedure
+               | E_Package
+               | E_Protected_Type
+               | E_Task_Type
+            =>
                Typ := Xref_Entity_Letters (Ekind (E));
 
-            when E_Function | E_Procedure =>
-
+            when E_Function
+               | E_Procedure
+            =>
                --  In SPARK we need to distinguish protected functions and
                --  procedures from ordinary subprograms, but there are no
                --  special Xref letters for them. Since this distiction is
@@ -168,10 +170,11 @@ package body SPARK_Specific is
                   Typ := Xref_Entity_Letters (Ekind (E));
                end if;
 
-            when E_Package_Body    |
-                 E_Protected_Body  |
-                 E_Subprogram_Body |
-                 E_Task_Body       =>
+            when E_Package_Body
+               | E_Protected_Body
+               | E_Subprogram_Body
+               | E_Task_Body
+            =>
                Typ := Xref_Entity_Letters (Ekind (Unique_Entity (E)));
 
             when E_Void =>
@@ -456,7 +459,9 @@ package body SPARK_Specific is
                   end if;
                end;
 
-            when E_Loop_Parameter | E_In_Parameter =>
+            when E_In_Parameter
+               | E_Loop_Parameter
+            =>
                Result := True;
 
             when others =>
@@ -1091,9 +1096,9 @@ package body SPARK_Specific is
 
       while Present (Context) loop
          case Nkind (Context) is
-            when N_Package_Body          |
-                 N_Package_Specification =>
-
+            when N_Package_Body
+               | N_Package_Specification
+            =>
                --  Only return a library-level package
 
                if Is_Library_Level_Entity (Defining_Entity (Context)) then
@@ -1121,14 +1126,15 @@ package body SPARK_Specific is
                   Context := Parent (Context);
                end if;
 
-            when N_Entry_Body                 |
-                 N_Entry_Declaration          |
-                 N_Protected_Type_Declaration |
-                 N_Subprogram_Body            |
-                 N_Subprogram_Declaration     |
-                 N_Subprogram_Specification   |
-                 N_Task_Body                  |
-                 N_Task_Type_Declaration      =>
+            when N_Entry_Body
+               | N_Entry_Declaration
+               | N_Protected_Type_Declaration
+               | N_Subprogram_Body
+               | N_Subprogram_Declaration
+               | N_Subprogram_Specification
+               | N_Task_Body
+               | N_Task_Type_Declaration
+            =>
                Context := Defining_Entity (Context);
                exit;
 
@@ -1317,8 +1323,9 @@ package body SPARK_Specific is
                   Traverse_Protected_Body (Get_Body_From_Stub (N));
                end if;
 
-            when N_Protected_Type_Declaration   |
-                 N_Single_Protected_Declaration =>
+            when N_Protected_Type_Declaration
+               | N_Single_Protected_Declaration
+            =>
                Traverse_Visible_And_Private_Parts (Protected_Definition (N));
 
             when N_Task_Definition =>