AdLint full changelog

lib/adlint/cpp/macro.rb : Revise behavior of function-like macro replacement in order to enforce the replacement even if the number of arguments is less than the number of parameters.
features/code_check/W0830.feature : Ditto.

Fix the type and object model in order to correctly manage unnamed
struct or union members.
Add examination package initializer.
Revise behavior of the CMA code structure collection so that an optional examination package can output its own special met-records.

Add new templates for MSVC100 (Visual C++ 2010) as a C compiler on 32bit Windows.

Fix preprocessor in order not to abend when a function-like macro generates a hexadecimal integer-constant from standalone prefix and number by the concatenation operator.

Fix incomplete expression-constancy check under the constraits of ISO C99 standard.
Clip code-exam passivation feature into Examination::Passivation module in order to easily create passive code-exam classes.
Revise the interpreter interface in order to make evaluation modes of notification and side-effects suppression are orthogonal.
Add predicate method Type#named? which indicates whether a type has been declared with a tag or not.
Add patch of identifier to typedef-name translation mode in order not to abend when multiple typedefed types of struct/union/enum is redeclared in a single typedef declaration again.
Fix typo in C0001 message text.
Fix pattern matchig algorithm of the token substitution feature so that the pattern `{ __adlint__any }' can match with both `{}' and `{ ... }'.
Fix group skip logic of the preprocessor in order to treat string-literals and character-constants in the skipping group correctly.

· Support experimental context-tracing feature so that the warning message can be complemented with the context messages

· Add missing comment handling in the initial state of the preprocessing lexer.
· Fix incomplete identifier to typedef name translation when the declaring enumerator name is conflicting with the prior typedef name.
· Fix evaluation of the global constant variable definition in order not to ignore value of the initializer.
· Revise pointer dereferencing behavior to successfully dereference a pointer only when the value of pointer variable is definite.
· Improve heuristics of array subscript evaluation with indefinite subscript.
· Fix controlling-expression deduction of iteration-statements in order to adopt the ordinary expression when no control breaking condition is found in the iteration body.
· Remove unnecessary controlling expression evaluation at entering a do-statement.
· Fix value-domain thinning condition to thin domains discarded by a break-statement in the iteration.
· Fix bypassing inner-variable's value mutation in order to correctly propagate mutation to the outer-variabl

· Fix abend problem of preprocessor when a block comment is not terminated in the translation-unit.
· Fix block comment handling in order not to dive into nested part when a single slash character appears before the comment terminator.
· Fix infinite-loop problem of preprocessor when the #include directive appears with undefined macro.
· Fix bad expression-constancy check in order to treat an expression derives an address-constant as a constant-expression.
· Fix bad variable defining behavior in order to correctly evaluate sizeof-expression that refers defining variable in the initializer.
· Revise specification of W0642 code check in order to warn about all the illegal address derivation from the object declared as `register'.
· Fix abend problem in parsing unnamed bit-field declaration.
· Fix W0786 code check in order not to warn when a typedefed type which is same as signed or unsigned int is specified as a base of the bit-field.

· Fix abend problem of adlint_chk command.

· Support pathname based code-exam selection.
· Improve performance of code-exams.
· Add ad-hoc traits schema migration for 3.0.0 release.
· Support message-class based code-check selection.
· Support annotation based message suppression.
· Fix traits object freezing in order not to over-freeze memorizing objects.
· Rename `individual_selection' item in the traits file to`individual_suppression'.
· Fix sma-time annotation parser in order to correctly evaluate suppression specifiers including new-line characters.
· Fix cma-time annotation parser in order to correctly evaluate suppression specifiers including new-line characters.
· Fix cma-time annotation parser in order to handle the location of each annotation correctly.
· Add new field indicates whether the function is declared implicitly or explicitly to DCL(F) record of the metrics file.
· Fix bad output validation that lines of the analysis result is fewer than one of the specification.