adlint 3.0.4 → 3.0.8

data/ChangeLog

@@ -1,3 +1,364 @@
+Fri May 31 10:54:11 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.ga : 3.0.8
+	  - 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 behavor 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 incomplete object cross-reference extraction in order to record
+	    object references within global scope in case of global function
+	    table initialization.
+	  - Fix incomplete object cross-reference graph and function call graph
+	    in order to correctly warn about useless objects.
+	  - Fix bad `##' operator evaluation in order to comply with the ISO
+	    C99 standard.
+
+Thu May 30 21:05:44 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 3.0.7
+	  - Fix function call extraction in order to output function calls
+	    within the global scope.
+	  - Improve performance of FN_CALL metric measurement.
+	  - Fix bad function call graph calculation.
+	  - Fix bad expression-constancy check in order not to misunderstand
+	    that an expression contains object-specifier which designates a
+	    variable is constant-expression when a function of the same name
+	    has been declared.
+
+Thu May 30 20:07:56 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cc1/syntax.rb : Fix bad expression-constancy check in
+	  order not to misunderstand that an expression contains
+	  object-specifier which designates a variable is constant-expression
+	  when a function of the same name has been declared.
+	* lib/adlint/cc1/mediator.rb : Ditto.
+	* lib/adlint/cc1/object.rb : Ditto.
+
+	* features/code_check/W0422.feature : Add scenario to reproduce a known
+	  bug.
+
+Thu May 30 13:54:20 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/exam/c_builtin/cc1_code.rb : Fix function call extraction
+	  in order to output function calls within the global scope.
+
+	* lib/adlint/exam/c_builtin/ld_metric.rb : Improve performance of
+	  FN_CALL metric measurement.
+
+	* lib/adlint/ld/object.rb : Fix bad function call graph calculation.
+
+	* lib/adlint/exam/c_builtin.rb : Fix bad abbreviations of class names.
+	* lib/adlint/code.rb : Ditto.
+	* lib/adlint/report.rb : Ditto.
+
+Wed May 29 18:48:01 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 3.0.5
+	  - 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 behavor 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 incomplete object cross-reference extraction in order to record
+	    object references within global scope in case of global function
+	    table initialization.
+	  - Fix incomplete object cross-reference graph and function call graph
+	    in order to correctly warn about useless objects.
+	  - Fix bad `##' operator evaluation in order to comply with the ISO
+	    C99 standard.
+
+Wed May 29 18:31:55 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/code_check/W0422.feature : Add scenario to reproduce a known
+	  bug.
+
+	* lib/adlint/cc1/ctrlexpr.rb : Fix controlling expression evaluation in
+	  order not to install implicit functions when the effective
+	  controlling expression is not a regular one and the controlling
+	  variable is declared in the iteration body.
+
+Wed May 29 13:26:20 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/code_check/W0830.feature : Add scenario to reproduce bad
+	  macro replacement problem.
+
+	* lib/adlint/cpp/macro.rb : Fix bad `##' operator evaluation in order
+	  to comply with the ISO C99 standard.
+
+Tue May 28 21:47:56 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/exam/c_builtin/ld_metric.rb : Fix FN_CALL measurement to
+	  count a number of caller functions instead of a number of function
+	  calls.
+
+Tue May 28 20:59:27 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/exam/c_builtin/ld_check.rb : Fix W0589 code check in order
+	  to warn when only one function which is defined in the same
+	  translation-unit refers to the object but the function refers to that
+	  twice or more.
+
+Tue May 28 19:08:41 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/exam/c_builtin/ld_check.rb : Fix incomplete object
+	  cross-reference graph and function call graph in order to correctly
+	  warn about useless objects.
+	* lib/adlint/exam/c_builtin/ld_metric.rb : Ditto.
+	* lib/adlint/ld/phase.rb : Ditto.
+	* lib/adlint/ld/util.rb : Ditto.
+
+Tue May 28 16:28:11 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/ld/object.rb : Rewrite object cross-reference graph and
+	  function call graph management.
+	* lib/adlint/ld/typedef.rb : Ditto.
+	* lib/adlint/analyzer.rb : Ditto.
+
+Tue May 28 11:31:54 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cpp/phase.rb : Refine inner object names of phase context.
+	* lib/adlint/cc1/phase.rb : Ditto.
+	* lib/adlint/exam/c_builtin/cpp_check.rb : Ditto.
+	* lib/adlint/exam/c_builtin/cpp_check_shima.rb : Ditto.
+	* lib/adlint/exam/c_builtin/cpp_code.rb : Ditto.
+	* lib/adlint/exam/c_builtin/cc1_check.rb : Ditto.
+	* lib/adlint/exam/c_builtin/cc1_check_shima.rb : Ditto.
+	* lib/adlint/exam/c_builtin/cc1_metric.rb : Ditto.
+	* lib/adlint/cc1/util.rb : Ditto.
+
+Mon May 27 15:21:14 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/exam/c_builtin/cc1_code.rb : Fix incomplete object
+	  cross-reference extraction in order to record object references
+	  within global scope in case of global function table initialization.
+	* lib/adlint/code.rb : Ditto.
+
+Fri May 24 19:11:52 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cc1/parser.y : Remove useless state management of the
+	  identifier translation in `struct_declaration'.
+
+Fri May 24 16:05:07 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/code_check/W0491.feature : Add scenario to reproduce abend
+	  problem of parser.
+
+	* lib/adlint/cc1/parser.y : Fix bad state management of the identifier
+	  translation again and again.
+
+Fri May 24 15:09:25 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/code_check/W0542.feature : Add scenario to reproduce abend
+	  problem of parser.
+
+	* lib/adlint/cc1/parser.y : Fix bad state management of the identifier
+	  translation again.
+
+Fri May 24 13:47:47 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/code_check/W0491.feature : Add scenario to reproduce abend
+	  problem of parser.
+
+	* lib/adlint/cc1/parser.y : Fix bad state management of the identifier
+	  translation.
+
+Fri May 24 12:32:54 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/code_check/W0491.feature : Add scenario to reproduce abend
+	  problem of parsing the same name in different namespaces.
+
+	* lib/adlint/cc1/parser.y : Fix incomplete identifier to typedef-name
+	  translation.
+
+Thu May 23 19:10:38 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/code_check/W0492.feature : Add scenario to reproduce abend
+	  problem of parsing the same name in different namespaces.
+
+	* lib/adlint/cc1/parser.y : Fix incomplete identifier to typedef-name
+	  translation.
+
+	* lib/adlint/cc1/lexer.rb : Add note about namespaces of identifiers.
+
+Wed May 22 13:12:48 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/code_check/W0786.feature : Add scenario to reproduce a known
+	  bug.
+
+	* lib/adlint/exam/c_builtin/cc1_check.rb : 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.
+
+Tue May 21 19:34:10 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cc1/parser.y : Fix abend problem in parsing unnamed
+	  bit-field declaration.
+
+Sat May 18 15:25:51 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/code_check/W1047.feature : Add scenario to reproduce a known
+	  bug.
+
+	* lib/adlint/cc1/syntax.rb : Fix bad expression-constancy check in
+	  order to treat an address-expression as a constant-expression.
+
+	* lib/adlint/exam/c_builtin/cc1_check.rb : Fix W1047 code check to
+	  check expression constancy by the newly added unified interface.
+
+Fri May 17 17:42:35 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/code_check/W0610.feature : Add scenario to reproduce a known
+	  bug.
+
+	* lib/adlint/cc1/interp.rb : Fix bad value domain management of the
+	  variable whose storage duration is static.
+
+Fri May 17 15:42:42 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* share/doc/users_guide_ja.texi : Revise description of W0642 message.
+	* share/doc/users_guide_en.texi : Ditto.
+
+Fri May 17 15:00:25 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/code_check/W9003.feature : Add scenario to reproduce a known
+	  bug.
+
+	* lib/adlint/exam/c_builtin/cc1_check.rb : Revise specification of
+	  W0642 code check in order to warn about all the illegal address
+	  derivation from the object declared as `register'.
+	* etc/mesg.d/c_builtin/ja_JP/messages.yml : Ditto.
+	* etc/mesg.d/c_builtin/en_US/messages.yml : Ditto.
+
+	* lib/adlint/exam/c_builtin/cc1_check.rb : Add notification about
+	  object address derivation.
+
+Fri May 17 12:55:38 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/code_check/W0642.feature : Add scenario to reproduce a known
+	  bug.
+
+	* lib/adlint/exam/c_builtin/cc1_check.rb : Fix W0642 code check in
+	  order to warn only when the original object of implicit conversion is
+	  an array.
+
+	* lib/adlint/cc1/mediator.rb : Add implicit conversion notification in
+	  object conversion methods to notify illegal conversions.
+	* lib/adlint/cc1/interp.rb : Ditto.
+	* lib/adlint/cc1/expr.rb : Ditto.
+	* lib/adlint/cc1/ctrlexpr.rb : Ditto.
+
+	* lib/adlint/cc1/object.rb : Fix argument to parameter assignment
+	  behavior in order to notify illegal conversions correctly.
+
+Fri May 17 09:35:36 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cc1/interp.rb : Fix bad variable defining behavor in order
+	  not to predefine a variable of incomplete type.
+
+Thu May 16 18:38:40 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/code_check/W0580.feature : Add scenario to reproduce a known
+	  bug.
+
+Thu May 16 17:08:41 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/code_check/W0422.feature : Add scenario to reproduce a known
+	  bug.
+
+	* lib/adlint/cc1/interp.rb : Fix bad variable defining behavor in order
+	  to correctly evaluate sizeof-expression that refers defining variable
+	  in the initializer.
+
+Thu May 16 11:00:07 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/code_check/W1047.feature : Add scenario to reproduce a known
+	  bug.
+
+	* lib/adlint/cc1/syntax.rb : Fix bad expression-constancy check in
+	  order to treat an expression derives an address-constant as a
+	  constant-expression.
+
+	* lib/adlint/cc1/interp.rb : Move runtime object manipulation interface
+	  to InterpreterMediator.
+	  Fix over-notification of implicit conversion in order not to check
+	  the natural conversions suck as function to function-pointer
+	  conversion.
+
+	* lib/adlint/cc1/mediator.rb : Add convenient interface for
+	  expression-constancy check and runtime object manipulations.
+	* lib/adlint/cc1/expr.rb : Ditto.
+	* lib/adlint/exam/c_builtin/cc1_check.rb : Ditto.
+
+	* lib/adlint/cc1/enum.rb : Add enumerator name extraction interface for
+	  expression-constancy check.
+
+	* lib/adlint/cc1/object.rb : Move object conversion responsibilities
+	  from Interpreter to TypedObject.
+	  Add function name extraction interface for expression-constancy
+	  check.
+
+Mon May 13 19:19:31 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cpp/eval.rb : Fix infinite-loop problem of preprocessor
+	  when the #include directive appears with undefined macro.
+	* lib/adlint/error.rb : Ditto.
+	* etc/mesg.d/core/ja_JP/messages.yml : Ditto.
+	* etc/mesg.d/core/en_US/messages.yml : Ditto.
+
+Mon May 13 17:41:41 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cpp/lexer.rb : Fix block comment handling in order not to
+	  dive into nested part when a single slash character appears before
+	  the comment terminator.
+
+Mon May 13 16:29:47 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cpp/lexer.rb : Fix bad handling of block comments in order
+	  not to assume comment terminator as a part of comment content.
+
+	* lib/adlint/cpp/eval.rb : Fix abend problem of preprocessor when a
+	  block comment is not terminated in the translation-unit.
+
+Sun May 12 21:26:44 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/memo.rb : Revise cache name generation rule by the example
+	  of Lisp naming conventions.
+
+Sat May  4 01:29:26 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/memo.rb : Add `force_nullary' option to Memoizable#memoize
+	  and improve performance of memoized unary method.
+	* lib/adlint/cc1/domain.rb : Ditto.
+	* lib/adlint/ld/object.rb : Ditto.
+	* lib/adlint/location.rb : Ditto.
+
 Fri Apr 12 13:06:31 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 	* release.ga : 3.0.4
