Searched refs:wrapSymbolicRegion (Results 1 – 2 of 2) sorted by relevance
222 SVal ProgramState::wrapSymbolicRegion(SVal Val) const { in wrapSymbolicRegion() function in ProgramState468 Base = wrapSymbolicRegion(Base); in getLValue()475 Base = wrapSymbolicRegion(Base); in getLValue()
491 SVal wrapSymbolicRegion(SVal Base) const;