commit bee875322d1621964d5b0368e5f48701bde0f839
author Philip Reames <listmail@philipreames.com> Thu Feb 18 08:33:12 2021 -0800
committer Copybara-Service <copybara-worker@google.com> Fri Feb 19 03:32:50 2021 -0800
tree ef8df182d46c2e68f4a0259bc890ed578fc3cde3
parent e882a63db80100617166b716ed154504e7c70926

[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