user/sven/glibc.git/assert/Makefile, branch master

assert: Support assert as variadic macro for C++26 [PR27276]

2026-03-02T17:24:17Z

C++26 changes assert into a variadic macro to support using assignment-expressions that would be interpreted as multiple macro arguments, in particular one containing: * template parameter lists: func() * calls to overloaded operator[] that accepts multiple arguments: arr[1, 2] this is C++23 feature, see libstdc++ PR/119855 [1] * lambdas with explicit captures: [x, y] { ... } The new expansion in form: (__VA_ARGS__) ? void (1 ? 1 : bool (__VA_ARGS__)) : __assert_fail (...) Has the following properties: * Use of (__VA_ARGS__) ? ... : ..., requires that __VA_ARGS__ is contextually convertible to bool. This means that enumerators of scoped enumeration are no longer accepted (they are only explicitly convertible). Thus this patch address the glibc PR/27276 [2]. * Nested ternary 1 ? 1 : bool (__VA_ARGS__) guarantees that expression expanded from __VA_ARGS__ is not evaluated twice. This is used instead of unevaluated context (like sizeof...) to support C++ expressions that are not allowed in unevaluated context (lambdas until C++20, co_await, co_yield). * bool (__VA_ARGS__) is ill-formed if __VA_ARGS__ expands to multiple arguments: assert(1, 2) * bool (__VA_ARGS__) also triggers warnings when __VA_ARGS__ expands to x = 1: assert(x = 1) To guarantee that the code snippets from assert/test-assert-c++-variadic.cc, are actually checked for validity, we need to compile this test in C++26 (-std=c++26) mode. To achieve that, this patch compiles the file with test-config-cxxflags-stdcxx26 variable as additional flag, that is set to -std=c++26 if $(TEST_CXX) executable supports that flag, and empty otherwise. [1] https://gcc.gnu.org/bugzilla/show_bug.cgi?id=119855 [2] https://sourceware.org/bugzilla/show_bug.cgi?id=27276 Co-authored-by: Tomasz Kamiński Signed-off-by: Tomasz Kamiński Reviewed-by: Adhemerval Zanella

Update copyright dates with scripts/update-copyrights

2026-01-01T21:42:29Z

Support assert as a variadic macro for C23

2025-11-03T19:56:42Z

C23 makes assert into a variadic macro to handle cases of an argument that would be interpreted as a single function argument but more than one macro argument (in particular, compound literals with an unparenthesized comma in an initializer list); this change was made by N2829. Note that this only applies to assert, not to other macros specified in the C standard with particular numbers of arguments. Implement this support in glibc. This change is only for C; C++ would need a separate change to its separate assert implementations. It's also applied only in C23 mode. It depends on support for (C99) variadic macros, and also (in order to detect calls where more than one expression is passed, via an unevaluated function call) a C99 boolean type. These requirements are encapsulated in the definition of __ASSERT_VARIADIC. Tests with -std=c99 and -std=gnu99 (using implementations continue to work. I don't think we have a way in the glibc testsuite to validate that passing more than one expression as an argument does produce the desired error. Tested for x86_64.

assert: Add test for CVE-2025-0395

2025-02-13T17:33:27Z

Use the __progname symbol to override the program name to induce the failure that CVE-2025-0395 describes. This is related to BZ #32582 Signed-off-by: Siddhesh Poyarekar Reviewed-by: Adhemerval Zanella

Update copyright dates with scripts/update-copyrights

2025-01-01T19:22:09Z

assert: Sort tests in Makefile

2024-12-21T21:55:39Z

Signed-off-by: H.J. Lu

assert: ensure posix compliance, add tests for such

2024-12-21T03:44:01Z

Fix assert.c so that even the fallback case conforms to POSIX, although not exactly the same as the default case so a test can tell the difference. Add a test that verifies that abort is called, and that the message printed to stderr has all the info that POSIX requires. Verify this even when malloc isn't usable. Reviewed-by: Paul Eggert

Update copyright dates with scripts/update-copyrights

2024-01-01T18:53:40Z

assert: Reformat Makefile.

2023-05-18T16:56:45Z

Reflow all long lines adding comment terminators. Sort all reflowed text using scripts/sort-makefile-lines.py. No code generation changes observed in binary artifacts. No regressions on x86_64 and i686.

Update copyright dates with scripts/update-copyrights

2023-01-06T21:14:39Z