@@ -453,7 +453,7 @@ extension UnsafePointer {
453
453
guard let o = property. _storedInlineOffset else { return nil }
454
454
_internalInvariant ( o >= 0 )
455
455
_debugPrecondition (
456
- o == 0 || UnsafeRawPointer ( self ) < UnsafeRawPointer ( bitPattern: 0 &- o ) ! ,
456
+ !UInt ( bitPattern : self ) . addingReportingOverflow ( UInt ( bitPattern: o ) ) . overflow ,
457
457
" Overflow in pointer arithmetic "
458
458
)
459
459
return . init( Builtin . gepRaw_Word ( _rawValue, o. _builtinWordValue) )
@@ -1341,7 +1341,7 @@ extension UnsafeMutablePointer {
1341
1341
guard let o = property. _storedInlineOffset else { return nil }
1342
1342
_internalInvariant ( o >= 0 )
1343
1343
_debugPrecondition (
1344
- o == 0 || UnsafeRawPointer ( self ) < UnsafeRawPointer ( bitPattern: 0 &- o ) ! ,
1344
+ !UInt ( bitPattern : self ) . addingReportingOverflow ( UInt ( bitPattern: o ) ) . overflow ,
1345
1345
" Overflow in pointer arithmetic "
1346
1346
)
1347
1347
return . init( Builtin . gepRaw_Word ( _rawValue, o. _builtinWordValue) )
@@ -1365,7 +1365,7 @@ extension UnsafeMutablePointer {
1365
1365
guard let o = property. _storedInlineOffset else { return nil }
1366
1366
_internalInvariant ( o >= 0 )
1367
1367
_debugPrecondition (
1368
- o == 0 || UnsafeRawPointer ( self ) < UnsafeRawPointer ( bitPattern: 0 &- o ) ! ,
1368
+ !UInt ( bitPattern : self ) . addingReportingOverflow ( UInt ( bitPattern: o ) ) . overflow ,
1369
1369
" Overflow in pointer arithmetic "
1370
1370
)
1371
1371
return . init( Builtin . gepRaw_Word ( _rawValue, o. _builtinWordValue) )
0 commit comments