about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorLuqman Aden <laden@csclub.uwaterloo.ca>2014-10-15 21:46:40 -0400
committerLuqman Aden <laden@csclub.uwaterloo.ca>2014-10-16 11:15:36 -0400
commit78992485047f7600a0d34c5f573b30be262b2e4b (patch)
treeaa374aaa783ed319e49592dcd40cf7b6416d53b8 /src
parent6f9b3b574bde97ee60d84428d24d4f6e2859c709 (diff)
downloadrust-78992485047f7600a0d34c5f573b30be262b2e4b.tar.gz
rust-78992485047f7600a0d34c5f573b30be262b2e4b.zip
librustc: Remove special case for old reflection visitor.
Diffstat (limited to 'src')
-rw-r--r--src/librustc/middle/trans/base.rs18
1 files changed, 0 insertions, 18 deletions
diff --git a/src/librustc/middle/trans/base.rs b/src/librustc/middle/trans/base.rs
index c5b0e10f093..c7809690344 100644
--- a/src/librustc/middle/trans/base.rs
+++ b/src/librustc/middle/trans/base.rs
@@ -2468,24 +2468,6 @@ pub fn get_fn_llvm_attributes(ccx: &CrateContext, fn_ty: ty::t)
                      .arg(idx, llvm::DereferenceableAttribute(llsz));
             }
 
-            // The visit glue deals only with opaque pointers so we don't
-            // actually know the concrete type of Self thus we don't know how
-            // many bytes to mark as dereferenceable so instead we just mark
-            // it as nonnull which still holds true
-            ty::ty_rptr(b, ty::mt { ty: it, mutbl }) if match ty::get(it).sty {
-                ty::ty_param(_) => true, _ => false
-            } && mutbl == ast::MutMutable => {
-                attrs.arg(idx, llvm::NoAliasAttribute)
-                     .arg(idx, llvm::NonNullAttribute);
-
-                match b {
-                    ReLateBound(_, BrAnon(_)) => {
-                        attrs.arg(idx, llvm::NoCaptureAttribute);
-                    }
-                    _ => {}
-                }
-            }
-
             // `&mut` pointer parameters never alias other parameters, or mutable global data
             //
             // `&T` where `T` contains no `UnsafeCell<U>` is immutable, and can be marked as both