Page MenuHomePhabricator

[ValueTracking] Fix incorrect handling of canCreateUndefOrPoison
ClosedPublic

Authored by aqjune on Tue, Jul 21, 10:40 AM.

Details

Summary

.. in isGuaranteedNotToBeUndefOrPoison.

This caused early exit of isGuaranteedNotToBeUndefOrPoison, making it return
imprecise result.

Diff Detail

Event Timeline

aqjune created this revision.Tue, Jul 21, 10:40 AM
Herald added a project: Restricted Project. · View Herald TranscriptTue, Jul 21, 10:40 AM
nikic accepted this revision.Tue, Jul 21, 11:24 AM

LGTM

This revision is now accepted and ready to land.Tue, Jul 21, 11:24 AM
This revision was automatically updated to reflect the committed changes.