Searched refs:InputState (Results 1 – 2 of 2) sorted by relevance
213 ProgramStateRef InputState, in addImplication() argument215 if (!InputState) in addImplication()217 SValBuilder &SVB = InputState->getStateManager().getSValBuilder(); in addImplication()219 Negated ? InputState->get<NonNullImplicationMap>(Antecedent) in addImplication()220 : InputState->get<NullImplicationMap>(Antecedent); in addImplication()222 return InputState; in addImplication()225 ProgramStateRef State = InputState; in addImplication()227 if ((Negated && InputState->isNonNull(AntecedentV).isConstrainedTrue()) in addImplication()228 || (!Negated && InputState->isNull(AntecedentV).isConstrainedTrue())) { in addImplication()230 State = InputState->assume(ConsequentS.castAs<DefinedSVal>(), Negated); in addImplication()
349 TypeErasedDataflowAnalysisState &InputState, in builtinTransferStatement() argument353 transfer(StmtToEnvMap(AC.CFCtx, AC.BlockStates, CurBlockID, InputState), *S, in builtinTransferStatement()354 InputState.Env); in builtinTransferStatement()360 TypeErasedDataflowAnalysisState &InputState) { in builtinTransferInitializer() argument364 auto &Env = InputState.Env; in builtinTransferInitializer()