C99, "Malgré le nom, une directive non-directive est une directive de pré-traitement."

Question

Que signifie la note de bas de page citée dans le titre? Il est une note relative à 6.10.3p11

S'il y a des séquences de jetons de pré-traitement dans la liste des arguments qui seraient autrement agir comme directives de pré-traitement, ¹⁴⁷⁾ le comportement est indéfini.

j'ai vérifié et trouvé

Une directive de pré-traitement consiste en une séquence de jetons de pré-traitement qui commence par un jeton # de pré-traitement que ...

et je n'ai pas trouvé le non-directive non-terminal correspondant à cette syntaxe. Il peut, mais ne doit pas, commencer par un jeton de prétraitement #. Donc ne devrions-nous pas dire ce qui suit?

"Malgré le nom, une directive de pré-traitement est non directive."

De plus, quel est le but de cette note de bas de page?

Answer 1

Voir http://www.open-std.org/jtc1/sc22/wg14/www/docs/dr_250.htm Il est à préciser que

#define nothing(x) // Nothing /* Case 1 */ 
nothing (
#nonstandard 
) 

est UB.

Answer 2

Ma copie de C99 n'a pas cette note (il est l'original - avez-vous une avec des corrections TR appliquées) mais je pense que l'idée est que si vous avez

# non-directive 

dans un argument macro liste, c'est toujours un comportement indéfini.

Il aurait été préférable de faire la < production non directive > comprennent la #, je pense, ce serait simplifier 6.10p3,4 ainsi que la suppression de cette confusion.