@@ -15,9 +376,9 @@ Fri Apr 12 11:56:59 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 Thu Apr 12 10:48:11 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 	* release.ga : 3.0.2
-	  - Add missing transparency between a pointer to array and an array
-	    variable in expression evaluation.
-	  - Add missing transparency between a pointer function and a function
+	  - Add missing transparency between an array and a pointer to its
+	    first element in expression evaluation.
+	  - Add missing transparency between a function and a function pointer
 	    in expression evaluation.
 	  - Clarify W0100 message text.
 	  - Refactor memoizing utility in preparation for performance tuning.
@@ -30,9 +391,9 @@ Wed Apr 10 17:18:42 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 Tue Apr  2 17:22:02 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 	* release.rc : 3.0.1
-	  - Add missing transparency between a pointer to array and an array
-	    variable in expression evaluation.
-	  - Add missing transparency between a pointer function and a function
+	  - Add missing transparency between an array and a pointer to its
+	    first element in expression evaluation.
+	  - Add missing transparency between a function and a function pointer
 	    in expression evaluation.
 	  - Clarify W0100 message text.
 
@@ -43,14 +404,14 @@ Tue Apr  2 16:50:12 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 Mon Apr  1 15:55:03 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
-	* lib/adlint/cc1/expr.rb : Add missing transparency between a pointer
-	  function and a function in expression evaluation.
+	* lib/adlint/cc1/expr.rb : Add missing transparency between a function
+	  and a function pointer in expression evaluation.
 	* lib/adlint/cc1/interp.rb : Ditto.
 
 Thu Apr  1 10:08:45 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
