This is an archive of the discontinued LLVM Phabricator instance.

[Attributor][NFC][AAPotentialValues] Change interface of PotentialValuesState
ClosedPublic

Authored by okura on Aug 9 2020, 8:28 AM.

Details

Summary

Previously PotentialValuesState inherited BooleanState.
We have to add getAssumed to the state in order to use clampStateAndIndicateChange (which will be used in AAPotentialValuesArgument).
However BooleanState::getAssumed is not a virtual function and we cannot override it.
Therefore, I changed the state not to inherit BooleanState and add getAssumed to it.

Diff Detail

Event Timeline

okura created this revision.Aug 9 2020, 8:28 AM
Herald added a reviewer: homerdin. · View Herald Transcript
Herald added a project: Restricted Project. · View Herald Transcript
okura requested review of this revision.Aug 9 2020, 8:28 AM
jdoerfert accepted this revision.Aug 9 2020, 9:57 AM

This is NFC, feel free to add that to the commit message as a tag. LGTM.

This revision is now accepted and ready to land.Aug 9 2020, 9:57 AM
okura retitled this revision from [Attributor][AAPotentialValues] Change interface of PotentialValuesState to [Attributor][NFC][AAPotentialValues] Change interface of PotentialValuesState.Aug 9 2020, 5:14 PM