,.,. C45342A ACATS 2.5 06-01-10 12:41:40
---- C45342A CHECK THAT CATENATION OF NON-NULL OPERANDS YIELDS CORRECT
RESULT WITH CORRECT BOUNDS.
raised CONSTRAINT_ERROR : c45342a.adb:83 length check failed
,.,. C52102B ACATS 2.5 06-01-10 12:43:29
---- C52102B CHECK THAT THE ASSIGNMENT OF OVERLAPPING SOURCE AND TARGET
VARIABLES (INCLUDING ARRAYS AND SLICES IN VARIOUS
COMBINATIONS) SATISFIES THE SEMANTICS OF "COPY"
ASSIGNMENT (PART 2: DYNAMIC BOUNDS).
raised CONSTRAINT_ERROR : c52102b.adb:114 length check failed
,.,. C52102D ACATS 2.5 06-01-10 12:43:34
---- C52102D CHECK THAT THE ASSIGNMENT OF OVERLAPPING SOURCE AND TARGET
VARIABLES (INCLUDING ARRAYS AND SLICES IN VARIOUS
COMBINATIONS) SATISFIES THE SEMANTICS OF "COPY"
ASSIGNMENT WHEN INITIAL ASSIGNMENT VALUES ARE DYNAMIC
(PART 2: DYNAMIC BOUNDS).
raised CONSTRAINT_ERROR : c52102d.adb:122 length check failed
--
Summary: ACATS tests c45342a, c52102b and c52102d fail with
struct aliasing enabled
Product: gcc
Version: 4.2.0
Status: UNCONFIRMED
Keywords: wrong-code
Severity: normal
Priority: P3
Component: tree-optimization
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: rguenth at gcc dot gnu dot org
GCC target triplet: x86_64-*-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25736
