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