[libcxx-commits] [libcxx] [WIP][libc++] Implement library support for contracts (PR #86251)

via libcxx-commits libcxx-commits at lists.llvm.org
Thu Mar 21 23:48:53 PDT 2024


github-actions[bot] wrote:

<!--LLVM CODE FORMAT COMMENT: {clang-format}-->


:warning: C/C++ code formatter, clang-format found issues in your code. :warning:

<details>
<summary>
You can test this locally with the following command:
</summary>

``````````bash
git-clang-format --diff 90454a609894ab278a87be2b9f5c49714caba8df 163ca4384ddbc4961bb12eadd682996c15fb5ca3 -- libcxx/include/contracts libcxx/src/contracts.cpp libcxx/test/std/contracts/enforce.pass.cpp libcxx/test/std/contracts/enforce_fast.pass.cpp libcxx/test/std/contracts/ignore.pass.cpp libcxx/test/std/contracts/observe.pass.cpp libcxx/include/__assert libcxx/include/vector
``````````

</details>

<details>
<summary>
View the diff from clang-format here.
</summary>

``````````diff
diff --git a/libcxx/test/std/contracts/enforce.pass.cpp b/libcxx/test/std/contracts/enforce.pass.cpp
index 57928a7883..cff4d32f2d 100644
--- a/libcxx/test/std/contracts/enforce.pass.cpp
+++ b/libcxx/test/std/contracts/enforce.pass.cpp
@@ -19,16 +19,10 @@
 #include "check_assertion.h"
 
 int main(int, char**) {
-    TEST_LIBCPP_ASSERT_FAILURE([](){
-        __pre__(false, "some message");
-    }(), "some message");
-
-    TEST_LIBCPP_ASSERT_FAILURE([](){
-        __post__(false, "some message");
-    }(), "some message");
-    TEST_LIBCPP_ASSERT_FAILURE([](){
-        __contract_assert__(false, "some message");
-    }(), "some message");
-
-    return 0;
+  TEST_LIBCPP_ASSERT_FAILURE([]() { __pre__(false, "some message"); }(), "some message");
+
+  TEST_LIBCPP_ASSERT_FAILURE([]() { __post__(false, "some message"); }(), "some message");
+  TEST_LIBCPP_ASSERT_FAILURE([]() { __contract_assert__(false, "some message"); }(), "some message");
+
+  return 0;
 }
diff --git a/libcxx/test/std/contracts/enforce_fast.pass.cpp b/libcxx/test/std/contracts/enforce_fast.pass.cpp
index 7260df5790..b8e2fb09b8 100644
--- a/libcxx/test/std/contracts/enforce_fast.pass.cpp
+++ b/libcxx/test/std/contracts/enforce_fast.pass.cpp
@@ -19,17 +19,11 @@
 #include "check_assertion.h"
 
 int main(int, char**) {
-    TEST_LIBCPP_ASSERT_FAILURE([](){
-        __pre__(false, "some message");
-    }(), "some message");
+  TEST_LIBCPP_ASSERT_FAILURE([]() { __pre__(false, "some message"); }(), "some message");
 
-    TEST_LIBCPP_ASSERT_FAILURE([](){
-        __post__(false, "some message");
-    }(), "some message");
+  TEST_LIBCPP_ASSERT_FAILURE([]() { __post__(false, "some message"); }(), "some message");
 
-    TEST_LIBCPP_ASSERT_FAILURE([](){
-        __contract_assert__(false, "some message");
-    }(), "some message");
+  TEST_LIBCPP_ASSERT_FAILURE([]() { __contract_assert__(false, "some message"); }(), "some message");
 
-    return 0;
+  return 0;
 }
diff --git a/libcxx/test/std/contracts/ignore.pass.cpp b/libcxx/test/std/contracts/ignore.pass.cpp
index 0fcb08ec52..7060162b17 100644
--- a/libcxx/test/std/contracts/ignore.pass.cpp
+++ b/libcxx/test/std/contracts/ignore.pass.cpp
@@ -19,9 +19,9 @@
 #include "check_assertion.h"
 
 int main(int, char**) {
-    __pre__(false, "some message"); // nothing happening
-    __post__(false, "some message"); // nothing happening
-    __contract_assert__(false, "some message"); // nothing happening
+  __pre__(false, "some message");             // nothing happening
+  __post__(false, "some message");            // nothing happening
+  __contract_assert__(false, "some message"); // nothing happening
 
-    return 0;
+  return 0;
 }
diff --git a/libcxx/test/std/contracts/observe.pass.cpp b/libcxx/test/std/contracts/observe.pass.cpp
index 3250551943..d12ee743f2 100644
--- a/libcxx/test/std/contracts/observe.pass.cpp
+++ b/libcxx/test/std/contracts/observe.pass.cpp
@@ -17,9 +17,9 @@
 #include <contracts>
 
 int main(int, char**) {
-    __pre__(false, "some message"); // no termination happening
-    __post__(false, "some message"); // no termination happening
-    __contract_assert__(false, "some message"); // no termination happening
+  __pre__(false, "some message");             // no termination happening
+  __post__(false, "some message");            // no termination happening
+  __contract_assert__(false, "some message"); // no termination happening
 
-    return 0;
+  return 0;
 }

``````````

</details>


https://github.com/llvm/llvm-project/pull/86251


More information about the libcxx-commits mailing list