adlint 3.2.0 → 3.2.6

data/features/code_check/E0016.feature

@@ -0,0 +1,49 @@
+Feature: E0016
+
+  E0016 detects that a block comment is not terminated in the translation unit.
+
+  Scenario: `/*' sequence in a string-literal
+    Given a target source named "fixture.c" with:
+      """
+      #define FOO
+
+      extern void bar(const char *);
+
+      void baz(void)
+      {
+      #ifdef FOO
+          bar("1 /*\n");
+      #else
+          bar("2 /*\n");
+      #endif
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 3    | 13     |
+      | W0117 | 5    | 6      |
+      | W0947 | 8    | 9      |
+      | W0628 | 5    | 6      |
+
+  Scenario: `/*' sequence in a string-literal
+    Given a target source named "fixture.c" with:
+      """
+      extern void bar(const char *);
+
+      void baz(void)
+      {
+      #ifdef FOO
+          bar("1 /*\n");
+      #else
+          bar("2 /*\n");
+      #endif
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | W0118 | 1    | 13     |
+      | W0117 | 3    | 6      |
+      | W0947 | 8    | 9      |
+      | W0628 | 3    | 6      |

data/features/code_check/E0018.feature

@@ -0,0 +1,99 @@
+Feature: E0018
+
+  E0018 detects that an extra semicolon appears in the global scope.
+
+  Scenario: extra semicolon after variable declaration
+    Given a target source named "fixture.c" with:
+      """
+      int i;;
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | E0018 | 1    | 7      |
+      | W0117 | 1    | 5      |
+
+  Scenario: extra semicolon after variable definition
+    Given a target source named "fixture.c" with:
+      """
+      int i = 1;;
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | E0018 | 1    | 11     |
+      | W0117 | 1    | 5      |
+
+  Scenario: extra semicolon before variable declaration
+    Given a target source named "fixture.c" with:
+      """
+      ;int i;
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | E0018 | 1    | 1      |
+      | W0117 | 1    | 6      |
+
+  Scenario: extra semicolon before variable definition
+    Given a target source named "fixture.c" with:
+      """
+      ;int i = 1;
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | E0018 | 1    | 1      |
+      | W0117 | 1    | 6      |
+
+  Scenario: extra semicolon after function declaration
+    Given a target source named "fixture.c" with:
+      """
+      extern void foo(void);;
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | E0018 | 1    | 23     |
+      | W0118 | 1    | 13     |
+
+  Scenario: extra semicolon after function definition
+    Given a target source named "fixture.c" with:
+      """
+      int foo(void)
+      {
+          return 0;
+      };
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | E0018 | 4    | 2      |
+      | W0117 | 1    | 5      |
+      | W0628 | 1    | 5      |
+
+  Scenario: extra semicolon before function declaration
+    Given a target source named "fixture.c" with:
+      """
+      ;extern void foo(void);
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | E0018 | 1    | 1      |
+      | W0118 | 1    | 14     |
+
+  Scenario: extra semicolon before function definition
+    Given a target source named "fixture.c" with:
+      """
+      ;int foo(void)
+      {
+          return 0;
+      }
+      """
+    When I successfully run `adlint fixture.c` on noarch
+    Then the output should exactly match with:
+      | mesg  | line | column |
+      | E0018 | 1    | 1      |
+      | W0117 | 1    | 6      |
+      | W0628 | 1    | 6      |

data/features/code_check/W0460.feature

@@ -275,13 +275,13 @@ Feature: W0460
           int x;
           int y;
       };
-      
+
       struct bar a[3];
-      
+
       int foo(int i, int j)
       {
           int k;
-      
+
           if (i < 0) {
               struct bar b;
               if (j == 0) {
@@ -292,7 +292,7 @@ Feature: W0460
           else if (i > 10) {
               k = j ? a[0].x : a[1].y;
           }
-      
+
           return k; /* W0460 */
       }
       """
@@ -328,13 +328,13 @@ Feature: W0460
           int x;
           int y;
       };
-      
+
       struct bar a[3];
-      
+
       int foo(int i, int j)
       {
           int k;
-      
+
           if (i < 0) {
               struct bar b;
               if (j == 0) {
@@ -345,7 +345,7 @@ Feature: W0460
           else {
               k = j ? a[0].x : a[1].y;
           }
-      
+
           return k; /* OK */
       }
       """

data/lib/adlint.rb

@@ -1,7 +1,7 @@
 # AdLint package loader.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 # License::   GPLv3+: GNU General Public License version 3 or later
 #
 # Owner::     Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
@@ -11,7 +11,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #

data/lib/adlint/analyzer.rb

@@ -1,7 +1,7 @@
 # Analyzer classes.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 # License::   GPLv3+: GNU General Public License version 3 or later
 #
 # Owner::     Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
