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