-
- Downloads
Only add test constraints on blocks with a single predecessor.
When we substitute a constant due to an EQL constraint, punt of the loop so that we don't lose due to assuming that the ref's leaf is a lambda-var. Only change a IF test to T when there is no type constraint on the continuation (e.g. ENDP).
Loading
Please register or sign in to comment