Auto merge of #137704 - nnethercote:opt-empty-prov-range-checks, r=ol…

…i-obk

Optimize empty provenance range checks.

Currently it gets the pointers in the range and checks if the result is empty, but it can be done faster if you combine those two steps.

r? `@oli-obk`