gcc/testsuite/gnat.dg/case_optimization2.adb

   1 -- PR ada/43106
   2 -- Testcase by Bill Neven <neven@hitt.nl>
   3
   4 -- { dg-do run }
   5 -- { dg-options "-O" }
   6
   7 with Case_Optimization_Pkg2; use Case_Optimization_Pkg2;
   8
   9 procedure Case_Optimization2 is
  10    Radar : Radar_T;
  11 begin
  12    Radar.Sensor_Type := radcmb;
  13    Initialize (Radar);
  14 end;