[Bug fortran/33906] New: -fshape-check

[toon at moene dot indiv dot nluug dot nl]

Sometimes, when an array bounds overrun is detected, it is actually due to a
shape mismatch between arrays in an expression / assignment.

Fortran 2003, 7.1.5: "For all elemental binary operations, the two operands
shall be in shape conformance" ... and mutatis mutandis for more complex
expressions.

The constraints on assignment are in 7.4.1.2.

Because it's much cheaper to check for shape conformance violation than for
array bound overruns, it might be useful to add an optional check for this.


-- 
           Summary: -fshape-check
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: enhancement
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: toon at moene dot indiv dot nluug dot nl


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33906