Searched defs:InputState (Results 1 – 2 of 2) sorted by relevance
213 ProgramStateRef InputState, in addImplication()
314 builtinTransferStatement(unsigned CurBlockID,const CFGStmt & Elt,TypeErasedDataflowAnalysisState & InputState,AnalysisContext & AC) builtinTransferStatement() argument 325 builtinTransferInitializer(const CFGInitializer & Elt,TypeErasedDataflowAnalysisState & InputState) builtinTransferInitializer() argument