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