Module: AdLint::Cc1::UndefinableContextTracing

Includes:
ContextTracing, NegativePathsTracing
Defined in:
lib/adlint/cc1/trace.rb

Instance Method Summary collapse

Methods included from NegativePathsTracing

#trace_negative_paths

Methods included from ContextTracing

#sample_positive_transition, #traceable_negative_contribs, #traceable_positive_contribs

Instance Method Details

#emit_context_messages(report, loc) ⇒ Object 



136
137
138
139
140
141
142
143
144
145
146
147
 
# File 'lib/adlint/cc1/trace.rb', line 136

def emit_context_messages(report, loc)
  traced = Set.new
  msgs = trace_positive_paths(report, loc, traced) +
         trace_negative_paths(report, loc, traced)

  unless msgs.empty?
    [report.C(:C1000, Location.new)] +
      msgs.sort { |a, b| a.location <=> b.location }
  else
    []
  end
end