mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Revert "Use assume to inform the optimiser about refcount invariants"

Browse Source 
This reverts commit a729a40494.
This commit is contained in:
Alex Crichton 2015-01-21 13:55:14 -08:00
parent e6f85c2f78
commit 91cec5b57e
1 changed files with 2 additions and 13 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/liballoc/rc.rs
View File

@ -160,7 +160,6 @@
use core::ptr::{self, PtrExt};
use core::result::Result;
use core::result::Result::{Ok, Err};
use core::intrinsics::assume;
use heap::deallocate;
@ -752,20 +751,10 @@ trait RcBoxPtr<T> {
fn strong(&self) -> uint { self.inner().strong.get() }
#[inline]
fn inc_strong(&self) {
let strong = self.strong();
// The reference count is always at least one unless we're about to drop the type
unsafe { assume(strong > 0); }
self.inner().strong.set(strong + 1);
}
fn inc_strong(&self) { self.inner().strong.set(self.strong() + 1); }
#[inline]
fn dec_strong(&self) {
let strong = self.strong();
// The reference count is always at least one unless we're about to drop the type
unsafe { assume(strong > 0); }
self.inner().strong.set(strong - 1);
}
fn dec_strong(&self) { self.inner().strong.set(self.strong() - 1); }
#[inline]
fn weak(&self) -> uint { self.inner().weak.get() }