class AdLint::Exam::CBuiltin::W1047

Public Class Methods

new(phase_ctxt) click to toggle source
Calls superclass method AdLint::Examination::new
# File lib/adlint/exam/c_builtin/cc1_check.rb, line 20847
def initialize(phase_ctxt)
  super
  @interp = phase_ctxt[:cc1_interpreter]
  @interp.on_variable_initialized += T(:check)
end

Private Instance Methods

check(var_def, *) click to toggle source
# File lib/adlint/exam/c_builtin/cc1_check.rb, line 20854
def check(var_def, *)
  type = var_def.type
  return unless type.struct? || type.union? || type.array?

  if init = var_def.initializer
    Cc1::ExpressionExtractor.new.tap { |extr|
      init.accept(extr)
    }.expressions.each do |expr|
      unless constant_expression?(expr)
        W(var_def.location)
        break
      end
    end
  end
end
interpreter() click to toggle source
# File lib/adlint/exam/c_builtin/cc1_check.rb, line 20870
def interpreter
  @interp
end