gimplify_parameters

[Richard Kenner]

    Any chance someone could isolate a minimal version of the Ada case?

Sure.  You need two files, though.  tbg1220.ads is

package Tbg1220 is
   function Foo return Integer;
   pragma Import (C, Foo);

   type R is record
      F1: String (1..Foo);
      F2: Integer;
   end record;

   function Bar (X: R) return Integer;
end Tbg1220;

and tbg1220.adb is

package body Tbg1220 is
   function Bar (X: R) return Integer is
   begin
      return X.F2;
   end Bar;
end Tbg1220;