Searched refs:NextPC (Results 1 – 1 of 1) sorted by relevance
288 uint64_t NextPC = Checker.getSymbolAddress(Symbol) + Size; in evalNextPC() local290 return std::make_pair(EvalResult(NextPC), RemainingExpr); in evalNextPC()