PR target/84336
[official-gcc.git] / gcc / testsuite / gnat.dg / lto1_pkg.adb
blob99955a87426a90b3870f68f1d2f1877afcd355dd
1 package body Lto1_Pkg is
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;
23 end Lto1_Pkg;