Bug 2010 – The Ada f-e generates bogus records for descendants of tagged types with a variant part (ACATS c393010)

Bug 2010 - The Ada f-e generates bogus records for descendants of tagged types with a variant part (ACATS c393010)

Summary:

The Ada f-e generates bogus records for descendants of tagged types with a va...

Status:	NEW

Product:	tools
Classification:	Unclassified
Component:	gnat
Version:	trunk
Platform:	Other Linux

Importance:	P enhancement
Assigned To:	Unassigned LLVM Bugs

URL:
Keywords:

Depends on:
Blocks:
	Show dependency tree / graph

Reported:	2008-02-10 07:33 CST by Duncan Sands
Modified:	2010-02-22 12:55 CST (History)
CC List:	1 user (show)

See Also:

Attachments
testcase .ads (540 bytes, text/plain) 2008-02-10 07:33 CST, Duncan Sands	Details
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.

Description Duncan Sands 2008-02-10 07:33:20 CST

Created attachment 1393 [details]
testcase .ads

The problem occurs when a child type, due to a discriminant
constraint, does not have all the fields of the parent.  The
f-e nonetheless generates the non-present fields in the child
record type even if they are off the end of the record (this
causes llvm-gcc to abort).  See attached testcase.