To ensure a pointer offset fits in an integer of size PointerSize (in bits) when that size is smaller than 64. This is an issue in particular for 32b programs with negative indices that rely on two's complement wrap-arounds for precise alias information.
source not stored for this graph (policy: none)
no test coverage detected