mark non-immediate by-value parameters as non-null

rust-lang · May 26, 2014 · 0c51149 · 0c51149
1 parent 20a4151
commit 0c51149
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/librustc/middle/trans/base.rs b/src/librustc/middle/trans/base.rs
@@ -1766,6 +1766,7 @@ pub fn get_fn_llvm_attributes(ccx: &CrateContext, fn_ty: ty::t) -> Vec<(uint, u6
                 if !type_is_immediate(ccx, t) {
                     attrs.push((idx, lib::llvm::NoAliasAttribute as u64));
                     attrs.push((idx, lib::llvm::NoCaptureAttribute as u64));
+                    attrs.push((idx, lib::llvm::NonNullAttribute as u64));
                 }
             }
         }