[libc-commits] [libc] 94ef4fc - [libc] Annex K: Add constraint handler unit test class (#197707)

[via libc-commits]

Author: Victor Campos
Date: 2026-07-15T10:40:25+01:00
New Revision: 94ef4fce34ca8bbf79729814959c0d70b4a9ba3b

URL: https://github.com/llvm/llvm-project/commit/94ef4fce34ca8bbf79729814959c0d70b4a9ba3b
DIFF: https://github.com/llvm/llvm-project/commit/94ef4fce34ca8bbf79729814959c0d70b4a9ba3b.diff

LOG: [libc] Annex K: Add constraint handler unit test class (#197707)

This unit test class will be useful for the tests related to Annex K.
The functions in Annex K may call a constraint handler, so this new unit
test class will facilitate the checks that the constraint handling
mechanism is working as expected.

Added: 
    libc/test/UnitTest/ConstraintHandlerCheckingTest.h

Modified: 
    libc/test/UnitTest/CMakeLists.txt

Removed: 
    


################################################################################
diff  --git a/libc/test/UnitTest/CMakeLists.txt b/libc/test/UnitTest/CMakeLists.txt
index 02489107efc06..4a47597ae3a45 100644
--- a/libc/test/UnitTest/CMakeLists.txt
+++ b/libc/test/UnitTest/CMakeLists.txt
@@ -222,3 +222,13 @@ add_header_library(
     libc.src.__support.macros.properties.architectures
     libc.src.errno.errno
 )
+
+add_header_library(
+  ConstraintHandlerCheckingTest
+  HDRS
+    ConstraintHandlerCheckingTest.h
+  DEPENDS
+    libc.hdr.types.constraint_handler_t
+    libc.hdr.types.errno_t
+    libc.src.stdlib.set_constraint_handler_s
+)

diff  --git a/libc/test/UnitTest/ConstraintHandlerCheckingTest.h b/libc/test/UnitTest/ConstraintHandlerCheckingTest.h
new file mode 100644
index 0000000000000..569fbb4ef98fd
--- /dev/null
+++ b/libc/test/UnitTest/ConstraintHandlerCheckingTest.h
@@ -0,0 +1,53 @@
+//===----------------------------------------------------------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+///
+/// \file
+/// This file contains a test fixture for checking Annex K's constraint handler
+/// behavior.
+///
+//===----------------------------------------------------------------------===//
+
+#ifndef LLVM_LIBC_TEST_UNITTEST_CONSTRAINTHANDLERCHECKINGTEST_H
+#define LLVM_LIBC_TEST_UNITTEST_CONSTRAINTHANDLERCHECKINGTEST_H
+
+#include "hdr/types/constraint_handler_t.h"
+#include "hdr/types/errno_t.h"
+#include "src/stdlib/set_constraint_handler_s.h"
+#include "test/UnitTest/Test.h"
+
+namespace {
+
+bool error_flag;
+
+// This function conforms to the constraint_handler_t signature, which is the
+// argument type for set_constraint_handler_s used below. None of the constraint
+// handler's arguments are used in this test fixture.
+void local_constraint_handler(const char *__restrict /*msg*/,
+                              void *__restrict /*ptr*/, errno_t /*error*/) {
+  error_flag = true;
+}
+
+} // anonymous namespace
+
+namespace LIBC_NAMESPACE_DECL {
+
+namespace testing {
+
+class ConstraintHandlerCheckingTest : public Test {
+public:
+  void SetUp() override {
+    Test::SetUp();
+    error_flag = false;
+    LIBC_NAMESPACE::set_constraint_handler_s(local_constraint_handler);
+  }
+};
+
+} // namespace testing
+} // namespace LIBC_NAMESPACE_DECL
+
+#endif // LLVM_LIBC_TEST_UNITTEST_CONSTRAINTHANDLERCHECKINGTEST_H