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 directives which do the same thing. So, what should we do? Does anybody else have an opinion here? I'm willing to go with the majority here. Thomas