[clang] [Inliner] Improve attribute propagation to callsites when inlining. (PR #66036)

Nikita Popov via cfe-commits cfe-commits at lists.llvm.org
Fri Sep 15 07:33:58 PDT 2023


nikic 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.

https://github.com/llvm/llvm-project/pull/66036


More information about the cfe-commits mailing list