You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
[Verifier] Handle deref assumptions separately, don't early exit.
For some reason, some of the checks for specific assumbe bundle elements
exit early if the check pass, meaning we don't verify other entries.
This let a few cases with deref assumptions and non-constant integers slip
through. The patch also adds dedicated checks for assume bundles,
allowing non-constant integers. This is similar to how align is handled.
We could also first just replace the early returns with continues, but
that would require adjusting some tests.
0 commit comments