Disable unnecessary pointer checks, enable necessary pointer checks i…#6459

Merged

tautschnig merged 3 commits intodiffblue:developfrom

remi-delmas-3000:assigns-clause-perf-optim

Dec 3, 2021

Commits on Dec 3, 2021

Adding readable names for CAR instrumentation variables.
Remi Delmas
committed
Disabling pointer checks on CAR inclusion instructions. Enabling pointer overflow checks on CAR upper bound computation.
Remi Delmas
committed
Fixed test that triggers the newly added pointer overflow checks
Remi Delmas
committed