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
The order in which we collect the predicates does not matter, as
they will be sorted anyway. As such, avoid the expensive depth
first walk over the dominator tree and instead use plain iteration
over the function.
0 commit comments