[llvm] [msan] Assume noundef for sret parameters under eager checks (PR #224346)

Vitaly Buka via llvm-commits llvm-commits at lists.llvm.org
Thu Sep 17 12:48:53 PDT 2026


================
@@ -2146,8 +2146,10 @@ struct MemorySanitizerVisitor : public InstVisitor<MemorySanitizerVisitor> {
             }
           }
 
+          bool NoUndef =
+              FArg.hasAttribute(Attribute::NoUndef) || FArg.hasStructRetAttr();
----------------
vitalybuka wrote:

Actually @nikic suggests the opposite :)
https://github.com/rust-lang/rust/issues/162902#issuecomment-5716052635

I don't have strong preference.

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


More information about the llvm-commits mailing list