http://gcc.gnu.org/bugzilla/show_bug.cgi?id=53320
Bug #: 53320
Summary: -fcheck=pointer should diagnose pointer-assignment of
a noncontiguous tgt to a CONTIGUOUS ptr
Classification: Unclassified
Product: gcc
Version: 4.8.0
Status: UNCONFIRMED
Keywords: diagnostic
Severity: normal
Priority: P3
Component: fortran
AssignedTo: unassig...@gcc.gnu.org
ReportedBy: bur...@gcc.gnu.org
Depends on: 45424
Related to PR 49232 (compile-time check) and PR 45424 (is_contiguous intrinsic,
of interest is the trans-intrinsic.c part).
For:
integer, pointer, CONTIGUOUS :: ptr
ptr => target
-fcheck=pointer should check whether the RHS is contiguous.
The standard demands: "If the pointer object has the CONTIGUOUS attribute, the
pointer target shall be contiguous." (Cf. "7.2.2.3 Data pointer assignment" in
the Fortran 2008 standard.) But that's not a constraint and thus needs to be
checked at run time.
