@@ -950,8 +950,7 @@ impl SCB {
950
950
{
951
951
// NOTE(unsafe) atomic read with no side effects
952
952
953
- // NOTE(unsafe): prevent unnecessary bounds check! Index of shpr array is
954
- // true by SystemHandler design.
953
+ // NOTE(unsafe): Index is bounded to [4,15] by SystemHandler design.
955
954
let priority_ref = unsafe { ( * Self :: ptr ( ) ) . shpr . get_unchecked ( usize:: from ( index - 4 ) ) } ;
956
955
957
956
priority_ref. read ( )
@@ -961,8 +960,7 @@ impl SCB {
961
960
{
962
961
// NOTE(unsafe) atomic read with no side effects
963
962
964
- // NOTE(unsafe): prevent unnecessary bounds check! Index of shpr array is
965
- // true by SystemHandler design.
963
+ // NOTE(unsafe): Index is bounded to [11,15] by SystemHandler design.
966
964
let priority_ref = unsafe { ( * Self :: ptr ( ) ) . shpr . get_unchecked ( usize:: from ( ( index - 8 ) / 4 ) ) } ;
967
965
968
966
let shpr = priority_ref. read ( ) ;
@@ -989,17 +987,15 @@ impl SCB {
989
987
990
988
#[ cfg( not( armv6m) ) ]
991
989
{
992
- // NOTE(unsafe): prevent unnecessary bounds check! Index of shpr array is
993
- // true by SystemHandler design.
990
+ // NOTE(unsafe): Index is bounded to [4,15] by SystemHandler design.
994
991
let priority_ref = ( * Self :: ptr ( ) ) . shpr . get_unchecked ( usize:: from ( index - 4 ) ) ;
995
992
996
993
priority_ref. write ( prio)
997
994
}
998
995
999
996
#[ cfg( armv6m) ]
1000
997
{
1001
- // NOTE(unsafe): prevent unnecessary bounds check! Index of shpr array is
1002
- // true by SystemHandler design.
998
+ // NOTE(unsafe): Index is bounded to [11,15] by SystemHandler design.
1003
999
let priority_ref = ( * Self :: ptr ( ) ) . shpr . get_unchecked ( usize:: from ( ( index - 8 ) / 4 ) ) ;
1004
1000
1005
1001
priority_ref. modify ( |value| {
0 commit comments