(j3.2006) Binding label consistency in module procedures

[Lionel, Steve]

Consider:

 

module U610575A

interface

module subroutine sub1 () bind(C,name='SUB1')

end subroutine sub1

end interface

end module U610575A

 

submodule(U610575A) U610575AS

contains

module subroutine sub1 () bind(C,name='NOTSUB1')

end subroutine sub1

end submodule U610575AS

 

The standard says (F2008 12.4.3.2p7) for a specific interface that "the
characteristics shall be consistent with those specified in the procedure
definition.". However, the list of procedure characteristics (12.3.1)
includes only "whether it has the BIND attribute" and not the value of NAME=
in a language-binding-spec.

 

I don't want to see the standard trying to enforce binding label consistency
in general, but I wondered if submodules should be a special case. If a
program tried to call sub1, it would probably fail to link because of the
name mismatch. Thoughts?

 

Steve Lionel

Intel Developer Support

Merrimack, NH

 

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.j3-fortran.org/pipermail/j3/attachments/20160523/4206f06f/attachment.html 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 6616 bytes
Desc: not available
Url : http://mailman.j3-fortran.org/pipermail/j3/attachments/20160523/4206f06f/attachment.bin