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
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to