commitmsg

   1 Release coccinelle-0.1.7
   2
   3 ** Language:
   4    - initialize and finalize script code, cf demos/initial_final.cocci
   5
   6 ** Features:
   7    - -iso_limit option to limit the depth of isomorphism application
   8    - with the dir option, the include path is implicitly set to the "include"
   9      subdirectory of the specified directory, if the option -I is not used.
  10    - give a seed for the name of a fresh identifier
  11    - better handling of cpp "constructed" identifiers as in a##b, that in
  12      the futur will make it easier to match over those idents.
  13      cf tests/pb_parsing_macro.c. Thanks to Ali-Erdem Ozcan for pointing
  14      out the problem. A new "parsing hack hint" is also available:
  15      YACFE_IDENT_BUILDER, cf standard.h.
  16
  17 ** Bugfix:
  18    - drop excessive "optimization" in ctl generation for while and for loops
  19    - allow . as the name of the directory
  20    - for type inference for an assignment, take the type of the right-hand
  21      side expression, not the type of the assigned variable
  22    - allow for with a declartion in the first header element, as in C++
  23      (partial support)
  24    - allow for matching against variable declarations that include only
  25      storage, eg static, but no type at all.
  26    - allow for matching against types that contain both short/long and int
  27    - allow the type metavariable in the SmPL code "unsigned T" to match a T
  28      that is a type consisting of more than one word, eg long int.
  29    - -ifdef_to_if option made to process nested ifdefs
  30      (partial support)
  31
  32 ** Internals:
  33    - improve and fix installation process (usable on BSD)
  34    - improve and fix testing process
  35    - apply patches from Eugeniy Meshcheryakov
  36    - reorganize the way we parse C identifiers, especially concatenated cpp
  37      identifiers as in a##b. This may lead to some regressions as we may
  38      not parse as much code as before.
  39    - removed popl/ and popl09/ and popl related stuff from official distrib.