Page MenuHomePhabricator

[analyzer][NFC] Prove that we only track the evaluated part of the condition
ClosedPublic

Authored by Szelethus on Thu, Jul 25, 9:21 AM.

Diff Detail

Repository
rL LLVM

Event Timeline

Szelethus created this revision.Thu, Jul 25, 9:21 AM
NoQ accepted this revision.Thu, Jul 25, 1:35 PM

Just as planned!

This revision is now accepted and ready to land.Thu, Jul 25, 1:35 PM
xazax.hun accepted this revision.Mon, Jul 29, 9:03 PM

More tests are always welcome :)

This revision was automatically updated to reflect the committed changes.
Herald added a project: Restricted Project. · View Herald TranscriptWed, Aug 14, 6:52 AM