Class: AdLint::Exam::CBuiltin::W0119

Inherits:

PassiveCodeCheck

• Object
• AdLint::Examination
• CodeCheck
• PassiveCodeCheck
• AdLint::Exam::CBuiltin::W0119

Includes:

Cc1::InterpreterMediator

Defined in:

lib/adlint/exam/c_builtin/cc1_check.rb

Direct Known Subclasses

W0120, W0121, W0122, W0123, W0124, W0125, W0126, W0127, W0128, W0129, W0130, W0131, W0132, W0133, W0134, W0135, W0136, W0137, W0138, W0139, W0140, W0141, W0142, W0143, W0144, W0145, W0146, W0147, W0148, W0149, W0150, W0151, W0152, W0153, W0154, W0155, W0156, W0157, W0158, W0159, W0160, W0161, W0162, W0163, W0164, W0165, W0166, W0167, W0168, W0169, W0170, W0171, W0172, W0173, W0174, W0175, W0176, W0177, W0178, W0179, W0180, W0181, W0182, W0183, W0184, W0185, W0186, W0187, W0188, W0189, W0190, W0191, W0192, W0193, W0194, W0195, W0196, W0197, W0198, W0199, W0200, W0201, W0202, W0203, W0204, W0205, W0206, W0207, W0208, W0209, W0210, W0211, W0212, W0213, W0214, W0215, W0216, W0217, W0218, W0219, W0220, W0221, W0222, W0223, W0224, W0225, W0226, W0227, W0228, W0229, W0230, W0231, W0232, W0233, W0234, W0235, W0236, W0237, W0238, W0239, W0240, W0241, W0242, W0243, W0244, W0245, W0246, W0247, W0248, W0249, W0250, W0251, W0252, W0253, W0254, W0747, W0748, W0749, W0750, W0751, W0752, W0753, W0754, W0755, W0756, W0757, W0758, W0759, W0760, W0761, W0762, W0763, W0764, W0765, W0766, W0767, W0768, W0769

Instance Method Summary

• #initialize(phase_ctxt) ⇒ W0119 constructor

  A new instance of W0119.

Methods included from Cc1::InterpreterMediator

#constant_expression?, #current_branch, #interpret, #object_to_pointer, #object_to_variable, #pointer_value_of, #reset_environment, #scalar_value_of, #scalar_value_of_arbitrary, #scalar_value_of_false, #scalar_value_of_null, #scalar_value_of_true, #value_of

Methods included from Cc1::InterpSyntaxBridge

#_interp_syntax_bridge_

Methods included from Cc1::InterpObjectBridge

#_interp_object_bridge_

Methods included from ArithmeticAccessor

#arithmetic, #logical_right_shift?

Methods included from Cc1::FunctionTableMediator

#declare_explicit_function, #declare_implicit_function, #define_anonymous_function, #define_explicit_function

Methods included from Cc1::VariableTableMediator

#create_tmpvar, #local_variables

Methods included from Cc1::MemoryPoolMediator

#pointee_of

Methods inherited from CodeCheck

message_id, message_name, #message_name, must_be_deferred?, must_be_unique?, required?

Methods inherited from AdLint::Examination

catalog, #execute, registrant_phase_class, required?

Methods included from LogUtil

#log_debug, #log_error, #log_fatal, #log_info, #log_warn

Methods included from ReportUtil

#create_context_message, #write_FL_FUNC, #write_FL_STMT, #write_FN_CALL, #write_FN_CSUB, #write_FN_CYCM, #write_FN_GOTO, #write_FN_LINE, #write_FN_NEST, #write_FN_PARA, #write_FN_PATH, #write_FN_RETN, #write_FN_STMT, #write_FN_UELS, #write_FN_UNRC, #write_FN_UNUV, #write_assignment, #write_error_message, #write_funcall, #write_fundcl, #write_fundef, #write_gvardcl, #write_include, #write_initialization, #write_labeldef, #write_literal, #write_macrodef, #write_pp_directive, #write_typedcl, #write_vardef, #write_warning_message, #write_xref_function, #write_xref_variable

Constructor Details

#initialize(phase_ctxt) ⇒ W0119

Returns a new instance of W0119.

# File 'lib/adlint/exam/c_builtin/cc1_check.rb', line 3155

def initialize(phase_ctxt)
  super
  @interp = phase_ctxt[:cc1_interpreter]
  @interp.on_implicit_conv_performed += T(:check)
end