adlint 3.0.8 → 3.0.10

data/ChangeLog

@@ -1,3 +1,298 @@
+Fri Jun 28 10:23:30 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.ga : 3.0.10
+	  - 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-variable.
+
+Wed Jun 26 17:42:13 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* release.rc : 3.0.9
+	  - 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-variable.
+
+Wed Jun 26 16:07:59 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cc1/object.rb : Fix assignment behavior of the array
+	  representative element in order to correctly propagete definiteness
+	  of the new value to outer array variable's value.
+
+	* features/code_check/W0461.feature : Add scenario to reproduce
+	  false-positive of W0461 code check when the pointee array is
+	  initialized by assignment with indefinite subscript value.
+
+Tue Jun 25 15:24:13 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cc1/interp.rb : Revise evaluation behavior of
+	  for-statement's explicit controlling-expression in order to properly
+	  evaluate the branch entering condition.
+	  Revise evaluation behavior of conditional-expressions to adopt the
+	  non-NULL pointer as the expression value when a value of the
+	  controlling-expression is indefinite.
+
+	* lib/adlint/cc1/mediator.rb : Revise pointer dereferencing behavior to
+	  successfully dereference a pointer only when the value of pointer
+	  variable is definite again.
+
+	* features/code_check/W0610.feature : Add scenario to reproduce bad
+	  variables' value-domain management problem.
+
+Mon Jun 24 17:22:47 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cc1/branch.rb : Fix over-thinning of controlling
+	  variable's value-domain when the terminating branch is of
+	  switch-statement enclosed by an iteration-statement.
+
+	* features/code_check/W0459.feature : Add scenario to reproduce
+	  false-positive of W0459 code check caused by bad break statement
+	  evaluation in thinning value-domain of the controlling variable.
+
+Mon Jun 24 16:51:36 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cc1/object.rb : Restore scrapped side-effect rollback of
+	  inner-variables.
+
+Fri Jun 21 19:14:39 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cc1/object.rb : Fix incomplete assignment to the array
+	  representative element.
+
+	* features/code_check/W0459.feature : Add scenario to reproduce
+	  false-positive of W0459 code check caused by missing representative
+	  element updating.
+
+Fri Jun 21 17:59:24 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cc1/object.rb : Add assignment to the array representative
+	  element.
+
+	* features/code_check/W0459.feature : Add scenario to reproduce
+	  false-negative of W0459 code check caused by missing representative
+	  element updating.
+
+Fri Jun 21 16:16:16 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cc1/expr.rb : Improve heuristics of array subscript
+	  evaluation with indefinite subscript again and again.
+
+	* lib/adlint/cc1/object.rb : Fix bad management of the representative
+	  element of array variables in order to correctly update the array by
+	  reassigning new value to its representative element.
+	  Add UnmappedMemoryWindow instead of UnmappedMemoryBlock.
+
+	* features/code_check/W0100.feature : Add scenario to reproduce
+	  false-positive of W0100 code check caused by bad representative array
+	  element.
+	* MANIFEST : Ditto.
+
+Thu Jun 20 17:59:25 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cc1/expr.rb : Improve heuristics of array subscript
+	  evaluation with indefinite subscript again.
+
+	* lib/adlint/cc1/object.rb : Add management of the representative
+	  element of array variables.
+	  Add UnmappedMemoryBlock which is not mapped to the MemoryPool in
+	  order to bind representative elements to their values.
+
+	* lib/adlint/cc1/interp.rb : Scrap interpretation mode for controlling
+	  expressions.
+	* lib/adlint/cc1/option.rb : Ditto.
+
+Thu Jun 20 11:21:59 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cc1/object.rb : Fix bad value version management in order
+	  not to forget histories of a value.
+
+	* features/code_check/W1050.feature : Add scenario to reproduce bad
+	  value version management problem.
+	* MANIFEST : Ditto.
+
+Wed Jun 19 17:17:27 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cc1/object.rb : Fix bypassing inner-variable's value
+	  mutation in order to correctly propagate mutation to the
+	  outer-variable.
+	  Add missing value-domain thinning of inner-variables.
+
+	* lib/adlint/cc1/branch.rb : Fix value-domain thinning condition to
+	  thin domains discarded by a break-statement in the iteration.
+	* lib/adlint/cc1/environ.rb : Ditto.
+	* lib/adlint/cc1/interp.rb : Ditto.
+	* lib/adlint/cc1/option.rb : Ditto.
+
+	* features/code_check/W0422.feature : Add scenario to reproduce
+	  false-positive of W0422 code check caused by incomplete value-domain
+	  thinning.
+
+	* lib/adlint/cc1/builtin.rb : Fix broken `__adlint__eval' builtin debug
+	  function.
+
+Mon Jun 17 16:43:32 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cpp/lexer.rb : Add missing comment handling in the initial
+	  state of the preprocessing lexer.
+
+	* features/code_check/E0008.feature : Add scenario to reproduce a parse
+	  error when a #define directive appears right after a block comment
+	  followed by an escaped newline.
+	* MANIFEST : Ditto.
+
+Mon Jun 17 15:24:10 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/code_check/W0704.feature : Add scenario to reproduce a parse
+	  error when the enumerator name is conflicting with the prior typedef
+	  name.
+	* MANIFEST : Ditto.
+
+	* lib/adlint/cc1/lexer.rb : Rewrite identifier set to track declared
+	  identifiers in preparation for fixing incomplete identifier to
+	  typedef name translation.
+
+	* lib/adlint/cc1/parser.y : Fix incomplete identifier to typedef name
+	  translation when the declaring enumerator name is conflicting with
+	  the prior typedef name.
+
+Thu Jun 13 15:53:21 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cc1/interp.rb : Remove unnecessary controlling expression
+	  evaluation at entering a do-statement.
+
+	* features/code_check/W9001.feature : Add scenario to reproduce
+	  false-positive of W9001 code check about body of the one-shot
+	  do-statement.
+
+Thu Jun 13 13:42:24 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cc1/domain.rb : Fix bad bitwise & evaluation with
+	  indefinite value domains.
+
+	* features/code_check/W0612.feature : Add scenario to reproduce
+	  false-positive of W0612 code check when value of an operand is
+	  indefinite.  
+	* MANIFEST : Ditto.
+
+Wed Jun 12 19:57:55 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cc1/syntax.rb : 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.
+
+	* features/code_check/W0422.feature : Add scenario to reproduce a known
+	  bug.
+
+Wed Jun 12 15:51:38 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cc1/object.rb : Add missing value coercing in evaluation
+	  of variable definition when the variable has already been declared.
+
+Wed Jun 12 11:43:35 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/code_check/W0459.feature : Add scenario to reproduce a known
+	  bug.
+
+	* lib/adlint/cc1/interp.rb : Fix conditional-expression evaluation in
+	  order to evaluate controlling expression in the same manner as that
+	  of if-statement.
+
+	* lib/adlint/cc1/mediator.rb : Fix pointer dereference behavior in
+	  order to find possible pointee objects when the pointer value is not
+	  definite.
+
+Fri Jun  7 11:45:23 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cc1/expr.rb : Revise global constant array subscript
+	  evaluation policy in order to make undefined-value when the subscript
+	  value is indefinite.
+
+Fri Jun  7 10:44:06 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/code_check/W1071.feature : Add scenario to reproduce the
+	  broken array subscript evaluation in controlling expressions.
+
+	* lib/adlint/cc1/expr.rb : Fix bad array subscript evaluation so that
+	  the array-subscript-expression makes undefined-value when no
+	  designated object is found.
+
+Thu Jun  6 18:36:13 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/code_check/W0613.feature : Add scenario to reproduce
+	  false-positive of W0613 code check when an array-subscript-expression
+	  refers to the global constant array is specified as the controlling
+	  expression.
+
+	* lib/adlint/cc1/expr.rb : Improve heuristics of array subscript
+	  evaluation with indefinite subscript only in controlling expressions.
+	* lib/adlint/cc1/interp.rb : Ditto.
+	* lib/adlint/cc1/option.rb : Ditto.
+
+Wed Jun  5 17:37:23 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cc1/object.rb : Fix variable's value version rollback
+	  mechanism in order not to do unnecessary rollback of inner-variables
+	  of array or composite value.
+
+	* lib/adlint/cc1/type.rb : Fix bad type traits predicate methods for
+	  array type.
+
+	* features/code_check/W0097.feature : Add scenario to reproduce a known
+	  bug.
+	* features/code_check/W0461.feature : Ditto.
+
+	* lib/adlint/cc1/value.rb : Add comment to newly added destructive
+	  #force_oeverwrite! method.
+
+Wed Jun  5 17:21:36 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* lib/adlint/cc1/mediator.rb : Revise pointer dereferencing behavior to
+	  successfully dereference a pointer only when the value of pointer
+	  variable is definite.
+
+Tue Jun  4 20:33:44 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
+
+	* features/code_check/W0705.feature : Add scenario to reproduce a known
+	  bug.
+
+	* lib/adlint/cc1/interp.rb : Fix evaluation of the global constant
+	  variable definition in order not to ignore value of the initializer.
+	* lib/adlint/cc1/object.rb : Ditto.
+	* lib/adlint/cc1/value.rb : Ditto.
+
 Fri May 31 10:54:11 2013  Yutaka Yanoh  <yanoh@users.sourceforge.net>
 
 	* release.ga : 3.0.8

data/MANIFEST

@@ -32,6 +32,7 @@ etc/mesg.d/c_builtin/en_US/messages.yml
 etc/mesg.d/c_builtin/ja_JP/messages.yml
 etc/mesg.d/core/en_US/messages.yml
 etc/mesg.d/core/ja_JP/messages.yml
+features/code_check/E0008.feature
 features/code_check/E0013.feature
 features/code_check/W0001.feature
 features/code_check/W0002.feature
@@ -52,6 +53,8 @@ features/code_check/W0070.feature
 features/code_check/W0071.feature
 features/code_check/W0088.feature
 features/code_check/W0093.feature
+features/code_check/W0097.feature
+features/code_check/W0100.feature
 features/code_check/W0104.feature
 features/code_check/W0109.feature
 features/code_check/W0119.feature
@@ -194,7 +197,9 @@ features/code_check/W0422.feature
 features/code_check/W0425.feature
 features/code_check/W0431.feature
 features/code_check/W0432.feature
+features/code_check/W0459.feature
 features/code_check/W0460.feature
+features/code_check/W0461.feature
 features/code_check/W0477.feature
 features/code_check/W0478.feature
 features/code_check/W0479.feature
@@ -227,6 +232,8 @@ features/code_check/W0599.feature
 features/code_check/W0606.feature
 features/code_check/W0610.feature
 features/code_check/W0611.feature
+features/code_check/W0612.feature
+features/code_check/W0613.feature
 features/code_check/W0635.feature
 features/code_check/W0641.feature
 features/code_check/W0642.feature
@@ -252,6 +259,7 @@ features/code_check/W0698.feature
 features/code_check/W0699.feature
 features/code_check/W0700.feature
 features/code_check/W0703.feature
+features/code_check/W0704.feature
 features/code_check/W0705.feature
 features/code_check/W0707.feature
 features/code_check/W0708.feature
@@ -321,6 +329,7 @@ features/code_check/W1040.feature
 features/code_check/W1041.feature
 features/code_check/W1046.feature
 features/code_check/W1047.feature
+features/code_check/W1050.feature
 features/code_check/W1052.feature
 features/code_check/W1057.feature
 features/code_check/W1058.feature

data/NEWS

@@ -21,6 +21,31 @@
 
 ++
 
+=== \AdLint 3.0.10 is released (2013-06-28)
+
+==== Changes since the 3.0.8 release
+
+* Fix incomplete identifier to typedef name translation when the declaring
+  enumerator name is conflicting with the prior typedef name
+* Add missing comment handling in the initial state of the preprocessing lexer
+* 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-variable
+
+See the file {ChangeLog}[https://github.com/yanoh/adlint/blob/master/ChangeLog]
+for more details.
+
 === \AdLint 3.0.8 is released (2013-05-31)
 
 ==== Changes since the 3.0.4 release
@@ -47,10 +72,6 @@
   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

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.8"
+version: "3.0.10"
 
 message_definition:
   W0001:

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.8"
+version: "3.0.10"
 
 message_definition:
   W0001:

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.8"
+version: "3.0.10"
 
 message_definition:
   X0001:

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.8"
+version: "3.0.10"
 
 message_definition:
   X0001:

data/features/code_check/E0008.feature

@@ -0,0 +1,20 @@
+Feature: E0008
+
+  E0008 detects that a syntax error occured.
+
+  Scenario: statements in initializer
+    Given a target source named "fixture.c" with:
+      """
+      #ifdef FOOFOO
+      void foo1(void);
+      #endif
+
+      void foo2(void); /* OK not E0008 */
+
+      /**/\
+      #define FOO 1
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 5    | 6      |