Description renegat.nospam 2011-08-11 17:00:13 EDT

Build Identifier: 20110615-0604

Description:

CDT macro expansion for non-standard token pasting incompatible with MS Windows WDK headers

Example:

  #define foo(x) (## x)
  void test foo(void);

The CDT parser generates the annotation 'Invalid use of macro pasting in macro: foo' for the expression "foo(void)" and expands the 
expression to ")". The annotation is ok, but the result of the expansion should be "(x)" for compatibility reasons:

The 'Windows Driver Kit 7.1.0' uses this non-standard token pasting in file "inc/api/DriverSpecs.h" (function annotations for static code analysis). Except those non-standard macro expansions the CDT parser is 100% compatible with the driver kit headers.

Behaviour of some compilers for this 'non-standard' macro pasting:

  - GNU gcc generates an error: pasting "(" and "void" does not give a valid
    preprocessing token

  - Intel icc emits a warning and expands "foo(void)" to "(void)"

  - Microsoft cl does not complain about it and expands it either to "(void)"

Bugfix: the CDT parser should expand the expression "(## x)" in a macro expansion to "(x)" instead of ")"

Reproducible: Always