A implementação do GCC de colchetes angulares inclui. Por que tem que ser como descrito abaixo?

Este documento em sua seção 2.6 Inclui computados possui o seguinte parágrafo:

Se a linha se expandir para um fluxo de token começando com um token <e incluindo um>, os tokens entre o <e o primeiro> serão combinados para formar o nome do arquivo a ser incluído. Qualquer espaço em branco entre os tokens é reduzido para um único espaço; qualquer espaço após o inicial <é retido, mas um espaço à direita antes do fechamento> é ignorado . O CPP procura o arquivo de acordo com as regras para colchetes angulares.

Eu sei que isso é uma implementação definida, mas por que tem que ser assim para o GCC? Estou me referindo especificamente à frase destacada acima.

EDITAR

Acabei de notar que o terceiro parágrafo anterior ao citado acima diz o seguinte:

Você deve ter cuidado ao definir a macro. #definesalva tokens, não texto. O pré-processador não tem como saber que a macro será usada como argumento de #include, portanto, gera tokens comuns, não um nome de cabeçalho. É improvável que cause problemas se você incluir aspas duplas, que são próximas o suficiente para constantes de seqüência de caracteres. Se você usar colchetes angulares, no entanto, poderá ter problemas .

Alguém sabe que tipo de problema está sendo apontado aqui?

Eu acho que o implementador escolheu a maneira mais simples quando implementou essa funcionalidade, sem pensar muito.

Parece que a implementação inicial chegou em 2000-07-03 (duas décadas atrás!). A parte relevante se parece com ( fonte ):

  for (;;)
    {
      t = cpp_get_token (pfile);
      if (t->type == CPP_GREATER || t->type == CPP_EOF)
        break;

      CPP_RESERVE (pfile, TOKEN_LEN (t));
      if (t->flags & PREV_WHITE)
        CPP_PUTC_Q (pfile, ' ');
      pfile->limit = spell_token (pfile, t, pfile->limit);
    }

Notavelmente, ele ocorre quando vê o CPP_GREATERtoken (ou seja >), antes de reservar memória para o token. Isso faz sentido, pois não há necessidade de alocar memória quando o token não será gravado no buffer.

Então, somente após a memória ser reservada, o pré-processador verifica se o token possui espaço em branco anterior ( t->flags & PREV_WHITE) e, quando possui, grava um caractere de espaço em branco no buffer.

Como resultado, em < foo / bar >, somente os espaços em branco antes foo(ou seja, após a inicial <) /, e barsão mantidos.