core/span: back-port C++20/26 helpers with the test cases

Author: Sherif-MoOo

CMake/CMakeConfig/clang21_linux_aarch64_debug.cmake

@@ -57,7 +57,7 @@ set(CMAKE_INTERPROCEDURAL_OPTIMIZATION TRUE CACHE BOOL "Enable Link Time Optimiz
 # and are optimized for aarch64 by using -march=armv8-a.
 #=======================================================================
 set(CMAKE_C_FLAGS_INIT "-Wall -Wextra -Wconversion -pedantic -Wshadow \
--Werror -Wstrict-overflow=5 -Wmissing-prototypes -Wstrict-aliasing=2 \
+-Werror -Wstrict-overflow=2 -Wmissing-prototypes -Wstrict-aliasing=2 \
 -Wundef -Wredundant-decls -Wcast-align -Wformat=2 -Wfloat-equal \
 -fno-common -march=armv8-a -flto -fstack-protector-strong \
 -D_FORTIFY_SOURCE=2" CACHE STRING "Initial C Compiler Flags")
@@ -84,7 +84,7 @@ set(CMAKE_C_FLAGS_RELEASEWITHO2_INIT "-O2 -DNDEBUG" CACHE STRING "C Compiler Fla
 #=======================================================================
 set(CMAKE_CXX_FLAGS_INIT "-Wall -Wextra -Wnon-virtual-dtor -Wconversion \
 -Wold-style-cast -pedantic -Wshadow -Wno-error=deprecated-declarations \
--Werror -Wstrict-overflow=5 -Wstrict-aliasing=2 -Wundef -Wredundant-decls \
+-Werror -Wstrict-overflow=2 -Wstrict-aliasing=2 -Wundef -Wredundant-decls \
 -Wcast-align -Wformat=2 -Wfloat-equal -fno-exceptions -fno-rtti \
 -fno-common -march=armv8-a -flto -fstack-protector-strong \
 -D_FORTIFY_SOURCE=2" CACHE STRING "Initial C++ Compiler Flags")

CMake/CMakeConfig/clang21_linux_aarch64_release.cmake

@@ -57,7 +57,7 @@ set(CMAKE_INTERPROCEDURAL_OPTIMIZATION TRUE CACHE BOOL "Enable Link Time Optimiz
 # and are optimized for aarch64 by using -march=armv8-a.
 #=======================================================================
 set(CMAKE_C_FLAGS_INIT "-Wall -Wextra -Wconversion -pedantic -Wshadow \
--Werror -Wstrict-overflow=5 -Wmissing-prototypes -Wstrict-aliasing=2 \
+-Werror -Wstrict-overflow=2 -Wmissing-prototypes -Wstrict-aliasing=2 \
 -Wundef -Wredundant-decls -Wcast-align -Wformat=2 -Wfloat-equal \
 -fno-common -march=armv8-a -flto -fstack-protector-strong \
 -D_FORTIFY_SOURCE=2" CACHE STRING "Initial C Compiler Flags")
@@ -84,7 +84,7 @@ set(CMAKE_C_FLAGS_RELEASEWITHO2_INIT "-O2 -DNDEBUG" CACHE STRING "C Compiler Fla
 #=======================================================================
 set(CMAKE_CXX_FLAGS_INIT "-Wall -Wextra -Wnon-virtual-dtor -Wconversion \
 -Wold-style-cast -pedantic -Wshadow -Wno-error=deprecated-declarations \
--Werror -Wstrict-overflow=5 -Wstrict-aliasing=2 -Wundef -Wredundant-decls \
+-Werror -Wstrict-overflow=2 -Wstrict-aliasing=2 -Wundef -Wredundant-decls \
 -Wcast-align -Wformat=2 -Wfloat-equal -fno-exceptions -fno-rtti \
 -fno-common -march=armv8-a -flto -fstack-protector-strong \
 -D_FORTIFY_SOURCE=2" CACHE STRING "Initial C++ Compiler Flags")

CMake/CMakeConfig/clang21_linux_x86_64_release.cmake

@@ -72,7 +72,7 @@ set(CMAKE_INTERPROCEDURAL_OPTIMIZATION TRUE CACHE BOOL "Enable Link Time Optimiz
 #
 # Added Flags:
 #   -Werror: Treat all warnings as errors.
-#   -Wstrict-overflow=5: Warn about cases where the compiler assumes that signed overflow does not occur.
+#   -Wstrict-overflow=2: Warn about cases where the compiler assumes that signed overflow does not occur.
 #   -Wmissing-prototypes: Warn if a global function is defined without a previous prototype declaration.
 #   -Wstrict-aliasing=2: Enforce strict aliasing rules.
 #   -Wundef: Warn if an undefined identifier is evaluated in an `#if` directive.
@@ -87,7 +87,7 @@ set(CMAKE_INTERPROCEDURAL_OPTIMIZATION TRUE CACHE BOOL "Enable Link Time Optimiz
 #   -D_FORTIFY_SOURCE=2: Enable additional compile-time and run-time checks for buffer overflows.
 #=======================================================================
 set(CMAKE_C_FLAGS_INIT "-Wall -Wextra -Wconversion -pedantic -Wshadow \
--Werror -Wstrict-overflow=5 -Wmissing-prototypes \
+-Werror -Wstrict-overflow=2 -Wmissing-prototypes \
 -Wstrict-aliasing=2 -Wundef -Wredundant-decls \
 -Wcast-align -Wformat=2 -Wfloat-equal \
 -fno-common -march=native -flto -fstack-protector-strong \
@@ -136,7 +136,7 @@ set(CMAKE_C_FLAGS_RELEASEWITHO2_INIT "-O2 -DNDEBUG" CACHE STRING "C Compiler Fla
 #
 # Added Flags:
 #   -Werror: Treat all warnings as errors.
-#   -Wstrict-overflow=5: Warn about cases where the compiler assumes that signed overflow does not occur.
+#   -Wstrict-overflow=2: Warn about cases where the compiler assumes that signed overflow does not occur.
 #   -Wstrict-aliasing=2: Enforce strict aliasing rules.
 #   -Wundef: Warn if an undefined identifier is evaluated in an `#if` directive.
 #   -Wredundant-decls: Warn about redundant declarations.
@@ -153,7 +153,7 @@ set(CMAKE_C_FLAGS_RELEASEWITHO2_INIT "-O2 -DNDEBUG" CACHE STRING "C Compiler Fla
 #=======================================================================
 set(CMAKE_CXX_FLAGS_INIT "-Wall -Wextra -Wnon-virtual-dtor -Wconversion -Wold-style-cast \
 -pedantic -Wshadow -Wno-error=deprecated-declarations \
--Werror -Wstrict-overflow=5 \
+-Werror -Wstrict-overflow=2 \
 -Wstrict-aliasing=2 -Wundef -Wredundant-decls \
 -Wcast-align -Wformat=2 -Wfloat-equal \
 -fno-exceptions -fno-rtti -fno-common -march=native -flto -fstack-protector-strong \

CMake/CMakeConfig/gcc11_linux_aarch64_release.cmake

@@ -57,7 +57,7 @@ set(CMAKE_INTERPROCEDURAL_OPTIMIZATION TRUE CACHE BOOL "Enable Link Time Optimiz
 # and are optimized for aarch64 by using -march=armv8-a.
 #=======================================================================
 set(CMAKE_C_FLAGS_INIT "-Wall -Wextra -Wconversion -pedantic -Wshadow \
--Werror -Wstrict-overflow=5 -Wmissing-prototypes -Wstrict-aliasing=2 \
+-Werror -Wstrict-overflow=2 -Wmissing-prototypes -Wstrict-aliasing=2 \
 -Wundef -Wredundant-decls -Wcast-align -Wformat=2 -Wfloat-equal \
 -fno-common -march=armv8-a -flto -fstack-protector-strong \
 -D_FORTIFY_SOURCE=2" CACHE STRING "Initial C Compiler Flags")
@@ -84,7 +84,7 @@ set(CMAKE_C_FLAGS_RELEASEWITHO2_INIT "-O2 -DNDEBUG" CACHE STRING "C Compiler Fla
 #=======================================================================
 set(CMAKE_CXX_FLAGS_INIT "-Wall -Wextra -Wnon-virtual-dtor -Wconversion \
 -Wold-style-cast -pedantic -Wshadow -Wno-error=deprecated-declarations \
--Werror -Wstrict-overflow=5 -Wstrict-aliasing=2 -Wundef -Wredundant-decls \
+-Werror -Wstrict-overflow=2 -Wstrict-aliasing=2 -Wundef -Wredundant-decls \
 -Wcast-align -Wformat=2 -Wfloat-equal -fno-exceptions -fno-rtti \
 -fno-common -march=armv8-a -flto -fstack-protector-strong \
 -D_FORTIFY_SOURCE=2" CACHE STRING "Initial C++ Compiler Flags")

CMake/CMakeConfig/gcc11_linux_x86_64_release.cmake

@@ -72,7 +72,7 @@ set(CMAKE_INTERPROCEDURAL_OPTIMIZATION TRUE CACHE BOOL "Enable Link Time Optimiz
 #
 # Added Flags:
 #   -Werror: Treat all warnings as errors.
-#   -Wstrict-overflow=5: Warn about cases where the compiler assumes that signed overflow does not occur.
+#   -Wstrict-overflow=2: Warn about cases where the compiler assumes that signed overflow does not occur.
 #   -Wmissing-prototypes: Warn if a global function is defined without a previous prototype declaration.
 #   -Wstrict-aliasing=2: Enforce strict aliasing rules.
 #   -Wundef: Warn if an undefined identifier is evaluated in an `#if` directive.
@@ -87,7 +87,7 @@ set(CMAKE_INTERPROCEDURAL_OPTIMIZATION TRUE CACHE BOOL "Enable Link Time Optimiz
 #   -D_FORTIFY_SOURCE=2: Enable additional compile-time and run-time checks for buffer overflows.
 #=======================================================================
 set(CMAKE_C_FLAGS_INIT "-Wall -Wextra -Wconversion -pedantic -Wshadow \
--Werror -Wstrict-overflow=5 -Wmissing-prototypes \
+-Werror -Wstrict-overflow=2 -Wmissing-prototypes \
 -Wstrict-aliasing=2 -Wundef -Wredundant-decls \
 -Wcast-align -Wformat=2 -Wfloat-equal \
 -fno-common -march=native -flto -fstack-protector-strong \
@@ -136,7 +136,7 @@ set(CMAKE_C_FLAGS_RELEASEWITHO2_INIT "-O2 -DNDEBUG" CACHE STRING "C Compiler Fla
 #
 # Added Flags:
 #   -Werror: Treat all warnings as errors.
-#   -Wstrict-overflow=5: Warn about cases where the compiler assumes that signed overflow does not occur.
+#   -Wstrict-overflow=2: Warn about cases where the compiler assumes that signed overflow does not occur.
 #   -Wstrict-aliasing=2: Enforce strict aliasing rules.
 #   -Wundef: Warn if an undefined identifier is evaluated in an `#if` directive.
 #   -Wredundant-decls: Warn about redundant declarations.
@@ -153,7 +153,7 @@ set(CMAKE_C_FLAGS_RELEASEWITHO2_INIT "-O2 -DNDEBUG" CACHE STRING "C Compiler Fla
 #=======================================================================
 set(CMAKE_CXX_FLAGS_INIT "-Wall -Wextra -Wnon-virtual-dtor -Wconversion -Wold-style-cast \
 -pedantic -Wshadow -Wno-error=deprecated-declarations \
--Werror -Wstrict-overflow=5 \
+-Werror -Wstrict-overflow=2 \
 -Wstrict-aliasing=2 -Wundef -Wredundant-decls \
 -Wcast-align -Wformat=2 -Wfloat-equal \
 -fno-exceptions -fno-rtti -fno-common -march=native -flto -fstack-protector-strong \

CMake/CMakeConfig/gcc13_linux_aarch64_release.cmake

@@ -57,7 +57,7 @@ set(CMAKE_INTERPROCEDURAL_OPTIMIZATION TRUE CACHE BOOL "Enable Link Time Optimiz
 # and are optimized for aarch64 by using -march=armv8-a.
 #=======================================================================
 set(CMAKE_C_FLAGS_INIT "-Wall -Wextra -Wconversion -pedantic -Wshadow \
--Werror -Wstrict-overflow=5 -Wmissing-prototypes -Wstrict-aliasing=2 \
+-Werror -Wstrict-overflow=2 -Wmissing-prototypes -Wstrict-aliasing=2 \
 -Wundef -Wredundant-decls -Wcast-align -Wformat=2 -Wfloat-equal \
 -fno-common -march=armv8-a -flto -fstack-protector-strong \
 -D_FORTIFY_SOURCE=2" CACHE STRING "Initial C Compiler Flags")
@@ -84,7 +84,7 @@ set(CMAKE_C_FLAGS_RELEASEWITHO2_INIT "-O2 -DNDEBUG" CACHE STRING "C Compiler Fla
 #=======================================================================
 set(CMAKE_CXX_FLAGS_INIT "-Wall -Wextra -Wnon-virtual-dtor -Wconversion \
 -Wold-style-cast -pedantic -Wshadow -Wno-error=deprecated-declarations \
--Werror -Wstrict-overflow=5 -Wstrict-aliasing=2 -Wundef -Wredundant-decls \
+-Werror -Wstrict-overflow=2 -Wstrict-aliasing=2 -Wundef -Wredundant-decls \
 -Wcast-align -Wformat=2 -Wfloat-equal -fno-exceptions -fno-rtti \
 -fno-common -march=armv8-a -flto -fstack-protector-strong \
 -D_FORTIFY_SOURCE=2" CACHE STRING "Initial C++ Compiler Flags")

CMake/CMakeConfig/gcc13_linux_x86_64_release.cmake

@@ -72,7 +72,7 @@ set(CMAKE_INTERPROCEDURAL_OPTIMIZATION TRUE CACHE BOOL "Enable Link Time Optimiz
 #
 # Added Flags:
 #   -Werror: Treat all warnings as errors.
-#   -Wstrict-overflow=5: Warn about cases where the compiler assumes that signed overflow does not occur.
+#   -Wstrict-overflow=2: Warn about cases where the compiler assumes that signed overflow does not occur.
 #   -Wmissing-prototypes: Warn if a global function is defined without a previous prototype declaration.
 #   -Wstrict-aliasing=2: Enforce strict aliasing rules.
 #   -Wundef: Warn if an undefined identifier is evaluated in an `#if` directive.
@@ -87,7 +87,7 @@ set(CMAKE_INTERPROCEDURAL_OPTIMIZATION TRUE CACHE BOOL "Enable Link Time Optimiz
 #   -D_FORTIFY_SOURCE=2: Enable additional compile-time and run-time checks for buffer overflows.
 #=======================================================================
 set(CMAKE_C_FLAGS_INIT "-Wall -Wextra -Wconversion -pedantic -Wshadow \
--Werror -Wstrict-overflow=5 -Wmissing-prototypes \
+-Werror -Wstrict-overflow=2 -Wmissing-prototypes \
 -Wstrict-aliasing=2 -Wundef -Wredundant-decls \
 -Wcast-align -Wformat=2 -Wfloat-equal \
 -fno-common -march=native -flto -fstack-protector-strong \
@@ -136,7 +136,7 @@ set(CMAKE_C_FLAGS_RELEASEWITHO2_INIT "-O2 -DNDEBUG" CACHE STRING "C Compiler Fla
 #
 # Added Flags:
 #   -Werror: Treat all warnings as errors.
-#   -Wstrict-overflow=5: Warn about cases where the compiler assumes that signed overflow does not occur.
+#   -Wstrict-overflow=2: Warn about cases where the compiler assumes that signed overflow does not occur.
 #   -Wstrict-aliasing=2: Enforce strict aliasing rules.
 #   -Wundef: Warn if an undefined identifier is evaluated in an `#if` directive.
 #   -Wredundant-decls: Warn about redundant declarations.
@@ -153,7 +153,7 @@ set(CMAKE_C_FLAGS_RELEASEWITHO2_INIT "-O2 -DNDEBUG" CACHE STRING "C Compiler Fla
 #=======================================================================
 set(CMAKE_CXX_FLAGS_INIT "-Wall -Wextra -Wnon-virtual-dtor -Wconversion -Wold-style-cast \
 -pedantic -Wshadow -Wno-error=deprecated-declarations \
--Werror -Wstrict-overflow=5 \
+-Werror -Wstrict-overflow=2 \
 -Wstrict-aliasing=2 -Wundef -Wredundant-decls \
 -Wcast-align -Wformat=2 -Wfloat-equal \
 -fno-exceptions -fno-rtti -fno-common -march=native -flto -fstack-protector-strong \

CMake/CMakeConfig/qcc12_qnx800_aarch64_release.cmake

@@ -80,7 +80,7 @@ set(BUILD_SHARED_LIBS OFF CACHE BOOL "Build shared libraries")
 #
 # Added Flags:
 #   -Werror: Treat all warnings as errors.
-#   -Wstrict-overflow=5: Warn when the compiler assumes signed overflow does not occur.
+#   -Wstrict-overflow=2: Warn when the compiler assumes signed overflow does not occur.
 #   -Wmissing-prototypes: Warn if a global function is defined without a previous prototype.
 #   -Wstrict-aliasing=2: Enforce strict aliasing rules.
 #   -Wundef: Warn if an undefined identifier is evaluated in an `#if` directive.
@@ -92,7 +92,7 @@ set(BUILD_SHARED_LIBS OFF CACHE BOOL "Build shared libraries")
 #   -mcpu=generic: Optimize for generic AArch64 architecture.
 #=======================================================================
 set(CMAKE_C_FLAGS_INIT "-Wall -Wextra -Wconversion -pedantic -Wshadow -D_QNX_SOURCE \
--Werror -Wstrict-overflow=5 -Wmissing-prototypes \
+-Werror -Wstrict-overflow=2 -Wmissing-prototypes \
 -Wstrict-aliasing=2 -Wundef -Wredundant-decls \
 -Wcast-align -Wformat=2 -Wfloat-equal \
 -fno-common -mcpu=generic" CACHE STRING "Initial C Compiler Flags")
@@ -138,7 +138,7 @@ set(CMAKE_C_FLAGS_RELEASEWITHO2_INIT "-O2 -DNDEBUG" CACHE STRING "C Compiler Fla
 #
 # Added Flags:
 #   -Werror: Treat all warnings as errors.
-#   -Wstrict-overflow=5: Warn when the compiler assumes signed overflow does not occur.
+#   -Wstrict-overflow=2: Warn when the compiler assumes signed overflow does not occur.
 #   -Wstrict-aliasing=2: Enforce strict aliasing rules.
 #   -Wundef: Warn if an undefined identifier is evaluated in an `#if` directive.
 #   -Wredundant-decls: Warn about redundant declarations.
@@ -151,7 +151,7 @@ set(CMAKE_C_FLAGS_RELEASEWITHO2_INIT "-O2 -DNDEBUG" CACHE STRING "C Compiler Fla
 #=======================================================================
 set(CMAKE_CXX_FLAGS_INIT "-Wall -Wextra -Wnon-virtual-dtor -Wconversion -Wold-style-cast \
 -pedantic -Wshadow -Wno-error=deprecated-declarations -v -D_QNX_SOURCE \
--Werror -Wstrict-overflow=5 \
+-Werror -Wstrict-overflow=2 \
 -Wstrict-aliasing=2 -Wundef -Wredundant-decls \
 -Wcast-align -Wformat=2 -Wfloat-equal \
 -fno-exceptions -fno-rtti -mcpu=generic" CACHE STRING "Initial C++ Compiler Flags")

components/open-aa-std-adaptive-autosar-libs/CMakeLists.txt

@@ -58,7 +58,7 @@ target_link_libraries(ara_core_array INTERFACE
 )
 
 # ----------------------------------------------------------------------
-# 3) ARA::CORE::Byte
+# 4) ARA::CORE::BYTE
 # ----------------------------------------------------------------------
 add_library(ara_core_byte INTERFACE)
 add_library(ara::core::byte ALIAS ara_core_byte)
@@ -75,7 +75,24 @@ target_link_libraries(ara_core_byte INTERFACE
 )
 
 # ----------------------------------------------------------------------
-# 3) Installation of Headers
+# 5) ARA::CORE::SPAN
+# ----------------------------------------------------------------------
+add_library(ara_core_span INTERFACE)
+add_library(ara::core::span ALIAS ara_core_span)
+
+# Provide include directories for ara::core::span
+target_include_directories(ara_core_span INTERFACE
+    $<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}/include>  # Path to span headers during build
+    $<INSTALL_INTERFACE:include>                            # Path to span headers after installation
+)
+
+# link INTERFACE libraries
+target_link_libraries(ara_core_span INTERFACE
+    ara::core::violation
+)
+
+# ----------------------------------------------------------------------
+# 6) Installation of Headers
 # ----------------------------------------------------------------------
 # Install the ara/core headers, including array.h and internal headers
 install(DIRECTORY

components/open-aa-std-adaptive-autosar-libs/include/ara/core/array.h

@@ -45,7 +45,6 @@
 #include <cstring>                                  // For std::memcpy, std::memset
 #include <iterator>                                 // For std::reverse_iterator
 
-#include "ara/core/byte.h"                          // For ara::core::Byte type
 #include "ara/core/internal/utility.h"              // For utility functions and traits
 #include "ara/core/internal/location_utils.h"       // For capturing file/line details
 #include "ara/core/internal/violation_handler.h"    // To Trigger the violation
@@ -1167,7 +1166,7 @@ constexpr auto operator<(const Array<T, N>& lhs, const Array<T, N>& rhs)
         return std::memcmp(lhs.data(), rhs.data(), N) < 0;
     }
 
-    return detail::lex_compare(lhs.begin(), lhs.end(),
+    return detail::constexpr_lexicographical_compare(lhs.begin(), lhs.end(),
                                rhs.begin(), rhs.end());
 }
 
@@ -1197,7 +1196,7 @@ constexpr auto operator<(const Array<T, N>& lhs, const Array<T, N>& rhs)
         "\n[ERROR] in ara::core::Array: The type T's operator< must be marked 'noexcept' when exceptions are disabled.\n");
 #endif
 
-    return detail::lex_compare(lhs.begin(), lhs.end(),
+    return detail::constexpr_lexicographical_compare(lhs.begin(), lhs.end(),
                                rhs.begin(), rhs.end());
 }