------- Comment #2 from burnus at gcc dot gnu dot org 2009-06-15 22:40 ------- Also for OPTIONAL a suitable error message would be useful. For finding a specific interface, the OPTIONAL attribute could be ignored similarly to INTENT; however, one needs to be careful as for ambiguity checks and if the actual argument is not present, the OPTIONAL is still relevant.
PURE is another item which should be checked, which is simpler, however. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=40276
