tree ef8df182d46c2e68f4a0259bc890ed578fc3cde3
parent e882a63db80100617166b716ed154504e7c70926
author Philip Reames <listmail@philipreames.com> 1613665992 -0800
committer Copybara-Service <copybara-worker@google.com> 1613734370 -0800

[instcombine] Exploit UB implied by nofree attributes

This patch simply implements the documented UB of the current nofree attributes as specified. It doesn't try to be fancy about inference (yet), it just implements the cases already specified and inferred.

Note: When this lands, it may expose miscompiles. If so, please revert and provide a test case. It's likely the bug is in the existing inference code and without a relatively complete test case, it will be hard to debug.

Differential Revision: https://reviews.llvm.org/D96349

GitOrigin-RevId: 86664638898e9c3756ad17d612de1873fead6813