dangling-ptr-to-int should work now

Author: RalfJung

tests/run-pass/malloc.rs

@@ -12,9 +12,8 @@ fn main() {
     let saw_unaligned = (0..64).any(|_| unsafe {
         let p = libc::malloc(3);
         let addr = p as usize;
-        let unaligned = addr % 4 != 0; // test that this is not 4-aligned
-        libc::free(p); // FIXME have to free *after* test; should allow ptr-to-int of dangling ptr.
-        unaligned
+        libc::free(p);
+        (p as usize) % 4 != 0 // find any that this is *not* 4-aligned
     });
     assert!(saw_unaligned);