tree 3da0f4d36c73eb5ea8dd127982653103fefb8049
parent f5ad6fa279cc012427b119828bdb679af5197c70
author Nikita Popov <nikita.ppv@gmail.com> 1638302851 +0100
committer Nikita Popov <nikita.ppv@gmail.com> 1638302920 +0100

[SCEV] Verify integrity of ValuesAtScopes and users (NFC)

Make sure that ValuesAtScopes and ValuesAtScopesUsers are
consistent during SCEV verification.