Searched defs:MaybeState (Results 1 – 2 of 2) sorted by relevance
91 const std::optional<StateT> &MaybeState = blockStateForStmt() local
1154 std::optional<ProgramStateRef> MaybeState = checkKernelMalloc() local