Searched refs:RecoverCastedSymbol (Results 1 – 1 of 1) sorted by relevance
898 static SVal RecoverCastedSymbol(GRStateManager& StateMgr, const GRState* state, in RecoverCastedSymbol() function962 SVal recovered = RecoverCastedSymbol(getStateManager(), in processBranch()