[Bug tree-optimization/25736] New: ACATS tests c45342a, c52102b and c52102d fail with struct aliasing enabled

[rguenth at gcc dot gnu dot org]

,.,. 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