Searched refs:FirstElementVal (Results 1 – 1 of 1) sorted by relevance
465 std::optional<Loc> FirstElementVal = in checkInit() local467 if (!FirstElementVal) in checkInit()472 State->getSVal(*FirstElementVal).isUndef()) { in checkInit()479 FirstElementVal->getAsRegion(), OS.str()); in checkInit()