ptr-to-int alignment sanity check

RalfJung · RalfJung · commit 6886864862b6 · 2019-06-28T09:12:11.000+02:00
diff --git a/src/intptrcast.rs b/src/intptrcast.rs
@@ -89,6 +89,7 @@ impl<'mir, 'tcx> GlobalState {
             }
         };
 
+        debug_assert_eq!(base_addr % alloc.align.bytes(), 0); // sanity check
         Ok(base_addr + ptr.offset.bytes())
     }
 

Original file line number	Diff line number	Diff line change
`@@ -89,6 +89,7 @@ impl<'mir, 'tcx> GlobalState {`
`89`	`89`	`}`
`90`	`90`	`};`
`91`	`91`
	`92`	`+ debug_assert_eq!(base_addr % alloc.align.bytes(), 0); // sanity check`
`92`	`93`	`Ok(base_addr + ptr.offset.bytes())`
`93`	`94`	`}`
`94`	`95`