-	* lib/adlint/cc1/expr.rb : Add missing transparency between a pointer
-	  to array and an array variable in expression evaluation.
+	* lib/adlint/cc1/expr.rb : Add missing transparency between an array
+	  and a pointer to its first element in expression evaluation.
 	* lib/adlint/cc1/interp.rb : Ditto.
 
 Tue Mar 26 17:01:16 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
@@ -100,7 +461,7 @@ Tue Mar 26 17:01:16 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 	    correctly with consecutive case and default labels.
 	  - Fix normalized controlling-expression derivation logic of
 	    switch-statement's case and default clause in order to work
-	    correctly with consecutive case and default labels. 
+	    correctly with consecutive case and default labels.
 	  - Fix W0003 code check not to misunderstand that the switch-statement
 	    has no default clause when the switch-statement contains
 	    consecutive case and default labels.
@@ -145,7 +506,7 @@ Tue Mar 19 11:30:46 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 	    correctly with consecutive case and default labels.
 	  - Fix normalized controlling-expression derivation logic of
 	    switch-statement's case and default clause in order to work
-	    correctly with consecutive case and default labels. 
+	    correctly with consecutive case and default labels.
 	  - Fix W0003 code check not to misunderstand that the switch-statement
 	    has no default clause when the switch-statement contains
 	    consecutive case and default labels.
