adlint 1.10.0 → 1.12.0

data/lib/adlint/c/syntax.rb

@@ -428,16 +428,24 @@ module C #:nodoc:
       }
     end
 
+    def logical?
+      subclass_responsibility
+    end
+
+    def arithmetic?
+      subclass_responsibility
+    end
+
+    def bitwise?
+      subclass_responsibility
+    end
+
     def object_specifiers
       ObjectSpecifierCollector.new.tap { |collector|
         self.accept(collector)
       }.object_specifiers
     end
 
-    def logical?
-      subclass_responsibility
-    end
-
     def to_s
       subclass_responsibility
     end
@@ -461,6 +469,14 @@ module C #:nodoc:
       false
     end
 
+    def arithmetic?
+      false
+    end
+
+    def bitwise?
+      false
+    end
+
     def to_s
       @error_token.value
     end
@@ -471,15 +487,7 @@ module C #:nodoc:
     end
   end
 
-  class PrimaryExpression < Expression
-    def have_side_effect?
-      false
-    end
-
-    def logical?
-      false
-    end
-  end
+  class PrimaryExpression < Expression; end
 
   class ObjectSpecifier < PrimaryExpression
     def initialize(identifier)
@@ -493,10 +501,22 @@ module C #:nodoc:
       @identifier.location
     end
 
+    def have_side_effect?
+      false
+    end
+
     def logical?
       false
     end
 
+    def arithmetic?
+      false
+    end
+
+    def bitwise?
+      false
+    end
+
     def to_s
       @identifier.value
     end
@@ -531,10 +551,22 @@ module C #:nodoc:
       @constant.value =~ /'.*'/
     end
 
+    def have_side_effect?
+      false
+    end
+
     def logical?
       false
     end
 
+    def arithmetic?
+      false
+    end
+
+    def bitwise?
+      false
+    end
+
     def to_s
       @constant.value
     end
@@ -561,10 +593,22 @@ module C #:nodoc:
       @literal.value.scan(/\AL/i).first
     end
 
+    def have_side_effect?
+      false
+    end
+
     def logical?
       false
     end
 
+    def arithmetic?
+      false
+    end
+
+    def bitwise?
+      false
+    end
+
     def to_s
       @literal.value
     end
@@ -587,10 +631,22 @@ module C #:nodoc:
       @token.location
     end
 
+    def have_side_effect?
+      false
+    end
+
     def logical?
       false
     end
 
+    def arithmetic?
+      false
+    end
+
+    def bitwise?
+      false
+    end
+
     def to_s
       @token.value
     end
@@ -621,6 +677,14 @@ module C #:nodoc:
       @expression.logical?
     end
 
+    def arithmetic?
+      @expression.arithmetic?
+    end
+
+    def bitwise?
+      @expression.bitwise?
+    end
+
     def to_s
       "(#{expression.to_s})"
     end
@@ -641,10 +705,6 @@ module C #:nodoc:
     def location
       @operator.location
     end
-
-    def logical?
-      false
-    end
   end
 
   class ArraySubscriptExpression < PostfixExpression
@@ -661,6 +721,18 @@ module C #:nodoc:
       @expression.have_side_effect? || @array_subscript.have_side_effect?
     end
 
+    def logical?
+      false
+    end
+
+    def arithmetic?
+      false
+    end
+
+    def bitwise?
+      false
+    end
+
     def to_s
       "#{@expression.to_s}[#{@array_subscript.to_s}]"
     end
@@ -686,6 +758,18 @@ module C #:nodoc:
       true
     end
 
+    def logical?
+      false
+    end
+
+    def arithmetic?
+      false
+    end
+
+    def bitwise?
+      false
+    end
+
     def to_s
       "#{@expression.to_s}(" +
         @argument_expressions.map { |expr| expr.to_s }.join(",") + ")"
@@ -712,6 +796,18 @@ module C #:nodoc:
       @expression.have_side_effect?
     end
 
+    def logical?
+      false
+    end
+
+    def arithmetic?
+      false
+    end
+
+    def bitwise?
+      false
+    end
+
     def to_s
       "#{@expression.to_s}.#{@identifier.value}"
     end
@@ -736,6 +832,18 @@ module C #:nodoc:
       @expression.have_side_effect?
     end
 
+    def logical?
+      false
+    end
+
+    def arithmetic?
+      false
+    end
+
+    def bitwise?
+      false
+    end
+
     def to_s
       "#{@expression.to_s}->#{@identifier.value}"
     end
@@ -760,6 +868,18 @@ module C #:nodoc:
       @expression.have_side_effect?
     end
 
+    def logical?
+      false
+    end
+
+    def arithmetic?
+      false
+    end
+
+    def bitwise?
+      false
+    end
+
     def to_s
       "#{@expression.to_s}.#{@constant.value}"
     end
@@ -784,6 +904,18 @@ module C #:nodoc:
       @expression.have_side_effect?
     end
 
