[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