adlint 1.10.0 → 1.12.0

data/spec/adlint/c/ctrlexpr_spec.rb

@@ -0,0 +1,168 @@
+# Unit specification of controlling expression of selection-statements and
+# iteration-statements.
+#
+# Author::    Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
+# Copyright:: Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+# License::   GPLv3+: GNU General Public License version 3 or later
+#
+# Owner::     Yutaka Yanoh <mailto:yanoh@users.sourceforge.net>
+
+#--
+#     ___    ____  __    ___   _________
+#    /   |  / _  |/ /   / / | / /__  __/           Source Code Static Analyzer
+#   / /| | / / / / /   / /  |/ /  / /                   AdLint - Advanced Lint
+#  / __  |/ /_/ / /___/ / /|  /  / /
+# /_/  |_|_____/_____/_/_/ |_/  /_/   Copyright (C) 2010-2012, OGIS-RI Co.,Ltd.
+#
+# This file is part of AdLint.
+#
+# AdLint is free software: you can redistribute it and/or modify it under the
+# terms of the GNU General Public License as published by the Free Software
+# Foundation, either version 3 of the License, or (at your option) any later
+# version.
+#
+# AdLint is distributed in the hope that it will be useful, but WITHOUT ANY
+# WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR
+# A PARTICULAR PURPOSE.  See the GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License along with
+# AdLint.  If not, see <http://www.gnu.org/licenses/>.
+#
+#++
+
+require "spec_helper"
+
+module AdLint
+module C
+
+  describe ControllingExpression do
+    before(:all) { Traits.instance.read_from($default_traits) }
+
+    before(:each) do
+      @symbol_table = SymbolTable.new
+      @type_table = TypeTable.new
+      @interpreter = Interpreter.new(@type_table)
+      @int_i = @interpreter.define_variable(int_i_definition)
+      @int_j = @interpreter.define_variable(int_j_definition)
+    end
+
+    context "`int i = ((> 0) && (< 10)) || (== 0)' and " +
+            "`int j = ((> 0) && (< 10)) || (== 0)'" do
+      before do
+        @int_i.narrow_value_domain!(Operator::GE, ScalarValue.of(0))
+        @int_i.narrow_value_domain!(Operator::LT, ScalarValue.of(10))
+        @int_j.narrow_value_domain!(Operator::GE, ScalarValue.of(0))
+        @int_j.narrow_value_domain!(Operator::LT, ScalarValue.of(10))
+      end
+
+      it "(i == j) makes that `i' should contain 0 and 9, " +
+         "and should not contain 10" do
+        expr = EqualityExpression.new(eq_operator, i_specifier, j_specifier)
+        branched_eval(expr, NARROWING, FINAL) do
+          @int_i.value.may_be_equal_to?(ScalarValue.of(0)).should be_true
+          @int_i.value.may_be_equal_to?(ScalarValue.of(9)).should be_true
+          @int_i.value.may_be_equal_to?(ScalarValue.of(10)).should_not be_true
+        end
+      end
+
+      it "(i != j) makes that `i' should contain 0 and 9, " +
+         "and should not contain 10" do
+        expr = EqualityExpression.new(ne_operator, i_specifier, j_specifier)
+        branched_eval(expr, NARROWING, FINAL) do
+          @int_i.value.may_be_equal_to?(ScalarValue.of(0)).should be_true
+          @int_i.value.may_be_equal_to?(ScalarValue.of(9)).should be_true
+          @int_i.value.may_be_equal_to?(ScalarValue.of(10)).should_not be_true
+        end
+      end
+    end
+
+    context "`int i = ((> 0) && (< 10)) || (== 0)' and " +
+            "`int j = ((> 3) && (< 5)) || (== 3)'" do
+      before do
+        @int_i.narrow_value_domain!(Operator::GE, ScalarValue.of(0))
+        @int_i.narrow_value_domain!(Operator::LT, ScalarValue.of(10))
+        @int_j.narrow_value_domain!(Operator::GE, ScalarValue.of(3))
+        @int_j.narrow_value_domain!(Operator::LT, ScalarValue.of(5))
+      end
+
+      it "(i == j) makes that `i' should contain 3 and 4, " +
+         "and should not contain 0" do
+        expr = EqualityExpression.new(eq_operator, i_specifier, j_specifier)
+        branched_eval(expr, NARROWING, FINAL) do
+          @int_i.value.may_be_equal_to?(ScalarValue.of(3)).should be_true
+          @int_i.value.may_be_equal_to?(ScalarValue.of(4)).should be_true
+          @int_i.value.may_be_equal_to?(ScalarValue.of(0)).should_not be_true
+        end
+      end
+    end
+
+    include InterpreterMediator
+
+    private
+    def eq_operator
+      Token.new("==", "==", nil_loc)
+    end
+
+    def ne_operator
+      Token.new("!=", "!=", nil_loc)
+    end
+
+    def i_specifier
+      object_specifier_of("i")
+    end
+
+    def j_specifier
+      object_specifier_of("j")
+    end
+
+    def object_specifier_of(name)
+      ObjectSpecifier.new(identifier_of(name))
+    end
+
+    def int_i_definition
+      uninitialized_int_vardef("i", @type_table.int_type)
+    end
+
+    def int_j_definition
+      uninitialized_int_vardef("j", @type_table.int_type)
+    end
+
+    def uninitialized_int_vardef(name, type)
+      decl_specs = DeclarationSpecifiers.new.tap { |ds|
+        ds.type_specifiers.push(int_type_specifier)
+      }
+      decl = Declaration.new(decl_specs, [uninitialized_int_decl(name)],
+                             @symbol_table)
+      decl.items.each { |item| item.type = type }
+      decl.items.find { |item| item.kind_of?(VariableDefinition) }
+    end
+
+    def uninitialized_int_decl(name)
+      InitDeclarator.new(IdentifierDeclarator.new(identifier_of(name)), nil)
+    end
+
+    def int_type_specifier
+      StandardTypeSpecifier.new(Token.new(:INT, "int", Location.new))
+    end
+
+    def identifier_of(name)
+      Token.new(:IDENTIFIER, name, nil_loc)
+    end
+
+    def nil_loc
+      Location.new
+    end
+
+    def resolve_type(node)
+      StaticTypeResolver.new.resolve(node)
+    end
+
+    def interpreter
+      @interpreter
+    end
+  end
+
+  include BranchOptions
+
+end
+end