Searched defs:InputState (Results 1 - 2 of 2) sorted by relevance

/openbsd-current/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/
H A DTrustNonnullChecker.cpp213 addImplication(SymbolRef Antecedent, ProgramStateRef InputState, bool Negated) const argument
[all...]
/openbsd-current/gnu/llvm/clang/lib/Analysis/FlowSensitive/
H A DTypeErasedDataflowAnalysis.cpp296 builtinTransferStatement(const CFGStmt &Elt, TypeErasedDataflowAnalysisState &InputState, AnalysisContext &AC) argument
305 builtinTransferInitializer(const CFGInitializer &Elt, TypeErasedDataflowAnalysisState &InputState) argument

Completed in 86 milliseconds