Page MenuHomePhabricator

[LAA] Always compute DepId, even for uncomputable bounds.
Needs ReviewPublic

Authored by fhahn on Fri, Jan 1, 5:58 AM.

Details

Reviewers
Ayal
anemet
Summary

We can compute the dependency set id before checking for computable
bounds in createCheckForAccess. This allows us to rely on RunningDepId
only to check if runtime checks are required.

Uncomputable bounds are only an issue if runtime memory checks need to
be generated and with this change. Hence we can continue further with
the analysis, if there are uncomputable bounds, but not memchecks are
required.

Diff Detail