Page MenuHomePhabricator

[analyzer] Enable control dependency condition tracking by default
ClosedPublic

Authored by Szelethus on Sat, Aug 17, 10:22 AM.

Diff Detail

Event Timeline

Szelethus created this revision.Sat, Aug 17, 10:22 AM
NoQ accepted this revision.Wed, Aug 21, 10:55 AM

The code looks good and there seems to be a lot of test coverage :]

This revision is now accepted and ready to land.Wed, Aug 21, 10:55 AM
In D66381#1639679, @NoQ wrote:

The code looks good and there seems to be a lot of test coverage :]

Thank you! It would not have been possible on my own! And actually, there are a couple minor nits, such as caching the retrieved CFGBlock for each ExplodedNode (at least for the node we're calculating control dependencies for), so I'll address that soon™.

This revision was automatically updated to reflect the committed changes.