@@ -11,7 +11,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #

data/lib/adlint/annot.rb

@@ -1,7 +1,7 @@
 # Source code annotations.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 # License::   GPLv3+: GNU General Public License version 3 or later
 #
 # Owner::     Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
@@ -11,7 +11,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #

data/lib/adlint/cc1.rb

@@ -1,7 +1,7 @@
 # AdLint::Cc1 package loader.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 # License::   GPLv3+: GNU General Public License version 3 or later
 #
 # Owner::     Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
@@ -11,7 +11,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #

data/lib/adlint/cc1/branch.rb

@@ -1,7 +1,7 @@
 # C runtime branch of execution path.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 # License::   GPLv3+: GNU General Public License version 3 or later
 #
 # Owner::     Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
@@ -11,7 +11,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #

data/lib/adlint/cc1/builtin.rb

@@ -1,7 +1,7 @@
 # Builtin functions actually called by the interpreter.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 # License::   GPLv3+: GNU General Public License version 3 or later
 #
 # Owner::     Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
@@ -11,7 +11,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #

data/lib/adlint/cc1/const.rb

@@ -1,7 +1,7 @@
 # C constant-expression evaluator.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 # License::   GPLv3+: GNU General Public License version 3 or later
 #
 # Owner::     Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
@@ -11,7 +11,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #

data/lib/adlint/cc1/conv.rb

@@ -1,7 +1,7 @@
 # C conversion semantics.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 # License::   GPLv3+: GNU General Public License version 3 or later
 #
 # Owner::     Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
@@ -11,7 +11,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #

data/lib/adlint/cc1/ctrlexpr.rb

@@ -1,7 +1,7 @@
 # Controlling expression of selection-statements and iteration-statements.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 # License::   GPLv3+: GNU General Public License version 3 or later
 #
 # Owner::     Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
@@ -11,7 +11,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #

data/lib/adlint/cc1/domain.rb

@@ -1,7 +1,7 @@
 # Domain of values bound to variables.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 # License::   GPLv3+: GNU General Public License version 3 or later
 #
 # Owner::     Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
@@ -11,7 +11,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #

data/lib/adlint/cc1/enum.rb

@@ -1,7 +1,7 @@
 # C Enumerators.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 # License::   GPLv3+: GNU General Public License version 3 or later
 #
 # Owner::     Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
@@ -11,7 +11,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #

data/lib/adlint/cc1/environ.rb

@@ -1,7 +1,7 @@
 # C runtime environment.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 # License::   GPLv3+: GNU General Public License version 3 or later
 #
 # Owner::     Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
@@ -11,7 +11,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #

data/lib/adlint/cc1/expr.rb

@@ -1,7 +1,7 @@
 # C expression evaluator.
 #
 # Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
-# Copyright:: Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# Copyright:: Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 # License::   GPLv3+: GNU General Public License version 3 or later
 #
 # Owner::     Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
@@ -11,7 +11,7 @@
 #    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
 #   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
 #  / __  |/ /_/ / /___/ / /|  /  / /
-# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2013, OGIS-RI Co.,Ltd.
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2014, OGIS-RI Co.,Ltd.
 #
 # This file is part of AdLint.
 #
@@ -47,7 +47,7 @@ module Cc1 #:nodoc:
 
     def visit_error_expression(node)
       checkpoint(node.location)
-      create_tmpvar
+      create_tmpvar.tap { |rslt_var| notify_error_expr_evaled(node, rslt_var) }
     end
 
     def visit_object_specifier(node)
@@ -60,10 +60,13 @@ module Cc1 #:nodoc:
 
       if const_var = eval_constant(node)
         notify_constant_referred(node, const_var)
-        const_var
+        rslt_var = const_var
       else
-        create_tmpvar
+        rslt_var = create_tmpvar
       end
+
+      notify_constant_specifier_evaled(node, rslt_var)
+      rslt_var
     end
 
     def visit_string_literal_specifier(node)
@@ -71,21 +74,24 @@ module Cc1 #:nodoc:
 
       case node.literal.value
       when /\A"(.*)"\z/
-        create_tmpvar(array_type(char_t, $1.length + 1),
-                      create_array_value_of_string($1))
+        rslt_var = create_tmpvar(array_type(char_t, $1.length + 1),
+                                 create_array_value_of_string($1))
       when /\AL"(.*)"\z/i
-        create_tmpvar(array_type(wchar_t, $1.length + 1),
-                      create_array_value_of_string($1))
+        rslt_var = create_tmpvar(array_type(wchar_t, $1.length + 1),
+                                 create_array_value_of_string($1))
       else
-        create_tmpvar(array_type(char_t))
+        rslt_var = create_tmpvar(array_type(char_t))
       end
