Searched refs:LastElementVal (Results 1 – 1 of 1) sorted by relevance
520 SVal LastElementVal = in checkInit() local522 if (!isa<Loc>(LastElementVal)) in checkInit()526 State->getSVal(LastElementVal.castAs<Loc>()).isUndef()) { in checkInit()