[Bug fortran/54667] [OOP] gimplification failure with c_f_pointer
abensonca at gmail dot com
gcc-bugzilla@gcc.gnu.org
Sat Sep 22 16:59:00 GMT 2012
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54667
--- Comment #7 from Andrew Benson <abensonca at gmail dot com> 2012-09-22 16:59:26 UTC ---
(In reply to comment #3)
> (In reply to comment #2)
> > While it would be nontrivial to fully enforce these constraints by a runtime
> > check, I think they might effectively mean that FPTR must not be polymorphic:
> > In the second case this constraint is spelled out explicitly, and the first
> > case demands that FPTR shall be interoperable. But polymorphic objects are by
> > definition not interoperable.
>
> Note that there are similar constraints on the argument of C_LOC, where we
> completely reject any polymorphic entities (cf. PR 44925):
>
> cSelf = c_loc (self)
> 1
> Error: Parameter 'self' to 'c_loc' at (1) must not be polymorphic
>
>
> I would conclude that this PR should actually be classified as ICE-on-invalid,
> and we should reject the polymorphic argument to C_F_POINTER.
>
> Andrew, have you tried your test case with any other compilers?
The only other compiler I have access to is ifort 11.1 (which also accepts it),
so that doesn't add much unfortunately.
More information about the Gcc-bugs
mailing list