Searched refs:InitialVal (Results 1 – 1 of 1) sorted by relevance
290 SVal InitialVal = State->getSVal(LValLoc.getValue()); in checkBeginFunction() local291 SymbolRef Symbol = InitialVal.getAsSymbol(); in checkBeginFunction()