[LLVMbugs] [Bug 1981] New: Objects of arbitrary type can be bitfields

[bugzilla-daemon at cs.uiuc.edu]

http://llvm.org/bugs/show_bug.cgi?id=1981

           Summary: Objects of arbitrary type can be bitfields
           Product: new-bugs
           Version: unspecified
          Platform: Other
        OS/Version: Linux
            Status: NEW
          Severity: enhancement
          Priority: P2
         Component: new bugs
        AssignedTo: unassignedbugs at nondot.org
        ReportedBy: baldrick at free.fr
                CC: llvmbugs at cs.uiuc.edu


The Ada front-end expects the back-end to handle bitfields of
arbitrary type.  In the following example, a bitfield of struct type:

package Bit_Struct is
   type R is record
      A : Integer;
      B : String (1 .. 3);
   end record;

   type S is record
      An_R : R;
   end record;
   for S use record
      An_R at 0 range 4 .. 60;
   end record;

   An_S : constant S := (An_R => (A => 0, B => "Yo!"));
end;


-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.