gcc/testsuite/gnat.dg/case_optimization_pkg2.adb

   1 package body Case_Optimization_Pkg2 is
   2
   3   procedure Initialize (Radar : in Radar_T) is
   4     Antenna1 : Antenna_Type_T;
   5     Antenna2 : Antenna_Type_T;
   6   begin
   7     case Radar.Sensor_Type is
   8       when radpr | radssr =>
   9         Antenna1 := Radar.Sensor_Type;
  10         Antenna2 := Radar.Sensor_Type;
  11       when radcmb =>
  12         Antenna1 := radpr;
  13         Antenna2 := radssr;
  14       when others =>
  15         Antenna1 := radpr;
  16         Antenna2 := radssr;
  17     end case;
  18     if Antenna1 /= radpr or Antenna2 /= radssr then
  19       raise Program_Error;
  20     end if;
  21   end Initialize;
  22
  23 end Case_Optimization_Pkg2;