HomePhabricator

[Attributor][FIX] Ensure abstract attributes are existing before manifest

Authored by jdoerfert on Feb 14 2020, 8:34 AM.

Description

[Attributor][FIX] Ensure abstract attributes are existing before manifest

While the function return updateImpl did only look at call sites the
manifest method looked at return values. If we don't do this during the
updateImpl we might create new abstract attributes during manifest. This
is a problem when it comes to liveness information.

Details

Committed
jdoerfertFeb 14 2020, 7:44 PM
Parents
rGad121ea14d85: [Attributor] Manifest simplified (return) values properly
Branches
Unknown
Tags
Unknown