+
+      notify_string_literal_specifier_evaled(node, rslt_var)
+      rslt_var
     end
 
     def visit_null_constant_specifier(node)
       checkpoint(node.location)
-      # TODO: NULL may not be 0 on some environments.
-      #       Representation of NULL should be configurable?
-      create_tmpvar(pointer_type(void_t), scalar_value_of(0))
+      rslt_var = create_tmpvar(pointer_type(void_t), scalar_value_of_null)
+      notify_null_constant_specifier_evaled(node, rslt_var)
+      rslt_var
     end
 
     def visit_grouped_expression(node)
@@ -117,14 +123,12 @@ module Cc1 #:nodoc:
 
     def visit_bit_access_by_value_expression(node)
       checkpoint(node.location)
-      # TODO: Should support the GCC extension.
-      create_tmpvar
+      eval_bit_access_by_value_expr(node, node.expression.accept(self))
     end
 
     def visit_bit_access_by_pointer_expression(node)
       checkpoint(node.location)
-      # TODO: Should support the GCC extension.
-      create_tmpvar
+      eval_bit_access_by_pointer_expr(node, node.expression.accept(self))
     end
 
     def visit_postfix_increment_expression(node)
@@ -139,8 +143,7 @@ module Cc1 #:nodoc:
 
     def visit_compound_literal_expression(node)
       checkpoint(node.location)
-      # TODO: Should support C99 features.
-      create_tmpvar(node.type_name.type)
+      eval_compound_literal_expr(node)
     end
 
     def visit_prefix_increment_expression(node)
@@ -172,14 +175,14 @@ module Cc1 #:nodoc:
       checkpoint(node.location)
 
       ope_obj = rslt_var = nil
-      eval_without_side_effect do
+      eval_quietly_without_side_effects do
         rslt_type = type_of(UserTypeId.new("size_t")) || unsigned_long_t
         ope_obj = node.operand.accept(self)
         if ope_obj.variable?
           size = ope_obj.type.aligned_byte_size
           rslt_var = create_tmpvar(rslt_type, scalar_value_of(size))
         else
-          return create_tmpvar(rslt_type)
+          rslt_var = create_tmpvar(rslt_type)
         end
       end
 
@@ -192,7 +195,7 @@ module Cc1 #:nodoc:
       resolve_unresolved_type(node.operand)
 
       rslt_var = nil
-      eval_without_side_effect do
+      eval_quietly_without_side_effects do
         rslt_type = type_of(UserTypeId.new("size_t")) || unsigned_long_t
         size = node.operand.type.aligned_byte_size
         rslt_var = create_tmpvar(rslt_type, scalar_value_of(size))
@@ -205,27 +208,35 @@ module Cc1 #:nodoc:
     def visit_alignof_expression(node)
       checkpoint(node.location)
 
-      eval_without_side_effect do
+      ope_obj = rslt_var = nil
+      eval_quietly_without_side_effects do
         rslt_type = type_of(UserTypeId.new("size_t")) || unsigned_long_t
         ope_obj = node.operand.accept(self)
         if ope_obj.variable?
           align = ope_obj.type.byte_alignment
-          create_tmpvar(rslt_type, scalar_value_of(align))
+          rslt_var = create_tmpvar(rslt_type, scalar_value_of(align))
         else
-          create_tmpvar(rslt_type)
+          rslt_var = create_tmpvar(rslt_type)
         end
       end
+
+      notify_alignof_expr_evaled(node, ope_obj, rslt_var)
+      rslt_var
     end
 
     def visit_alignof_type_expression(node)
       checkpoint(node.location)
       resolve_unresolved_type(node.operand)
 
-      eval_without_side_effect do
+      rslt_var = nil
+      eval_quietly_without_side_effects do
         rslt_type = type_of(UserTypeId.new("size_t")) || unsigned_long_t
         align = node.operand.type.aligned_byte_size
-        create_tmpvar(rslt_type, scalar_value_of(align))
+        rslt_var = create_tmpvar(rslt_type, scalar_value_of(align))
       end
+
+      notify_alignof_type_expr_evaled(node, node.operand.type, rslt_var)
+      rslt_var
     end
 
     def visit_cast_expression(node)
@@ -403,21 +414,24 @@ module Cc1 #:nodoc:
     end
 
     private
-    def eval_without_side_effect(&block)
-      originally_quiet = interpreter.quiet_without_side_effect?
-      unless originally_quiet
-        interpreter._quiet_without_side_effect = true
+    def eval_quietly_without_side_effects(&block)
+      unless orig_quiet = interpreter.quiet?
+        interpreter._quiet = true
+      end
+      unless orig_without_side_effects = interpreter.without_side_effects?
+        interpreter._without_side_effects = true
       end
       yield
     ensure
