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 option so the user has to specify that
he really means it?
Well, it is difficult to write accidentally
!GCC$ attributes NO_ARG_CHECKS :: args
Additionally, for the purpose of libraries - such as MPI, it makes sense
to disable the TKR check without requiring the users to always compile
their programs with special options.
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.?
OK with this change; also OK if other people think that requiring
such an option is a Bad Idea.
Tobias
