https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68560
--- Comment #7 from Dominique d'Humieres <dominiq at lps dot ens.fr> --- > In this case, the argument _is_ present, so it's not removed in the procedure > declaration. This seems to be done on purpose (grep for ignore_optional) but > I > must admit that I don't understand why. Indeed I have seen 'ignore_optional', but I did not understand what it was supposed to do (as in "don't emit it").