@@ -157,7 +518,7 @@ Mon Mar 18 16:05:49 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 	* lib/adlint/cc1/syntax.rb : Fix normalized controlling-expression
 	  derivation logic of switch-statement's case and default clause in
-	  order to work correctly with consecutive case and default labels. 
+	  order to work correctly with consecutive case and default labels.
 
 	* lib/adlint/exam/c_builtin/cc1_check.rb : Fix W0003 code check not to
 	  misunderstand that the switch-statement has no default clause when

data/INSTALL

@@ -21,7 +21,7 @@
 
 ++
 
-=== Requirement
+=== Prerequisites
 
 * Ruby 1.9.3-p0 or later for normal use [*mandatory*]
 * GNU Make 3 or later to use adlintized Makefile [optional but recommended]
@@ -33,8 +33,6 @@ Setup your Ruby interpreter.
 Then, you can install \AdLint by following instruction.
 
  % gem install adlint
-or
- % sudo gem install adlint
 
 === Evaluation
 

data/MANIFEST

@@ -190,6 +190,7 @@ features/code_check/W0251.feature
 features/code_check/W0252.feature
 features/code_check/W0253.feature
 features/code_check/W0254.feature
+features/code_check/W0422.feature
 features/code_check/W0425.feature
 features/code_check/W0431.feature
 features/code_check/W0432.feature
@@ -204,6 +205,8 @@ features/code_check/W0483.feature
 features/code_check/W0488.feature
 features/code_check/W0489.feature
 features/code_check/W0490.feature
+features/code_check/W0491.feature
+features/code_check/W0492.feature
 features/code_check/W0495.feature
 features/code_check/W0496.feature
 features/code_check/W0497.feature
@@ -213,16 +216,20 @@ features/code_check/W0500.feature
 features/code_check/W0501.feature
 features/code_check/W0502.feature
 features/code_check/W0534.feature
+features/code_check/W0542.feature
 features/code_check/W0573.feature
+features/code_check/W0580.feature
 features/code_check/W0582.feature
 features/code_check/W0583.feature
 features/code_check/W0584.feature
 features/code_check/W0585.feature
 features/code_check/W0599.feature
 features/code_check/W0606.feature
+features/code_check/W0610.feature
 features/code_check/W0611.feature
 features/code_check/W0635.feature
 features/code_check/W0641.feature
+features/code_check/W0642.feature
 features/code_check/W0643.feature
 features/code_check/W0644.feature
 features/code_check/W0645.feature
@@ -291,6 +298,7 @@ features/code_check/W0769.feature
 features/code_check/W0780.feature
 features/code_check/W0781.feature
 features/code_check/W0783.feature
+features/code_check/W0786.feature
 features/code_check/W0787.feature
 features/code_check/W0792.feature
 features/code_check/W0793.feature
@@ -337,6 +345,8 @@ features/code_check/W1076.feature
 features/code_check/W1077.feature
 features/code_check/W9001.feature
 features/code_check/W9003.feature
