Searched refs:InputState (Results 1 – 3 of 3) sorted by relevance
214 ProgramStateRef InputState, in addImplication() argument216 if (!InputState) in addImplication()218 SValBuilder &SVB = InputState->getStateManager().getSValBuilder(); in addImplication()220 Negated ? InputState->get<NonNullImplicationMap>(Antecedent) in addImplication()221 : InputState->get<NullImplicationMap>(Antecedent); in addImplication()223 return InputState; in addImplication()226 ProgramStateRef State = InputState; in addImplication()228 if ((Negated && InputState->isNonNull(AntecedentV).isConstrainedTrue()) in addImplication()229 || (!Negated && InputState->isNull(AntecedentV).isConstrainedTrue())) { in addImplication()231 State = InputState->assume(ConsequentS.castAs<DefinedSVal>(), Negated); in addImplication()
297 TypeErasedDataflowAnalysisState &InputState, in builtinTransferStatement() argument301 transfer(StmtToEnvMapImpl(AC.CFCtx, AC.BlockStates), *S, InputState.Env); in builtinTransferStatement()306 TypeErasedDataflowAnalysisState &InputState) { in builtinTransferInitializer() argument310 auto &Env = InputState.Env; in builtinTransferInitializer()
47 InputState => \&client_input,