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()
314 TypeErasedDataflowAnalysisState &InputState, in builtinTransferStatement() argument318 transfer(StmtToEnvMap(AC.ACFG, AC.BlockStates, CurBlockID, InputState), *S, in builtinTransferStatement()319 InputState.Env, AC.Analysis); in builtinTransferStatement()325 TypeErasedDataflowAnalysisState &InputState) { in builtinTransferInitializer() argument329 auto &Env = InputState.Env; in builtinTransferInitializer()