[profiler] prevent duplicate id
With the switch to primitive ids make sure no profiler can be returned with the same id. Bug: chromium:1297283 Change-Id: I9cf944e9a472ea45679feb0f30137dba95a32ca6 Reviewed-on: https://chromium-review.googlesource.com/c/v8/v8/+/3582786 Auto-Submit: Corentin Pescheloche <cpescheloche@fb.com> Reviewed-by: Camillo Bruni <cbruni@chromium.org> Commit-Queue: Camillo Bruni <cbruni@chromium.org> Cr-Commit-Position: refs/heads/main@{#79975}
Showing
Please
register
or
sign in
to comment