Home
last modified time | relevance | path

Searched refs:MaybeState (Results 1 – 2 of 2) sorted by relevance

/llvm-project-15.0.7/clang/lib/Analysis/FlowSensitive/
H A DTypeErasedDataflowAnalysis.cpp202 llvm::Optional<TypeErasedDataflowAnalysisState> MaybeState; in computeBlockInputState() local
228 if (MaybeState) { in computeBlockInputState()
229 Analysis.joinTypeErased(MaybeState->Lattice, PredState.Lattice); in computeBlockInputState()
230 MaybeState->Env.join(PredState.Env, Analysis); in computeBlockInputState()
232 MaybeState = std::move(PredState); in computeBlockInputState()
235 if (!MaybeState) { in computeBlockInputState()
239 MaybeState.emplace(Analysis.typeErasedInitialElement(), InitEnv); in computeBlockInputState()
241 return *MaybeState; in computeBlockInputState()
/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Checkers/
H A DMallocChecker.cpp1239 llvm::Optional<ProgramStateRef> MaybeState = in checkKernelMalloc() local
1241 if (MaybeState) in checkKernelMalloc()
1242 State = MaybeState.value(); in checkKernelMalloc()