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