Searched refs:RecoverCastedSymbol (Results 1 – 1 of 1) sorted by relevance
1480 static SVal RecoverCastedSymbol(ProgramStateManager& StateMgr, in RecoverCastedSymbol() function1632 SVal recovered = RecoverCastedSymbol(getStateManager(), in processBranch()