+    def logical?
+      false
+    end
+
+    def arithmetic?
+      false
+    end
+
+    def bitwise?
+      false
+    end
+
     def to_s
       "#{@expression.to_s}->#{@constant.value}"
     end
@@ -795,7 +927,7 @@ module C #:nodoc:
   end
 
   class PostfixIncrementExpression < PostfixExpression
-    def initialize(operand, operator)
+    def initialize(operator, operand)
       super(operator)
       @operand = operand
     end
@@ -806,6 +938,18 @@ module C #:nodoc:
       true
     end
 
+    def logical?
+      false
+    end
+
+    def arithmetic?
+      true
+    end
+
+    def bitwise?
+      false
+    end
+
     def to_s
       "#{@operand.to_s}++"
     end
@@ -817,7 +961,7 @@ module C #:nodoc:
   end
 
   class PostfixDecrementExpression < PostfixExpression
-    def initialize(operand, operator)
+    def initialize(operator, operand)
       super(operator)
       @operand = operand
     end
@@ -828,6 +972,18 @@ module C #:nodoc:
       true
     end
 
+    def logical?
+      false
+    end
+
+    def arithmetic?
+      true
+    end
+
+    def bitwise?
+      false
+    end
+
     def to_s
       "#{@operand.to_s}--"
     end
@@ -852,6 +1008,18 @@ module C #:nodoc:
       false
     end
 
+    def logical?
+      false
+    end
+
+    def arithmetic?
+      false
+    end
+
+    def bitwise?
+      false
+    end
+
     def to_s
       "(#{@type_name.to_s}){" +
         @initializers.map { |ini| ini.to_s }.join(",") + "}"
@@ -877,10 +1045,6 @@ module C #:nodoc:
       @operator.location
     end
 
-    def have_side_effect?
-      @operand.have_side_effect?
-    end
-
     def to_s
       @operator.value + @operand.to_s
     end
@@ -899,6 +1063,14 @@ module C #:nodoc:
     def logical?
       false
     end
+
+    def arithmetic?
+      true
+    end
+
+    def bitwise?
+      false
+    end
   end
 
   class PrefixDecrementExpression < UnaryExpression
@@ -909,31 +1081,87 @@ module C #:nodoc:
     def logical?
       false
     end
+
+    def arithmetic?
+      true
+    end
+
+    def bitwise?
+      false
+    end
   end
 
   class AddressExpression < UnaryExpression
+    def have_side_effect?
+      operand.have_side_effect?
+    end
+
     def logical?
       false
     end
+
+    def arithmetic?
+      false
+    end
+
+    def bitwise?
+      false
+    end
   end
 
   class IndirectionExpression < UnaryExpression
+    def have_side_effect?
+      operand.have_side_effect?
+    end
+
     def logical?
       false
     end
+
+    def arithmetic?
+      false
+    end
+
+    def bitwise?
+      false
+    end
   end
 
   class UnaryArithmeticExpression < UnaryExpression
+    def have_side_effect?
+      operand.have_side_effect?
+    end
+
     def logical?
-      @operator.type == "!"
+      operator.type == "!"
+    end
+
+    def arithmetic?
+      false
+    end
+
+    def bitwise?
+      operator.type == "~"
     end
   end
 
   class SizeofExpression < UnaryExpression
+    def have_side_effect?
+      false
+    end
+
     def logical?
       false
     end
 
+    def arithmetic?
+      false
+    end
+
+    def bitwise?
+      false
+    end
+
     def to_s
       "sizeof(#{@operand.to_s})"
     end
@@ -948,16 +1176,36 @@ module C #:nodoc:
       false
     end
 
+    def arithmetic?
+      false
+    end
+
+    def bitwise?
+      false
+    end
+
     def to_s
       "sizeof(#{@operand.to_s})"
     end
   end
 
   class AlignofExpression < UnaryExpression
+    def have_side_effect?
+      false
+    end
+
     def logical?
       false
     end
 
+    def arithmetic?
+      false
+    end
+
+    def bitwise?
+      false
+    end
+
     def to_s
       "alignof(#{@operand.to_s})"
     end
@@ -972,6 +1220,14 @@ module C #:nodoc:
       false
     end
 
+    def arithmetic?
+      false
+    end
+
+    def bitwise?
+      false
+    end
+
     def to_s
       "alignof(#{@operand.to_s})"
     end
@@ -996,7 +1252,15 @@ module C #:nodoc:
     end
 
     def logical?
-      false
+      @operand.logical?
+    end
+
+    def arithmetic?
+      @operand.arithmetic?
+    end
+
+    def bitwise?
+      @operand.bitwise?
     end
 
     def to_s
@@ -1025,10 +1289,6 @@ module C #:nodoc:
       @operator.location
     end
 
-    def have_side_effect?
-      lhs_operand.have_side_effect? || rhs_operand.have_side_effect?
-    end
-
     def to_s
       "#{@lhs_operand.to_s} #{@operator.value} #{@rhs_operand.to_s}"
     end
@@ -1040,51 +1300,147 @@ module C #:nodoc:
   end
 
   class MultiplicativeExpression < BinaryExpression
