This is an archive of the discontinued LLVM Phabricator instance.

[Attributor][NFC] Invalid DerefState is at fixpoint
ClosedPublic

Authored by jdoerfert on Aug 1 2019, 9:19 AM.

Details

Summary

If the DerefBytesState (and thereby the DerefState) is invalid, we
reached a fixpoint for the whole DerefState as we will not
manifest/provide information then.

Event Timeline

jdoerfert created this revision.Aug 1 2019, 9:19 AM
Herald added a project: Restricted Project. · View Herald TranscriptAug 1 2019, 9:19 AM
uenoku accepted this revision.Aug 1 2019, 3:43 PM

LGTM.

This revision is now accepted and ready to land.Aug 1 2019, 3:43 PM
This revision was automatically updated to reflect the committed changes.