diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/lto1_pkg.adb')
-rw-r--r-- | gcc/testsuite/gnat.dg/lto1_pkg.adb | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/lto1_pkg.adb b/gcc/testsuite/gnat.dg/lto1_pkg.adb new file mode 100644 index 0000000..99955a8 --- /dev/null +++ b/gcc/testsuite/gnat.dg/lto1_pkg.adb @@ -0,0 +1,23 @@ +package body Lto1_Pkg is + + procedure Initialize (Radar : in Radar_T) is + Antenna1 : Antenna_Type_T; + Antenna2 : Antenna_Type_T; + begin + case Radar.Sensor_Type is + when radpr | radssr => + Antenna1 := Radar.Sensor_Type; + Antenna2 := Radar.Sensor_Type; + when radcmb => + Antenna1 := radpr; + Antenna2 := radssr; + when others => + Antenna1 := radpr; + Antenna2 := radssr; + end case; + if Antenna1 /= radpr or Antenna2 /= radssr then + raise Program_Error; + end if; + end Initialize; + +end Lto1_Pkg; |