+features/code_extraction/TODO
+features/metric_measurement/TODO
 features/step_definitions/code_check_steps.rb
 features/support/env.rb
 lib/adlint.rb
@@ -553,6 +563,8 @@ share/doc/adlint_on_eclipse_en.png
 share/doc/adlint_on_eclipse_ja.png
 share/doc/adlint_on_vim_en.png
 share/doc/adlint_on_vim_ja.png
+share/doc/c99gram.dot
+share/doc/c99gram.pdf
 share/doc/developers_guide_ja.html
 share/doc/developers_guide_ja.texi
 share/doc/gen_mesg_sections.rb

data/NEWS

@@ -21,16 +21,42 @@
 
 ++
 
+=== \AdLint 3.0.8 is released (2013-05-31)
+
+==== Changes since the 3.0.4 release
+
+* 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 behavor 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 incomplete object cross-reference extraction in order to record object
+  references within global scope in case of global function table
+  initialization
+* Fix incomplete object cross-reference graph and function call graph in order
+  to correctly warn about useless objects
+* Fix bad `##' operator evaluation in order to comply with the ISO C99 standard
+
+See the file
+{ChangeLog}[http://adlint.sourceforge.net/pmwiki/upload.d/Main/ChangeLog]
+for more details.
+
 === \AdLint 3.0.4 is released (2013-04-12)
 
 ==== Changes since the 3.0.2 release
 
 * Fix abend problem of adlint_chk command
 
-See the file
-{ChangeLog}[http://adlint.sourceforge.net/pmwiki/upload.d/Main/ChangeLog]
-for more details.
-
 === \AdLint 3.0.2 is released (2013-04-12)
 
 ==== Changes since the 3.0.0 release

data/README

@@ -34,10 +34,6 @@ partly ISO C99.
 For more details, visit our project homepage at
 <{http\://adlint.sourceforge.net/}[http://adlint.sourceforge.net/]>.
 
-== News
-
-:include:NEWS
-
 == How to Install
 
 :include:INSTALL

data/TODO

@@ -21,8 +21,9 @@
 
 ++
 
+* Support C++ analysis
+* Improve accuracy of code checks
 * Support many more preset build environments
 * Implement automatic traits files generator
-* Improve accuracy of code checks
 
 Any contributions are welcome!

data/etc/mesg.d/c_builtin/en_US/messages.yml

@@ -49,7 +49,7 @@
 #         - "ERR:X99"
 #       format: "Your custom message for the error of E9999."
 
-version: "3.0.4"
+version: "3.0.8"
 
 message_definition:
   W0001:
@@ -2107,7 +2107,7 @@ message_definition:
   W0642:
     classes:
       - "UNC:X99"
-    format: "It is impossible to get the array's address which declared with 'register'."
+    format: "Address derivation from the object declared as `register' is prohibited."
   W0643:
     classes:
       - "UNC:X99"

data/etc/mesg.d/c_builtin/ja_JP/messages.yml

@@ -49,7 +49,7 @@
 #         - "ERR:X99"
 #       format: "Your custom message for the error of E9999."
 
-version: "3.0.4"
+version: "3.0.8"
 
 message_definition:
   W0001:
@@ -2107,7 +2107,7 @@ message_definition:
   W0642:
     classes:
       - "UNC:X99"
-    format: "register 付きで宣言された配列のアドレスを得ることは不可能です。"
+    format: "register 指定で宣言されたオブジェクトのアドレスを得ることは不可能です。"
   W0643:
     classes:
       - "UNC:X99"

data/etc/mesg.d/core/en_US/messages.yml

@@ -49,7 +49,7 @@
 #         - "ERR:X99"
 #       format: "Your custom message for the error of E9999."
 
-version: "3.0.4"
+version: "3.0.8"
 
 message_definition:
   X0001:
@@ -132,3 +132,7 @@ message_definition:
     classes:
       - "ERR:X99"
     format: "Unfinished comment block is found."
+  E0017:
+    classes:
+      - "ERR:X99"
+    format: "#include expects \"filename\" or <filename>."

data/etc/mesg.d/core/ja_JP/messages.yml

@@ -49,7 +49,7 @@
 #         - "ERR:X99"
 #       format: "Your custom message for the error of E9999."
 
-version: "3.0.4"
+version: "3.0.8"
 
 message_definition:
   X0001:
@@ -132,3 +132,7 @@ message_definition:
     classes:
       - "ERR:X99"
     format: "終了しないコメントブロックが見つかりました。"
+  E0017:
+    classes:
+      - "ERR:X99"
+    format: "#include ディレクティブに \"ファイル名\" または <ファイル名> が見つかりません。"