[clang] [Inliner] Improve attribute propagation to callsites when inlining. (PR #66036)
via cfe-commits
cfe-commits at lists.llvm.org
Wed Sep 20 08:10:04 PDT 2023
goldsteinn wrote:
``
> It occurs to me that the current return attribute propagation is currently buggy for poison-generating attributes: https://llvm.godbolt.org/z/x8n18q9Mj
>
> In this case the argument to use() will now be poison as well, while before inlining only the return value was poison.
>
> This code needs to distinguish poison and UB generating attributes.
Fixed with new commit (`[Inliner] Fix bug...`).
https://github.com/llvm/llvm-project/pull/66036
More information about the cfe-commits
mailing list