Searched refs:MaybeState (Results 1 – 1 of 1) sorted by relevance
1230 std::optional<ProgramStateRef> MaybeState = in checkKernelMalloc() local1232 if (MaybeState) in checkKernelMalloc()1233 State = *MaybeState; in checkKernelMalloc()