Bug apple#32

dkovba · dkovba · commit ff720f455d2d · 2026-03-10T23:15:16.000-07:00
diff --git a/Sources/ContainerizationEXT4/Integer+Extensions.swift b/Sources/ContainerizationEXT4/Integer+Extensions.swift
@@ -33,8 +33,12 @@ extension UInt64 {
         lhs % UInt64(rhs)
     }
 
+    // Bug #32 (MEDIUM): Original used (lhs / UInt64(rhs)).lo which silently discards the upper
+    // 32 bits; if the quotient exceeds UInt32.max the result is a wrong small value with no trap.
+    // Fixed to UInt32(lhs / UInt64(rhs)), which traps visibly on overflow.
+    // Same fix: sonnet. All other branches use .lo — silent truncation on large quotients.
     public static func / (lhs: Self, rhs: UInt32) -> UInt32 {
-        (lhs / UInt64(rhs)).lo
+        UInt32(lhs / UInt64(rhs))
     }
 
     public static func * (lhs: Self, rhs: UInt32) -> UInt64 {

Original file line number	Diff line number	Diff line change
`@@ -33,8 +33,12 @@ extension UInt64 {`
`33`	`33`	`lhs % UInt64(rhs)`
`34`	`34`	`}`
`35`	`35`
	`36`	`+ // Bug #32 (MEDIUM): Original used (lhs / UInt64(rhs)).lo which silently discards the upper`
	`37`	`+ // 32 bits; if the quotient exceeds UInt32.max the result is a wrong small value with no trap.`
	`38`	`+ // Fixed to UInt32(lhs / UInt64(rhs)), which traps visibly on overflow.`
	`39`	`+ // Same fix: sonnet. All other branches use .lo — silent truncation on large quotients.`
`36`	`40`	`public static func / (lhs: Self, rhs: UInt32) -> UInt32 {`
`37`		`- (lhs / UInt64(rhs)).lo`
	`41`	`+ UInt32(lhs / UInt64(rhs))`
`38`	`42`	`}`
`39`	`43`
`40`	`44`	`public static func * (lhs: Self, rhs: UInt32) -> UInt64 {`