Searched refs:MaybeState (Results 1 – 2 of 2) sorted by relevance
248 std::optional<TypeErasedDataflowAnalysisState> MaybeState; in computeBlockInputState() local279 if (MaybeState) { in computeBlockInputState()280 Analysis.joinTypeErased(MaybeState->Lattice, PredState.Lattice); in computeBlockInputState()281 MaybeState->Env.join(PredState.Env, Analysis); in computeBlockInputState()283 MaybeState = std::move(PredState); in computeBlockInputState()286 if (!MaybeState) { in computeBlockInputState()290 MaybeState.emplace(Analysis.typeErasedInitialElement(), AC.InitEnv); in computeBlockInputState()292 return *MaybeState; in computeBlockInputState()
1224 std::optional<ProgramStateRef> MaybeState = in checkKernelMalloc() local1226 if (MaybeState) in checkKernelMalloc()1227 State = *MaybeState; in checkKernelMalloc()