Page MenuHomePhabricator

[LangRef] can produce poison

Authored by SjoerdMeijer on Aug 26 2020, 9:33 AM.



We had already specified that second argument n of this intrinsic is n > 0, but now add to this that the result is a poison value if this is not the case.

Diff Detail

Event Timeline

SjoerdMeijer created this revision.Aug 26 2020, 9:33 AM
Herald added a project: Restricted Project. · View Herald Transcript
SjoerdMeijer requested review of this revision.Aug 26 2020, 9:33 AM
This revision is now accepted and ready to land.Aug 26 2020, 11:26 AM