HomeSort by: relevance | last modified time | path
    Searched defs:Antecedent (Results 1 - 1 of 1) sorted by relevancy

  /src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
TrustNonnullChecker.cpp 34 /// (antecedent != 0) => (consequent != 0)
40 /// (antecedent == 0) => (consequent == 0)
73 const SymbolRef Antecedent = *B;
74 State = addImplication(Antecedent, State, true);
75 State = addImplication(Antecedent, State, false);
211 /// the negation of \p Antecedent.
212 /// Checks NonNullImplicationMap and assumes \p Antecedent otherwise.
213 ProgramStateRef addImplication(SymbolRef Antecedent,
220 Negated ? InputState->get<NonNullImplicationMap>(Antecedent)
221 : InputState->get<NullImplicationMap>(Antecedent);
    [all...]

Completed in 19 milliseconds