adlint 3.0.10 → 3.2.0

data/spec/adlint/cc1/ctrlexpr_spec.rb

@@ -46,8 +46,8 @@ module Cc1
       @symbol_table = SymbolTable.new
       @type_table   = TypeTable.new(@adlint.traits, @monitor, @logger)
       @interpreter  = Interpreter.new(@type_table)
-      @int_i        = @interpreter.define_variable(int_i_def)
-      @int_j        = @interpreter.define_variable(int_j_def)
+      @int_i        = @interpreter.define_variable(int_i_def, nil)
+      @int_j        = @interpreter.define_variable(int_j_def, nil)
     end
 
     context "`int i = ((> 0) && (< 10)) || (== 0)' and " +
@@ -63,9 +63,12 @@ module Cc1
          "and should not contain 10" do
         expr = EqualityExpression.new(eq_op, i_spec, j_spec)
         branched_eval(expr, NARROWING, FINAL) do
-          @int_i.value.may_be_equal_to?(scalar_value_of(0)).should be_true
-          @int_i.value.may_be_equal_to?(scalar_value_of(9)).should be_true
-          @int_i.value.may_be_equal_to?(scalar_value_of(10)).should_not be_true
+          @int_i.value.test_may_be_equal_to(
+            scalar_value_of(0)).result.should be_true
+          @int_i.value.test_may_be_equal_to(
+            scalar_value_of(9)).result.should be_true
+          @int_i.value.test_may_be_equal_to(
+            scalar_value_of(10)).result.should be_false
         end
       end
 
@@ -73,9 +76,12 @@ module Cc1
          "and should not contain 10" do
         expr = EqualityExpression.new(ne_op, i_spec, j_spec)
         branched_eval(expr, NARROWING, FINAL) do
-          @int_i.value.may_be_equal_to?(scalar_value_of(0)).should be_true
-          @int_i.value.may_be_equal_to?(scalar_value_of(9)).should be_true
-          @int_i.value.may_be_equal_to?(scalar_value_of(10)).should_not be_true
+          @int_i.value.test_may_be_equal_to(
+            scalar_value_of(0)).result.should be_true
+          @int_i.value.test_may_be_equal_to(
+            scalar_value_of(9)).result.should be_true
+          @int_i.value.test_may_be_equal_to(
+            scalar_value_of(10)).result.should be_false
         end
       end
     end
@@ -93,9 +99,12 @@ module Cc1
          "and should not contain 0" do
         expr = EqualityExpression.new(eq_op, i_spec, j_spec)
         branched_eval(expr, NARROWING, FINAL) do
-          @int_i.value.may_be_equal_to?(scalar_value_of(3)).should be_true
-          @int_i.value.may_be_equal_to?(scalar_value_of(4)).should be_true
-          @int_i.value.may_be_equal_to?(scalar_value_of(0)).should_not be_true
+          @int_i.value.test_may_be_equal_to(
+            scalar_value_of(3)).result.should be_true
+          @int_i.value.test_may_be_equal_to(
+            scalar_value_of(4)).result.should be_true
+          @int_i.value.test_may_be_equal_to(
+            scalar_value_of(0)).result.should be_false
         end
       end
     end

data/spec/adlint/cc1/domain_spec.rb

@@ -834,6 +834,15 @@ module Cc1
         #  (subject / rhs).to_s.should == "((< 10) && (> 0))"
         #end
       end
+
+      context "(== 0)" do
+        subject { value_domain_equal_to(0) }
+
+        it "narrowed by == ((== 3) || (== 4)) should be (== Nil)" do
+          rhs = value_domain_equal_to(3).union(value_domain_equal_to(4))
+          subject.narrow(Operator::EQ, rhs).to_s.should == "(== Nil)"
+        end
+      end
     end
 
     private

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: adlint
 version: !ruby/object:Gem::Version
-  version: 3.0.10
+  version: 3.2.0
   prerelease: 
 platform: ruby
 authors:
@@ -9,7 +9,7 @@ authors:
 autorequire: 
 bindir: bin
 cert_chain: []
-date: 2013-06-28 00:00:00.000000000 Z
+date: 2013-08-28 00:00:00.000000000 Z
 dependencies: []
 description: ! 'AdLint is a source code static analyzer.
 
@@ -255,6 +255,7 @@ files:
 - features/code_check/W0502.feature
 - features/code_check/W0534.feature
 - features/code_check/W0542.feature
+- features/code_check/W0570.feature
 - features/code_check/W0573.feature
 - features/code_check/W0580.feature
 - features/code_check/W0582.feature
@@ -419,6 +420,7 @@ files:
 - lib/adlint/cc1/scope.rb
 - lib/adlint/cc1/seqp.rb
 - lib/adlint/cc1/syntax.rb
+- lib/adlint/cc1/trace.rb
 - lib/adlint/cc1/type.rb
 - lib/adlint/cc1/util.rb
 - lib/adlint/cc1/value.rb