Searched refs:LastElementVal (Results 1 – 1 of 1) sorted by relevance
522 SVal LastElementVal = in checkInit() local524 if (!isa<Loc>(LastElementVal)) in checkInit()528 State->getSVal(LastElementVal.castAs<Loc>()).isUndef()) { in checkInit()544 LastElementVal.getAsRegion(), OS.str()); in checkInit()