Related to PR 49232 (compile-time check) and PR 45424 (is_contiguous intrinsic, of interest is the trans-intrinsic.c part).
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. "18.104.22.168 Data pointer assignment" in the Fortran 2008 standard.) But that's not a constraint and thus needs to be checked at run time.
Duplicate or pr49232?