PGO: Use past-the-end semantics for pointer range