Remove exception check from freestanding-deleted

Author: 20162026

CMakeLists.txt

@@ -27,6 +27,18 @@ option(
     ${PROJECT_IS_TOP_LEVEL}
 )
 
+option(
+    BEMAN_INPLACE_VECTOR_FREESTANDING_DELETED
+    "Enable freestanding mode. Default: OFF. Values: { ON, OFF }."
+    OFF
+)
+
+configure_file(
+    "${PROJECT_SOURCE_DIR}/include/beman/inplace_vector/config.hpp.in"
+    "${PROJECT_BINARY_DIR}/include/beman/inplace_vector/config.hpp"
+    @ONLY
+)
+
 include(FetchContent)
 include(GNUInstallDirs)
 
@@ -38,7 +50,9 @@ target_include_directories(
     beman.inplace_vector
     INTERFACE
         $<BUILD_INTERFACE:${CMAKE_CURRENT_SOURCE_DIR}/include>
+        $<BUILD_INTERFACE:${CMAKE_CURRENT_BINARY_DIR}/include>
         $<INSTALL_INTERFACE:include>
+        $<INSTALL_INTERFACE:${CMAKE_CURRENT_BINARY_DIR}/include>
 )
 
 # Install the InplaceVector library to the appropriate destination

include/beman/inplace_vector/config.hpp.in

@@ -0,0 +1,11 @@
+// include/beman/inplace_vector/config.hpp.in -*-C++-*-
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+
+#ifndef BEMAN_INPLACE_VECTOR_CONFIG_HPP
+#define BEMAN_INPLACE_VECTOR_CONFIG_HPP
+
+#ifndef BEMAN_INPLACE_VECTOR_FREESTANDING_DELETED
+#cmakedefine01 BEMAN_INPLACE_VECTOR_FREESTANDING_DELETED()
+#endif
+
+#endif

include/beman/inplace_vector/inplace_vector.hpp

@@ -252,6 +252,9 @@ prospectively choose to deem waived or otherwise exclude such Section(s) of
 the License, but only in their entirety and only with respect to the Combined
 Software.
  */
+
+#include <beman/inplace_vector/config.hpp>
+
 #include <algorithm> // for rotate...
 #include <array>
 #include <concepts>   // for lots...
@@ -271,8 +274,7 @@ Software.
 // Artifact from previous implementation, can be used as hints for optimizer
 #define IV_EXPECT(EXPR)
 
-#if (!defined(__EXCEPTIONS) && !defined(_CPPUNWIND)) ||                        \
-    __STDC_HOSTED__ == 0 || BEMAN_IV_FREESTANDING_FORCE_TEST
+#if __STDC_HOSTED__ == 0 || BEMAN_INPLACE_VECTOR_FREESTANDING_DELETED
 #define BEMAN_IV_FREESTANDING_DELETE(impl) = delete
 #else
 #define BEMAN_IV_FREESTANDING_DELETE(impl) impl

tests/beman/inplace_vector/CMakeLists.txt

@@ -42,9 +42,9 @@ add_gtest(size_n_data)
 add_gtest(erasure)
 add_gtest(freestanding)
 
-set_source_files_properties(
-    freestanding.test.cpp
-    PROPERTIES COMPILE_FLAGS "-DBEMAN_IV_FREESTANDING_FORCE_TEST"
+target_compile_definitions(
+    beman.inplace_vector.tests.freestanding
+    PRIVATE BEMAN_INPLACE_VECTOR_FREESTANDING_DELETED=1
 )
 
 # constexpr test

tests/beman/inplace_vector/freestanding.test.cpp

@@ -19,10 +19,17 @@ TYPED_TEST(Freestanding, alltypes) {
     EXPECT_NE(vec.try_push_back(T{}), nullptr);
   }
   EXPECT_EQ(vec.try_push_back(T{}), nullptr);
-
   EXPECT_EQ(vec.size(), IV::capacity());
-
   vec.clear();
   EXPECT_EQ(vec.size(), 0);
+
+  static_assert(requires(IV vec, T t) { vec.try_push_back(t); });
+  static_assert(requires(IV vec, T t) { vec.try_emplace_back(t); });
+
+  static_assert(!requires(IV vec, T t) { vec.push_back(t); });
+  static_assert(!requires(IV vec, T t) { vec.emplace_back(t); });
+  static_assert(!requires(IV vec, size_type t) { vec.reserve(t); });
+
+  // TODO make sure all of the freestanding-delete functions are deleted
 }
 } // namespace