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