Searched refs:FirstElementVal (Results 1 – 1 of 1) sorted by relevance
464 std::optional<Loc> FirstElementVal = in checkInit() local466 if (!FirstElementVal) in checkInit()471 State->getSVal(*FirstElementVal).isUndef()) { in checkInit()