Re: [Patch, Fortran] PR39505 - add support for !GCC$ attributes NO_ARG_CHECK

2013-04-17 Thread Tobias Burnus
Thomas Koenig wrote: Is my -f(no-)directives patch okay? Or do you envision something else? In principle, it is OK; the only question is what the default should be :-) I am in favor of "on". For OpenMP, we require an option to change the semantics of a program based on special comments. C

Re: [Patch, Fortran] PR39505 - add support for !GCC$ attributes NO_ARG_CHECK

2013-04-17 Thread Thomas Koenig
Hi Tobias, Is my -f(no-)directives patch okay? Or do you envision something else? In principle, it is OK; the only question is what the default should be :-) For OpenMP, we require an option to change the semantics of a program based on special comments. Currently, we do not do so for direct

Re: [Patch, Fortran] PR39505 - add support for !GCC$ attributes NO_ARG_CHECK

2013-04-16 Thread Tobias Burnus
Tobias Burnus wrote: Can you put this behind an option so the user has to specify that he really means it? Regarding an option: Would be -f(no-)directives (with default = on) a suitable option, which also affects the other !GCC$ attributes, such as dllexport etc.? Namely, the attached patch?

Re: [Patch, Fortran] PR39505 - add support for !GCC$ attributes NO_ARG_CHECK

2013-04-15 Thread Tobias Burnus
Tobias Burnus wrote: Am 15.04.2013 23:03, schrieb Thomas Koenig: I see that it can be useful, but I really dislike disabling the TKR checks. Side remark: TS29113 already allows to disable TK checks via TYPE(*). And I find disabling TRK checks very useful for certain applications - and MPI bu

Re: [Patch, Fortran] PR39505 - add support for !GCC$ attributes NO_ARG_CHECK

2013-04-15 Thread Tobias Burnus
Am 15.04.2013 23:03, schrieb Thomas Koenig: Hi Tobias, Minor patch update due to Janus' gfc_explicit_interface_required patch. Build and regtested on x86-64-gnu-linux. OK for the trunk? I see that it can be useful, but I really dislike disabling the TKR checks. Can you put this behind an opt

Re: [Patch, Fortran] PR39505 - add support for !GCC$ attributes NO_ARG_CHECK

2013-04-15 Thread Thomas Koenig
Hi Tobias, Minor patch update due to Janus' gfc_explicit_interface_required patch. Build and regtested on x86-64-gnu-linux. OK for the trunk? I see that it can be useful, but I really dislike disabling the TKR checks. Can you put this behind an option so the user has to specify that he reall

*ping* - Re: [Patch, Fortran] PR39505 - add support for !GCC$ attributes NO_ARG_CHECK

2013-04-14 Thread Tobias Burnus
Early *ping*. For a usage, see for instance Open MPI, which since 1.7.0 uses it. From their trunk version: http://svn.open-mpi.org/svn/ompi/trunk/config/ompi_fortran_check_ignore_tkr.m4 http://svn.open-mpi.org/svn/ompi/trunk/ompi/mpi/fortran/use-mpi-ignore-tkr/mpi-ignore-tkr-interfaces.h.in To

Re: [Patch, Fortran] PR39505 - add support for !GCC$ attributes NO_ARG_CHECK

2013-04-12 Thread Tobias Burnus
Minor patch update due to Janus' gfc_explicit_interface_required patch. Build and regtested on x86-64-gnu-linux. OK for the trunk? Tobias Tobias Burnus wrote: Minor patch update: - Changed FAILURE to false due to Janne's patch - Removed a left-over #if 0 debug code Tobias Burnus wrote: Many

Re: [Patch, Fortran] PR39505 - add support for !GCC$ attributes NO_ARG_CHECK

2013-04-11 Thread Tobias Burnus
Minor patch update: - Changed FAILURE to false due to Janne's patch - Removed a left-over #if 0 debug code Tobias Burnus wrote: Many compilers have some pragma or directive to disable the type, kind and rank (TKR) checks. That feature matches C's "void*" pointer and can be used in conjunction w