Class: AdLint::Exam::CBuiltin::W0255

Inherits:

PassiveCodeCheck

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

Includes:

Cc1::InterpreterMediator

Defined in:

lib/adlint/exam/c_builtin/cc1_check.rb

Direct Known Subclasses

W0256, W0257, W0258, W0259, W0260, W0261, W0262, W0263, W0264, W0265, W0266, W0267, W0268, W0269, W0270, W0271, W0272, W0273, W0274, W0275, W0276, W0277, W0278, W0279, W0280, W0281, W0282, W0283, W0284, W0285, W0286, W0287, W0288, W0289, W0290, W0291, W0292, W0293, W0294, W0295, W0296, W0297, W0298, W0299, W0300, W0301, W0302, W0303, W0304, W0305, W0306, W0307, W0308, W0309, W0310, W0311, W0312, W0313, W0314, W0315, W0316, W0317, W0318, W0319, W0320, W0321, W0322, W0323, W0324, W0325, W0326, W0327, W0328, W0329, W0330, W0331, W0332, W0333, W0334, W0335, W0336, W0337, W0338, W0339, W0340, W0341, W0342, W0343, W0344, W0345, W0346, W0347, W0348, W0349, W0350, W0351, W0352, W0353, W0354, W0355, W0356, W0357, W0358, W0359, W0360, W0361, W0362, W0363, W0364, W0365, W0366, W0367, W0368, W0369, W0370, W0371, W0372, W0373, W0374, W0375, W0376, W0377, W0378, W0379, W0380, W0381, W0382, W0383, W0384, W0385, W0386, W0387, W0388, W0389, W0390, W0391, W0392, W0393, W0394, W0395, W0396, W0397, W0398, W0399, W0400, W0401, W0402, W0403, W0404, W0405, W0406, W0407, W0408, W0409, W0410, W0774, W0775, W0776

Instance Method Summary

• #initialize(phase_ctxt) ⇒ W0255 constructor

  A new instance of W0255.

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) ⇒ W0255

Returns a new instance of W0255.

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

def initialize(phase_ctxt)
  super
  @interp = phase_ctxt[:cc1_interpreter]
  @interp.on_function_started   += T(:enter_function)
  @interp.on_function_ended     += T(:leave_function)
  @interp.on_return_stmt_evaled += T(:check)
  @cur_fun = nil
end