about summary refs log tree commit diff
diff options
context:
space:
mode:
authorDaniel Micay <danielmicay@gmail.com>2014-05-26 02:59:19 -0400
committerDaniel Micay <danielmicay@gmail.com>2014-05-26 02:59:19 -0400
commit0c51149ac97b818a31749d85bcb3b3f2332b94fb (patch)
tree8a94d3583b23b57df09bd2e6c7282f4cb4854262
parent20a41519fd92c50c44132870a95415159a1d09ea (diff)
downloadrust-0c51149ac97b818a31749d85bcb3b3f2332b94fb.tar.gz
rust-0c51149ac97b818a31749d85bcb3b3f2332b94fb.zip
mark non-immediate by-value parameters as non-null
-rw-r--r--src/librustc/middle/trans/base.rs1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/librustc/middle/trans/base.rs b/src/librustc/middle/trans/base.rs
index 0be4396f713..535217c5066 100644
--- 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));
                 }
             }
         }