Searched refs:InitialVal (Results 1 – 2 of 2) sorted by relevance
289 SVal InitialVal = State->getSVal(LValLoc.getValue()); in checkBeginFunction() local290 SymbolRef Symbol = InitialVal.getAsSymbol(); in checkBeginFunction()
5256 Constant *InitialVal = AA::getInitialValueForObj(*Obj, *L.getType()); in handleLoad() local5257 if (!InitialVal || !Union(*InitialVal)) in handleLoad()