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