-      unless originally_quiet
-        interpreter._quiet_without_side_effect = false
+      unless orig_quiet
+        interpreter._quiet = false
         # FIXME: Evaluation of an object-specifier doesn't refer to value
         #        of a variable.  Thus, no cross-reference record on a
         #        sizeof-expression because cross-reference extraction
         #        watches variable value reference not variable reference.
         # collect_object_specifiers(node).each { |os| os.accept(self) }
       end
+      interpreter._without_side_effects = orig_without_side_effects
     end
 
     def create_array_value_of_string(str)
@@ -430,7 +444,8 @@ module Cc1 #:nodoc:
       #       NotifierMediator and Conversion.
 
       def eval_object_specifier(node)
-        if var = variable_named(node.identifier.value)
+        case
+        when var = variable_named(node.identifier.value)
           var.declarations_and_definitions.each do |dcl_or_def|
             dcl_or_def.mark_as_referred_by(node.identifier)
           end
@@ -438,26 +453,24 @@ module Cc1 #:nodoc:
           # NOTE: Array object will be converted into its start address by the
           #       outer expression.  So, it is correct to return an array
           #       object itself.
-          return var
-        end
-
-        if fun = function_named(node.identifier.value)
+          rslt_obj = var
+        when fun = function_named(node.identifier.value)
           fun.declarations_and_definitions.each do |dcl_or_def|
             dcl_or_def.mark_as_referred_by(node.identifier)
           end
           _notify_object_referred(node, fun)
-          return fun
-        end
-
-        if enum = enumerator_named(node.identifier.value)
+          rslt_obj = fun
+        when enum = enumerator_named(node.identifier.value)
           enum.mark_as_referred_by(node.identifier)
-          return create_tmpvar(enum.type, scalar_value_of(enum.value))
+          rslt_obj = create_tmpvar(enum.type, scalar_value_of(enum.value))
+        else
+          fun = declare_implicit_function(node.identifier.value)
+          _notify_implicit_function_declared(node, fun)
+          _notify_object_referred(node, fun)
+          rslt_obj = fun
         end
-
-        fun = declare_implicit_function(node.identifier.value)
-        _notify_implicit_function_declared(node, fun)
-        _notify_object_referred(node, fun)
-        fun
+        notify_object_specifier_evaled(node, rslt_obj)
+        rslt_obj
       end
 
       def eval_array_subscript_expr(node, obj, subs)
@@ -619,6 +632,46 @@ module Cc1 #:nodoc:
         end
       end
 
+      def eval_bit_access_by_value_expr(node, obj)
+        if obj.variable? && obj.type.composite?
+          outer_var = obj
+        else
+          return create_tmpvar
+        end
+
+        # TODO: Should support the GCC extension.
+        create_tmpvar.tap do |rslt_var|
+          notify_bit_access_expr_evaled(node, outer_var, rslt_var)
+        end
+      end
+
+      def eval_bit_access_by_pointer_expr(node, obj)
+        obj_type = obj.type.unqualify
+        if obj.variable? && obj_type.pointer? && obj_type.base_type.composite?
+          ptr = obj
+        else
+          return create_tmpvar
+        end
+
+        if pointee = pointee_of(ptr)
+          if pointee.type.array?
+            if first_elem = pointee.inner_variable_at(0)
+              pointee = first_elem
+            else
+              pointee = create_tmpvar(obj_type.base_type)
+            end
+          end
+        end
+        # NOTE: A bit-access-by-pointer-expression do refers the value of the
+        #       pointer object.
+        _notify_variable_value_referred(node, ptr)
+
+        # TODO: Should support the GCC extension.
+        create_tmpvar.tap do |rslt_var|
+          notify_bit_access_expr_evaled(node, ptr, rslt_var)
+        end
+      end
+
       def eval_postfix_increment_expr(node, obj)
         var = object_to_variable(obj, node)
         if !var.type.scalar? && !var.type.void?
@@ -711,6 +764,13 @@ module Cc1 #:nodoc:
         create_tmpvar(var.type, var.value)
       end
 
+      def eval_compound_literal_expr(node)
+        # TODO: Should support C99 features.
+        create_tmpvar(node.type_name.type).tap do |rslt_var|
+          notify_compound_literal_expr_evaled(node, rslt_var)
+        end
+      end
+
       def eval_address_expr(node, obj)
         # NOTE: An address-expression does not read the value of the object.
         #       But value reference should be notified to emphasize global
@@ -799,6 +859,8 @@ module Cc1 #:nodoc:
         #       is discarded when the return value is casted before assigning
         #       to a variable.
         _notify_variable_value_referred(node, var)
+
+        notify_cast_expr_evaled(node, var, rslt_var)
         rslt_var
       end