adlint 1.0.0

data/ChangeLog

@@ -0,0 +1,820 @@
+2012-02-28  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.ga : 1.0.0
+	  - This is the initial GA release!
+	  - Fix traits file validation to allow only values greater than 0 as
+	    memory alignment items such as `char_alignment'.
+	  - Correct to run on Ruby 1.9.3-p125 without warnings.
+
+2012-02-22  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 0.6.8
+	  - Fix traits file validation to allow nil as `initial_header'.
+	  - Fix traits file validation to allow only a numerical value as
+	    numerical items such as `tab_width'.
+	  - Fix traits file validation to allow a value which is between 1 and
+	    256 as type-size items such as `char_size'.
+	  - Fix traits file validation to allow only true or false as boolean
+	    items such as `char_as_unsigned_char'.
+	  - Refine the message catalog for the locale `ja_JP' and `en_US'.
+	  - Update the user's guide in Japanese.
+	  - Update the user's guide in English.
+
+2012-02-21  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 0.6.7
+	  - Implement missing `traits file validation' feature.
+
+2012-02-20  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 0.6.6
+	  - Revise project_traits:coding_style specification.
+	  - Update the user's guide in Japanese.
+	  - Update the user's guide in English.
+
+2012-02-17  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 0.6.5
+	  - Update the user's guide in Japanese.
+	  - Update the user's guide in English.
+
+2012-02-16  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 0.6.4
+	  - Revise specification of W0534 detection to warn when the
+	    controlling variable is not initialized in the for-statement
+	    including when the initial-statement is empty.
+	  - Fix freeze problem of scanning string-literal which contains
+	    unescaped newline character.
+	  - Fix abend problem of evaluating an indirection-expression as the
+	    controlling expression of if-statement when the dereferencing
+	    function pointer points nothing.
+	  - Fix lack of variable definition records problem when the
+	    storage-class-specifier is `register' or `auto'.
+	  - Update the user's guide in Japanese.
+
+2012-02-10  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 0.6.3
+	  - Change gem packaging method.
+	  - Update the user's guide in Japanese.
+
+2012-02-08  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 0.6.2
+	  - Fix abend problem of evaluating the indirection-expression which
+	    makes a function object.
+
+2012-02-07  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 0.6.1
+	  - Fix lack of variable cross-ref records problem of the
+	    member-access-by-pointer-expression whose pointer variable is
+	    global.
+	  - Fix lack of variable cross-ref records problem of the
+	    array-subscript-expression whose value is of the global variable.
+	  - Fix W0055 detection not to count macro definitions in AdLint
+	    specific project's and compiler's initial headers.
+	  - Fix lack of variable cross-ref records problem when the inner
+	    variable of the global array or composite variable is accessed.
+	  - Fix unnecessary variable cross-ref records problem when the global
+	    variable definition whose initializer refers to other global
+	    variable appears after any function definitions.
+	  - Fix lack of variable cross-ref records problem when the global
+	    pointer variable is refered in the reassigning context.
+	  - Refine the message catalog for the locale `ja_JP'.
+	  - Refine the user's guide in Japanese.
+
+2012-02-06  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 0.6.0
+	  - This is the initial release candidate for 1.0.0 GA release.
+	  - Fix abend problem of the interpreter in evaluating an arithmetic
+	    operation with operands whose type has not been resolved.
+	  - Fix abend problem of the interpreter in evaluating a
+	    member-access-by-pointer-expression whose pointer points to an
+	    array object or nothing.
+	  - Fix incomplete variable name problem of the DEP record in the
+	    metrics file.
+	  - Update the user's guide in Japanese.
+	  - Update the user's guide in English.
+
+2012-02-01  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.beta : 0.5.15
+	  - Fix degraded W0031 detection.
+	  - Fix bad value domain of an arbitrary value of the floating type
+	    family.
+	  - Update the user's guide in Japanese.
+
+2012-01-30  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.beta : 0.5.14
+	  - Fix bootstrap error messages not to contain full pathname of the
+	    command.
+	  - Fix off-by-one problems in W0055 detection.
+	  - Fix W0440 detection to warn at the closing brace.
+	  - Fix bad macro expansion problem of the function-like macro whose
+	    replacement-list contains consecutive `## #' operators.
+	  - Fix abend problem of W0031 detection when the initializer of the
+	    global variable definition refers to other variables.
+	  - Fix abend problem of W0102 detection when the initializer of the
+	    global variable definition refers to other variables.
+	  - Fix abend problem of W0104 detection when the initializer of the
+	    global variable definition updates value of other variables.
+	  - Fix abend problem of W0105 detection when the initializer of the
+	    global variable definition contains indirection-expressions.
+	  - Fix abend problem of W0580 detection when the initializer of the
+	    global variable definition contains assignment-expressions.
+	  - Fix W0457 and W0458 detection to correctly warn about implicitly
+	    typed function-declarations, parameter-definitions and
+	    variable-definitions.
+	  - Update the user's guide in Japanese.
+
+2012-01-26  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.beta : 0.5.13
+	  - Fix adlintize command to output files with UTF-8 encoding.
+	  - Clarify the error message when adlint, adlint_sma, adlint_cma and
+	    adlint_chk commands failed to parse the traits file.
+	  - Fix W0072, W0574, W0575 and W0576 detection to correctly warn when
+	    the `file_encoding' is "binary" or omitted.
+	  - Add usage description of `verbose-cma-only' target to the
+	    adlintized GNUmakefile.
+	  - Implement missing `change_list' feature.
+
+2012-01-25  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.beta : 0.5.12
+	  - Fix abend problem when the `file_encoding' is "binary" or omitted
+	    and messages are not able to be converted into the default external
+	    encoding.
+	  - Change adlintized default `file_encoding' to be omitted (equivalent
+	    to "binary") from "utf-8".
+	  - Fix macro replacement algorithm to correctly manage the hide set
+	    and to support the rescanning.
+	  - Fix abend problem when the pathname of the target source file
+	    contains Japanese characters.
+	  - Update the user's guide in English.
+
+2012-01-20  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.beta : 0.5.11
+	  - Fix bad lexing problem when an escaped newline appears at the line
+	    above a preprocessing directive line.
+	  - Fix gcc profile to emulate the __builtin_va_* functions.
+
+2012-01-19  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.beta : 0.5.10
+	  - Add i686-mingw-gcc_4.6.1 profile.
+	  - Fix abend problem of W0108 and W0580 detection when the initializer
+	    of the global variable definition contains indirection-expressions.
+
+2012-01-17  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.beta : 0.5.9
+	  - Fix W0061 detection not to include newline characters in the
+	    ignoring tokens of the message text.
+	  - Fix bad token substitution problem when the substitutive pattern is
+	    at end of the translation-unit.
+	  - Add `verbose-cma-only' target to the adlintized GNUmakefile.
+	  - Fix W0586 message duplication.
+	  - Fix duplication of messages about the preprocessing phase.
+	  - Update the user's guide in Japanese.
+	  - Update the user's guide in English.
+
+2012-01-16  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.beta : 0.5.8
+	  - Fix message duplication problem after improving the memory usage on
+	    0.5.7 release.
+	  - Correct to run on Ruby 1.9.3-p0 without warnings.
+
+2012-01-12  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.beta : 0.5.7
+	  - Improve the memory usage.
+	  - Fix bad macro expansion problem of the function-like macro when two
+	    or more function-like macro calls are in the same line and the last
+	    call ends at the next line.
+	  - Update the user's guide in Japanese.
+
+2012-01-06  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.beta : 0.5.6
+	  - Fix W0553 detection to warn about the explicit conversion between
+	    function pointers of different types.
+	  - Fix W0578 detection to warn when the `integer conversion rank' of
+	    the conversion destination type is greater than the one of the
+	    conversion source type.
+	  - Improve performance of the C parser.
+	  - Fix huge memory consumption problem in evaluating the initializer
+	    of a huge array variable.
+	  - Fix bad pointer dereference problem that the indirection-expression
+	    makes an object whose type is incompatible to the type of the
+	    expression.
+	  - Fix bad macro expansion problem of the function-like macro whose
+	    name is used by other identifiers.
+	  - Update the user's guide in Japanese.
+	  - Update the user's guide in English.
+
+2011-12-22  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.beta : 0.5.5
+	  - Fix the interpreter not to perform the implicit conversion when it
+	    is unnecessary.
+	  - Fix W0578 detection not to warn when the destination type of the
+	    conversion is smaller than the source type.
+	  - Refine the message catalog for the locale `en_US'.
+
+2011-12-20  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.beta : 0.5.4
+	  - Fix W0036 detection to check the total count of
+	    pointer-declarators, array-declarators and function-declarators.
+	  - Fix degraded W0949 detection.
+	  - Fix preprocessor to end the nested block comment at the first `*/'
+	    token.
+	  - Fix W0043 detection not to misunderstand the number of initial
+	    values when the initializer contains useless braces.
+	  - Fix W0108 detection to warn when the value of the
+	    assignment-expression is directly used by the upper logical
+	    operation.
+	  - Fix W0446 detection to warn when the value of the
+	    assignment-expression is directly used by the upper arithmetic or
+	    assignment operation.
+	  - Fix W0575 detection to warn when the invalid string literal is
+	    found in the macro definition.
+	  - Update the user's guide in Japanese.
+	  - Add the user's guide in English.
+
+2011-12-16  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.beta : 0.5.3
+	  - Unify W0093 and W0094 detection into W0093.
+	  - Unify W0460 and W0463 detection into W0460.
+	  - Unify W0462 and W0464 detection into W0462.
+	  - Add `-p' option to `adlint', `adlint_sma' and `adlint_chk' command
+	    to analyze without overwriting result files when same basenames in
+	    the target source files.
+
+2011-12-13  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.beta : 0.5.2
+	  - Improve adlintize command to automatically detect the message
+	    language.
+	  - Fix W0796 detection not to warn when the callee function has
+	    variable arguments.
+	  - Fix W0479 detection to warn only when the replacement-list seems
+	    like specifier-qualifier-list which consists of two or more tokens.
+	  - Correct to run on Ruby 1.9.3-p0 and JRuby 1.6.5 without warnings.
+	  - Fix W1027, W1028 and W1029 detection to check both definitions and
+	    declarations of variables.
+	  - Update the user's guide.
+	  - Refine the message catalog for the locale `en_US'.
+
+2011-12-09  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.beta : 0.5.0
+	  - This is the initial beta release for system tests and various
+	    reviews.
+	  - Add W0795 detection.
+	  - Add W0796 detection.
+	  - Add W0797 detection.
+	  - Add W0581 detection.
+	  - Add W0582 detection.
+	  - Add W0583 detection.
+	  - Add W0584 detection.
+	  - Add W0654 detection.
+	  - Fix W0653 detection not to warn the unsurrounded initializer with
+	    the variable of the same type.
+	  - Fix W0744 detection to warn when the constant expression as the
+	    controlling expression of the while-statement always makes false.
+	  - Fix W0534, W0585 and W0708 detection not to fail to deduct the
+	    controlling variable in the for-statement.
+	  - Add W1029 detection.
+	  - Add W1027 detection.
+	  - Add W1028 detection.
+	  - Add W0798 detection.
+	  - Fix W0019, W0021, W0067, W0105, W0461, W0462, W0464, W0544, W0553,
+	    W0565, W0566 and W0567 detection not to mishandle the base type of
+	    the pointer type which is cv-qualified.
+	  - Add W0799 detection.
+	  - Add W0800 detection.
+	  - Change the default locale of messages to `en_US' from `ja_JP'.
+	  - Add W0785 detection.
+	  - Fix W0101 detection not to warn when a pointer to the function
+	    scope static variable is assigned to the pointer variable defined
+	    at upper scope.
+	  - Fix W0102 detection not to warn when a pointer to the function
+	    scope static variable is assigned to the pointer parameter.
+	  - Add W0580 detection.
+	  - Add W1032 detection.
+	  - Add W1034 detection.
+	  - Add W0810 detection.
+	* release.beta : 0.5.1
+	  - Fix bad macro expansion problem of the function-like macro whose
+	    replacement-list contains the token sequence consists of the
+	    parameter followed by ## operator.
+
+2011-12-06  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.4.11
+	  - Fix W0656 detection to warn when the conversion specifier
+	    character of the conversion specifier is undefined in the ISO C99
+	    and when the conversion specifier character is valid but the whole
+	    conversion specifier is illformed.
+	  - Fix W0673 detection to warn when the conversion specifier
+	    character of the conversion specifier is undefined in the ISO C99
+	    and when the conversion specifier character is valid but the whole
+	    conversion specifier is illformed.
+	  - Fix W0534 detection to improve the accuracy of the controlling
+	    variable deduction.
+	  - Fix W0708 detection to improve the accuracy of the controlling
+	    variable deduction.
+	  - Add W0585 detection.
+	  - Fix W0704 detection not to warn about two or more declarations or
+	    definitions of the same object.
+	  - Add W0790 detection.
+	  - Add W0744 detection.
+	  - Add W0478 detection.
+	  - Add W0480 detection.
+	  - Add W0481 detection.
+	  - Improve interpretation of iteration-statements to manage the value
+	    domain of the controlling variable more correctly than 0.4.9
+	    release by considering the initial value of the controlling
+	    variable.
+	  - Add W0622 detection.
+	  - Add W0623 detection.
+	  - Fix W0088 detection to warn about only the outmost logical
+	    expression and to warn at the location of the logical operator.
+	  - Add W1031 detection.
+	  - Add W0653 detection.
+	  - Add W0827 detection.
+	  - Add W0828 detection.
+
+2011-12-01  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.4.10
+	  - Rewrite the incomplete printf/scanf format analysis to comply with
+	    the ISO C99 standard.
+	  - Add W0635 detection.
+	  - Add W0636 detection.
+	  - Add W0637 detection.
+	  - Add W0638 detection.
+	  - Add W0639 detection.
+	  - Add W0640 detection.
+	  - Fix W0705 detection not to warn when the constant subscript value
+	    is in the valid range.
+	  - Fix incomplete W0016 detection to comply with the ISO C99.
+	  - Fix incomplete W0017 detection to comply with the ISO C99.
+	  - Fix incomplete W0018 detection to comply with the ISO C99.
+	  - Fix incomplete W0656 detection to comply with the ISO C99.
+	  - Fix incomplete W0657 detection to comply with the ISO C99.
+	  - Fix incomplete W0658 detection to comply with the ISO C99.
+	  - Fix incomplete W0659 detection to comply with the ISO C99.
+	  - Fix incomplete W0660 detection to comply with the ISO C99.
+	  - Fix incomplete W0661 detection to comply with the ISO C99.
+	  - Fix incomplete W0662 detection to comply with the ISO C99.
+	  - Fix incomplete W0663 detection to comply with the ISO C99.
+	  - Fix incomplete W0664 detection to comply with the ISO C99.
+	  - Fix incomplete W0665 detection to comply with the ISO C99.
+	  - Fix incomplete W0666 detection to comply with the ISO C99.
+	  - Fix incomplete W0667 detection to comply with the ISO C99.
+	  - Fix incomplete W0668 detection to comply with the ISO C99.
+	  - Fix incomplete W0669 detection to comply with the ISO C99.
+	  - Fix incomplete W0670 detection to comply with the ISO C99.
+	  - Fix incomplete W0671 detection to comply with the ISO C99.
+	  - Fix incomplete W0672 detection to comply with the ISO C99.
+	  - Fix incomplete W0673 detection to comply with the ISO C99.
+	  - Fix incomplete W0674 detection to comply with the ISO C99.
+	  - Fix incomplete W0675 detection to comply with the ISO C99.
+	  - Fix incomplete W0676 detection to comply with the ISO C99.
+	  - Fix incomplete W0677 detection to comply with the ISO C99.
+	  - Fix incomplete W0678 detection to comply with the ISO C99.
+	  - Fix incomplete W0679 detection to comply with the ISO C99.
+	  - Fix incomplete W0680 detection to comply with the ISO C99.
+	  - Fix incomplete W0681 detection to comply with the ISO C99.
+	  - Fix incomplete W0682 detection to comply with the ISO C99.
+	  - Fix incomplete W0683 detection to comply with the ISO C99.
+	  - Fix incomplete W0684 detection to comply with the ISO C99.
+	  - Add the message catalog for the locale `en_US'.
+
+2011-11-18  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.4.9
+	  - Improve interpretation of iteration-statements to manage the value
+	    domain of the controlling variable correctly.
+	  - Fix W0609 detection not to misunderstand that the
+	    logical-expression in the controlling expression of the
+	    iteration-statement is always true.
+	  - Fix W0610 detection not to misunderstand that the
+	    logical-expression in the controlling expression of the
+	    iteration-statement is always false.
+	  - Fix W0611 detection not to misunderstand that the controlling
+	    expression of the iteration-statement is always true.
+	  - Fix W0612 detection not to misunderstand that the
+	    logical-expression with the controlling variable in upper
+	    iteration-statement is always false.
+	  - Fix W0613 detection not to misunderstand that the controlling
+	    expression of the iteration-statement is always false.
+	  - Fix abend problem of evaluating the function definition whose
+	    return type is omitted.
+	  - Fix W0578 detection not to warn the implicit conversion between
+	    cv-qualified and non-qualified of same base type in
+	    variable-definitions.
+	  - Add W0624 detection.
+	  - Add W0705 detection.
+	  - Add W0745 detection.
+
+2011-11-16  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.4.8
+	  - Fix abend problem of evaluating the conditional-expression whose
+	    `true expression' is array-subscript-expression makes an array
+	    object and `false expression' is object-specifier designating an
+	    array object.
+	  - Fix W0422 detection to warn the possibly nullable pointer.
+	  - Add W1051 detection.
+	  - Fix W0578 detection not to warn the implicit conversion between
+	    cv-qualified and non-qualified of the same base type.
+	  - Add W1052 detection.
+	  - Add W0703 detection.
+	  - Add W0704 detection.
+	  - Fix W0100 detection to warn the variable which is defined without
+	    initializer and assigned only once.
+	  - Add W0736 detection.
+	  - Add W0696 detection.
+	  - Add W0708 detection.
+	  - Fix W0038 detection not to mishandle the length of the array type.
+	  - Fix W0950 detection to warn all constants in the multi demension
+	    array variable definition.
+	  - Fix degraded W0088 detection.
+	  - Fix W0459 detection not to warn the array variable initialized
+	    with the string-literal-specifier.
+	  - Fix W0423 and W0424 detection to warn the
+	    prefix-increment/decrement-expression of the nullable pointer.
+	  - Fix W0578 detection not to warn the implicit conversion of
+	    floating values.
+	  - Fix degraded W0777, W0778 and W0779 detection.
+	  - Fix abend problem of evaluating the function definition which has
+	    unnamed parameter which type is a user type.
+
+2011-11-14  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.4.7
+	  - Add W1050 detection.
+	  - Fix abend problem of evaluating the else-if statement sequence.
+	  - Fix abend problem of evaluating the negative sized array variable
+	    definition.
+	  - Fix bad value domain narrowing problem after 0.4.5 release.
+
+2011-11-11  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.4.6
+	  - Add W0611 detection.
+	  - Add W0612 detection.
+	  - Add W0613 detection.
+	  - Add W0614 detection.
+	  - Add W1049 detection.
+	  - Improve the variable value version management to reduce the height
+	    of the version tree.
+
+2011-11-04  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.4.5
+	  - Add W0627 detection.
+	  - Fix W0629 detection not to misunderstand that all static functions
+	    are not called.
+	  - Add W0742 detection.
+	  - Add W0491 detection.
+	  - Add W0492 detection.
+	  - Add W0947 detection.
+	  - Add W0948 detection.
+	  - Add W0950 detection.
+	  - Add W0605 detection.
+	  - Add W0609 detection.
+	  - Add W0610 detection.
+
+2011-10-31  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.4.4
+	  - Fix abend problem of parsing the function definition whose
+	    parameter types are omitted.
+	  - Add `adlint_chk' command and add `check' target to the adlintized
+	    GNUmakefile for fast configuration files validation.
+	  - Add W0629 detection.
+	  - Fix W0441 detection not to warn about wide character constants.
+	  - Add W0626 detection.
+	  - Activate `file_encoding' setting in the `project_traits' section
+	    of the traits file.
+
+2011-10-26  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.4.3
+	  - Fix W0077 detection to warn when the constant is a decimal integer.
+	  - Fix W0081 detection to warn when the operand of the unary-minus
+	    expression has `unsigned long long' type.
+	  - Fix W0082 detection to warn when the operand of the unary-minus
+	    expression has bitfield type.
+	  - Fix W0114 detection to warn about the condition part of the
+	    conditional-expression.
+	  - Fix W0115, W0116, W0568, W0569, W0570 and W0571 detection to warn
+	    about the bit shifting compound-assignment-expression.
+	  - Fix bad variable value version management problem after rewriting
+	    the interpreter on 0.2.0 release.
+	  - Add `sma-only' and `verbose-sma-only' targets to the adlintized
+	    GNUmakefile.
+	  - Improve the interpreter to support the value wrap-around semantics
+	    of conversions.
+	  - Fix variable value version management not to mishandle the version
+	    tree at the join point of execution paths.
+	  - Fix W0073 detection to warn when the unguarded header is included
+	    immediately after the inclusion of the guarded header.
+	  - Fix bad character encoding of console and file output on Windows.
+	  - Add W0578 detection.
+
+2011-10-19  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.4.2
+	  - Fix degraded W0043 detection.
+	  - Fix W0030, W0423 and W0424 detection to warn about postfix or
+	    prefix increment expressions and postfix or prefix decrement
+	    expressions.
+	  - Fix W0100 detection not to warn about the array of pointers to
+	    the const object.
+	  - Fix FN_NEST metric meassurement so that the nest level of the top
+	    of functions is 0.
+	  - Fix computation of the total lines of function definitions so that
+	    the function body is from the line of the function name to the
+	    line of `}' token which ends the definition.
+	  - Rewrite buggy FN_PATH (the number of estimated static paths per
+	    function) computation.
+	  - Add W0576 detection.
+	  - Add W0577 detection.
+
+2011-10-13  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.4.1
+	  - Add W0567 detection.
+	  - Add W0568 detection.
+	  - Add W0569 detection.
+	  - Add W0570 detection.
+	  - Fix W0088 detection not to warn about the controlling expression
+	    of control statements.
+	  - Add W0571 detection.
+	  - Add W0572 detection.
+	  - Add W0574 detection.
+	  - Add W0575 detection.
+
+2011-10-11  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.4.0
+	  - Fix W0035 detection to warn when the type of right-hand-side
+	    operand in a logical expression is a composite type.
+	  - Fix degraded W0039 detection.
+	  - Add `linker_traits' section to the traits file.
+	  - Improve W0051 detection to consider about case-sensitiveness of
+	    external symbols.
+	  - Fix W0043 detection not to warn when the initializer is `{0}'.
+	  - Fix W0566 detection to warn only when one of operands of the
+	    cast-expression has type of the function pointer.
+
+2011-10-07  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.3.4
+	  - Fix branch condition ensuring mechanism to suppress warnings about
+	    the implicit condition expressions in switch-statement.
+	  - Add W0559 detection.
+	  - Add W0560 detection.
+	  - Add W0561 detection.
+	  - Add W0562 detection.
+	  - Fix W0100 detection not to warn about the array of const type
+	    whose dimension is greater than 1.
+	  - Fix W0080 detection not to warn about function local const
+	    variables.
+	  - Add W0563 detection.
+	  - Add W0564 detection.
+	  - Add W0565 detection.
+	  - Add W0566 detection.
+	  - Fix problem in W0553 detection that the explicit conversion of
+	    functions does not cause warnings.
+	  - Fix W0117 detection to warn about object definitions, not object
+	    declarations.
+	  - Fix W0118 detection to warn about object declarations, not object
+	    definitions.
+	  - Trivial correction to run on Ruby 1.9.3-rc1 without warnings.
+	  - Fix off-by-one problems in W0001, W0037, W0049, W0050 and W0054
+	    detection.
+	  - Fix W0549 detection not to warn when the parameter is an operand
+	    of `#' or `##' operator.
+
+2011-10-04  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.3.3
+	  - Fix bad value domain reduction problem after improving the
+	    interpreter on 0.3.1 release.
+	  - Add W0542 detection.
+	  - Add W0543 detection.
+	  - Add W0544 detection.
+	  - Add W0546 detection.
+	  - Add W0549 detection.
+	  - Fix W0100 detection not to warn when the member variable of the
+	    composite variable is written.
+	  - Add W0551 detection.
+	  - Add W0552 detection.
+	  - Add W0553 detection.
+	  - Add W0554 detection.
+	  - Add W0556 detection.
+
+2011-09-30  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.3.2
+	  - Add W0534 detection.
+	  - Fix bad file path in X0003 error message when `--output-dir'
+	    option specified.
+	  - Fix bad value domain narrowing problem after improving the
+	    interpreter on 0.3.1 release.
+	  - Add W0538 detection.
+	  - Add W0540 detection.
+	  - Fix W0105 detection not to warn about function-pointers.
+
+2011-09-22  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.3.1
+	  - Improve the interpreter to support the fall-through semantics of
+	    switch-statements.
+	  - Change short version of the `--verbose' option to `-v'.
+
+2011-09-06  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.3.0
+	  - Merge 3 traits files into single traits file.
+	  - Improve `adlint' command to support the list-file.
+	  - Improve `adlintize' command to generate list-file, unix sh script
+	    and mswin bat file.
+
+2011-09-01  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.2.5
+	  - Add W0489 detection.
+	  - Add W0490 detection.
+	  - Add W0496 detection.
+	  - Add W0497 detection.
+	  - Add W0532 detection.
+	  - Fix problem that the inner switch-statement is not evaluated by the
+	    interpreter when the switch-statement is labeled by `default:' of
+	    the outer switch-statement.
+
+2011-08-23  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.2.4
+	  - Fix W0458 detection to warn when type-specifiers in the parameter
+	    list are omitted.
+	  - Add W0495 detection.
+	  - Add W0498 detection.
+	  - Add W0499 detection.
+	  - Add W0500 detection.
+	  - Add W0501 detection.
+	  - Add W0502 detection.
+	  - Add W0508 detection.
+	  - Fix W0432 detection not to warn the standalone composite-statement.
+	  - Fix W0105 detection not to be output when the assignment to the
+	    result of the indirection-expression occured.
+	  - Fix W0028, W0421 and W0422 detections to warn about null pointer
+	    dereference in array-subscript-expression with a pointer.
+	  - Fix W0100 detection not to warn about an array of const objects.
+	  - Fix W0088 detection to warn the logical-expression has
+	    right-hand-side without side effect in the initializer.
+	  - Add W0488 detection.
+
+2011-08-16  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.2.3
+	  - Fix abend problem when a bitfield base type is not an `int'.
+	  - Fix selection condition evaluation to correctly detect that the
+	    condition must be true or may be true.
+	  - Fix determination logic of completeness of branches of execution
+	    paths to correctly trace alteration of variable values.
+	  - Fix W0105 detection not to warn when the parameter type is a
+	    pointer to a const object.
+	  - Add W0461 detection.
+	  - Add W0462 detection.
+	  - Add W0463 detection.
+	  - Add W0464 detection.
+
+2011-08-12  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.2.2
+	  - Correct to run on Ruby 1.9.3-preview1 without warnings.
+	  - Change the version validation policy of input files.
+	  - Fix the interpreter not to misunderstand that the variable defined
+	    with an initializer which results to an undefined-value is
+	    undefined.
+	  - Fix W0028, W0421 and W0422 detections to warn about null pointer
+	    dereference in member-access-by-pointer-expressions.
+	  - Fix W0459 detection to suppress message with undefined temporary
+	    variables.
+	  - Fix problem when the recursive object-like macro appears in the
+	    argument of the function-like macro.
+	  - Fix type resolution problem of the bit-field type.
+	  - Improve the value-domain management to support value-domain
+	    narrowing to enter the `else' branch.
+	  - Fix problem that the indirection-expression results invalid object
+	    when the expression designates other than the array object.
+	  - Fix abend problem of the builtin `__adlint__eval' function call.
+	  - Fix huge memory consumption problem in instantiation of huge
+	    variable length array type.
+
+2011-07-29  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.2.1
+	  - Fix huge memory consumption problem in value-domain management.
+	  - Fix argument substitution bug of function-like macros.
+
+2011-07-26  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.2.0
+	  - Add W9001 detection.
+	  - Fix mistaken dead code problem of empty condition statement in
+	    for-statement.
+	  - Fix unnamed implicit function problem in W0109 detection.
+	  - Fix mistaken token location problem of macro expansion.
+	  - Fix wchar_t min-max value undefined problem in W0441 detection.
+	  - Add logging function.
+	  - Change metric file name `*.met' to `*.met.csv'.
+	  - Change message file name `*.msg' to `*.msg.csv'.
+	  - Add the exec_working_directory field in the version record of the
+	    metric file and the message file.
+	  - Support #include_next directive of the GNU GCC extension.
+	  - Rewrite the interpreter to support the value-domain management to
+	    improve the accuracy of the dead code detection.
+	  - Fix cyclomatic complexity computation problem of if-else statement.
+
+2011-05-16  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.1.6
+	  - Change preprocessed source file name `*.c.i' to `*.i'.
+	  - Change exit behavior of `adlint', `adlint_sma' and `adlint_cma'
+	    command.
+	  - Add W0040 detection.
+	  - Add W0655 detection.
+	  - Add W0786 detection.
+	  - Add W0949 detection.
+	  - Add W0059 detection.
+	  - Add W0060 detection.
+	  - Add W0072 detection.
+	  - Add W0440 detection.
+	  - Add W0441 detection.
+	  - Add W0477 detection.
+	  - Add W0479 detection.
+	  - Add W0482 detection.
+	  - Add W0483 detection.
+	  - Add W0493 detection.
+	  - Add W0511 detection.
+	  - Add W0512 detection.
+	  - Add W0528 detection.
+	  - Add W0529 detection.
+	  - Add W0530 detection.
+	  - Fix problem of using `-d' option with adlint command.
+
+2011-05-06  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.1.5
+	  - Fix problem in FN_CALL computation.
+	  - Add location of the function-definition in function metric record.
+
+2011-05-02  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.1.4
+	  - Revise compiler traits file format.
+	  - Add W0525 detection.
+	  - Fix inconsistent function call-graph problem in W0555 detection.
+
+2011-04-27  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.1.2
+	  - Fix problems about detection of void-function call in logical
+	    expressions.
+	  - Support separated project tree and Makefile generation.
+	  - Fix problems about generic labeled statement in switch statement.
+	  - Implement value-narrowing after the error check path termination.
+	* release.alpha : 0.1.3
+	  - Fix bad message catalog entries.
+
+2011-04-18  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.1.1
+	  - Improve performance of the preprocessor.
+	  - Fix problems about implicit conversion detections.
+	  - Fix problems about nested composite type instantiations.
+
+2011-04-12  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.alpha : 0.1.0
+	  - This is the initial alpha release for system tests.
+	  - Implement `single module analysis' and `cross module analysis'.
+	  - Implement 456 kinds of warning detections.
+	  - Implement 14 kinds of code structure extractions.
+	  - Implement 15 kinds of code quality metric measurements.