Remove unnecessary subexpression

Ref. None
AdaCore · Apr 26, 2024 · d8da4b2 · d8da4b2
1 parent c5ce2af
commit d8da4b2
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/rflx/templates/rflx_generic_types-generic_operations.adb b/rflx/templates/rflx_generic_types-generic_operations.adb
@@ -63,7 +63,7 @@ is
           and then LME_Size = (Natural (Off) + Value_Size + Byte'Size - 1) mod Byte'Size + 1)
    is
    begin
-      RME_Index := Index (Last - Long_Integer (Off) / Byte'Size);
+      RME_Index := Index (Last);
       LME_Index := Index (Last - (Long_Integer (Off) + Long_Integer (Value_Size) - 1) / Byte'Size);
       RME_Size := Byte'Size - Natural (Off);
       LME_Size := (Natural (Off) + Value_Size + Byte'Size - 1) mod Byte'Size + 1;

diff --git a/.../data/generator/generated/boolean_variable/rflx-rflx_generic_types-generic_operations.adb b/.../data/generator/generated/boolean_variable/rflx-rflx_generic_types-generic_operations.adb
@@ -73,7 +73,7 @@ is
           and then LME_Size = (Natural (Off) + Value_Size + Byte'Size - 1) mod Byte'Size + 1)
    is
    begin
-      RME_Index := Index (Last - Long_Integer (Off) / Byte'Size);
+      RME_Index := Index (Last);
       LME_Index := Index (Last - (Long_Integer (Off) + Long_Integer (Value_Size) - 1) / Byte'Size);
       RME_Size := Byte'Size - Natural (Off);
       LME_Size := (Natural (Off) + Value_Size + Byte'Size - 1) mod Byte'Size + 1;

diff --git a/tests/feature/shared/generated/rflx-rflx_generic_types-generic_operations.adb b/tests/feature/shared/generated/rflx-rflx_generic_types-generic_operations.adb
@@ -73,7 +73,7 @@ is
           and then LME_Size = (Natural (Off) + Value_Size + Byte'Size - 1) mod Byte'Size + 1)
    is
    begin
-      RME_Index := Index (Last - Long_Integer (Off) / Byte'Size);
+      RME_Index := Index (Last);
       LME_Index := Index (Last - (Long_Integer (Off) + Long_Integer (Value_Size) - 1) / Byte'Size);
       RME_Size := Byte'Size - Natural (Off);
       LME_Size := (Natural (Off) + Value_Size + Byte'Size - 1) mod Byte'Size + 1;

diff --git a/tests/spark/generated/rflx-rflx_generic_types-generic_operations.adb b/tests/spark/generated/rflx-rflx_generic_types-generic_operations.adb
@@ -73,7 +73,7 @@ is
           and then LME_Size = (Natural (Off) + Value_Size + Byte'Size - 1) mod Byte'Size + 1)
    is
    begin
-      RME_Index := Index (Last - Long_Integer (Off) / Byte'Size);
+      RME_Index := Index (Last);
       LME_Index := Index (Last - (Long_Integer (Off) + Long_Integer (Value_Size) - 1) / Byte'Size);
       RME_Size := Byte'Size - Natural (Off);
       LME_Size := (Natural (Off) + Value_Size + Byte'Size - 1) mod Byte'Size + 1;