format

ggreif · ggreif · commit c6a3d0872fc3 · 2025-11-13T18:09:54.000+01:00
diff --git a/rts/motoko-rts/src/buf.rs b/rts/motoko-rts/src/buf.rs
@@ -46,7 +46,8 @@ pub(crate) unsafe fn read_word(buf: *mut Buf) -> u32 {
     // IDL buffer is still 32-bit-based.
     const WORD_SIZE: usize = core::mem::size_of::<u32>();
 
-    if (*buf).ptr.add(WORD_SIZE - 1) >= (*buf).end { // TODO: use add(WORD_SIZE) and >
+    if (*buf).ptr.add(WORD_SIZE - 1) >= (*buf).end {
+        // TODO: use add(WORD_SIZE) and >
         idl_trap_with("word read out of buffer");
     }
 

Original file line number	Diff line number	Diff line change
`@@ -46,7 +46,8 @@ pub(crate) unsafe fn read_word(buf: *mut Buf) -> u32 {`
`46`	`46`	`// IDL buffer is still 32-bit-based.`
`47`	`47`	`const WORD_SIZE: usize = core::mem::size_of::<u32>();`
`48`	`48`
`49`		`- if (buf).ptr.add(WORD_SIZE - 1) >= (buf).end { // TODO: use add(WORD_SIZE) and >`
	`49`	`+ if (buf).ptr.add(WORD_SIZE - 1) >= (buf).end {`
	`50`	`+ // TODO: use add(WORD_SIZE) and >`
`50`	`51`	`idl_trap_with("word read out of buffer");`
`51`	`52`	`}`
`52`	`53`