+    def have_side_effect?
+      lhs_operand.have_side_effect? || rhs_operand.have_side_effect?
+    end
+
     def logical?
       false
     end
+
+    def arithmetic?
+      true
+    end
+
+    def bitwise?
+      false
+    end
   end
 
   class AdditiveExpression < BinaryExpression
+    def have_side_effect?
+      lhs_operand.have_side_effect? || rhs_operand.have_side_effect?
+    end
+
     def logical?
       false
     end
+
+    def arithmetic?
+      true
+    end
+
+    def bitwise?
+      false
+    end
   end
 
   class ShiftExpression < BinaryExpression
+    def have_side_effect?
+      lhs_operand.have_side_effect? || rhs_operand.have_side_effect?
+    end
+
     def logical?
       false
     end
+
+    def arithmetic?
+      false
+    end
+
+    def bitwise?
+      true
+    end
   end
 
   class RelationalExpression < BinaryExpression
+    def have_side_effect?
+      lhs_operand.have_side_effect? || rhs_operand.have_side_effect?
+    end
+
     def logical?
       true
     end
+
+    def arithmetic?
+      false
+    end
+
+    def bitwise?
+      false
+    end
   end
 
   class EqualityExpression < BinaryExpression
+    def have_side_effect?
+      lhs_operand.have_side_effect? || rhs_operand.have_side_effect?
+    end
+
     def logical?
       true
     end
+
+    def arithmetic?
+      false
+    end
+
+    def bitwise?
+      false
+    end
   end
 
   class AndExpression < BinaryExpression
+    def have_side_effect?
+      lhs_operand.have_side_effect? || rhs_operand.have_side_effect?
+    end
+
     def logical?
       false
     end
+
+    def arithmetic?
+      false
+    end
+
+    def bitwise?
+      true
+    end
   end
 
   class ExclusiveOrExpression < BinaryExpression
+    def have_side_effect?
+      lhs_operand.have_side_effect? || rhs_operand.have_side_effect?
+    end
+
     def logical?
       false
     end
+
+    def arithmetic?
+      false
+    end
+
+    def bitwise?
+      true
+    end
   end
 
   class InclusiveOrExpression < BinaryExpression
+    def have_side_effect?
+      lhs_operand.have_side_effect? || rhs_operand.have_side_effect?
+    end
+
     def logical?
       false
     end
+
+    def arithmetic?
+      false
+    end
+
+    def bitwise?
+      true
+    end
   end
 
   class LogicalAndExpression < BinaryExpression
@@ -1104,9 +1460,21 @@ module C #:nodoc:
       @lhs_operand.append_sequence_point!
     end
 
+    def have_side_effect?
+      lhs_operand.have_side_effect? || rhs_operand.have_side_effect?
+    end
+
     def logical?
       true
     end
+
+    def arithmetic?
+      false
+    end
+
+    def bitwise?
+      false
+    end
   end
 
   class LogicalOrExpression < BinaryExpression
@@ -1126,9 +1494,21 @@ module C #:nodoc:
       @lhs_operand.append_sequence_point!
     end
 
+    def have_side_effect?
+      lhs_operand.have_side_effect? || rhs_operand.have_side_effect?
+    end
+
     def logical?
       true
     end
+
+    def arithmetic?
+      false
+    end
+
+    def bitwise?
+      false
+    end
   end
 
   class ConditionalExpression < Expression
@@ -1174,6 +1554,14 @@ module C #:nodoc:
       @then_expression.logical? || @else_expression.logical?
     end
 
+    def arithmetic?
+      @then_expression.arithmetic? || @else_expression.arithmetic?
+    end
+
+    def bitwise?
+      @then_expression.bitwise? || @else_expression.bitwise?
+    end
+
     def to_s
       "#{@condition.to_s} ? " +
         "#{@then_expression.to_s} : #{@else_expression.to_s}"
@@ -1193,7 +1581,15 @@ module C #:nodoc:
     end
 
     def logical?
-      @rhs_operand.logical?
+      rhs_operand.logical?
+    end
+
+    def arithmetic?
+      rhs_operand.arithmetic?
+    end
+
+    def bitwise?
+      rhs_operand.bitwise?
     end
   end
 
@@ -1205,6 +1601,14 @@ module C #:nodoc:
     def logical?
       false
     end
+
+    def arithmetic?
+      ["*=", "/=", "%=", "+=", "-="].include?(operator.type)
+    end
+
+    def bitwise?
+      ["<<=", ">>=", "&=", "^=", "|="].include?(operator.type)
+    end
   end
 
   class CommaSeparatedExpression < Expression
@@ -1228,6 +1632,14 @@ module C #:nodoc:
       @expressions.last.logical?
     end
 
+    def arithmetic?
+      @expressions.last.arithmetic?
+    end
+
+    def bitwise?
+      @expressions.last.bitwise?
+    end
+
     def to_s
       @expressions.map { |expr| expr.to_s }.join(",")
     end