diff options
Diffstat (limited to 'clang/docs/ReleaseNotes.rst')
| -rw-r--r-- | clang/docs/ReleaseNotes.rst | 927 |
1 files changed, 0 insertions, 927 deletions
diff --git a/clang/docs/ReleaseNotes.rst b/clang/docs/ReleaseNotes.rst index 0e711cb..d8655e5 100644 --- a/clang/docs/ReleaseNotes.rst +++ b/clang/docs/ReleaseNotes.rst @@ -40,35 +40,12 @@ code bases. C/C++ Language Potentially Breaking Changes ------------------------------------------- -- Indirect edges of asm goto statements under certain circumstances may now be - split. In previous releases of clang, that means for the following code the - two inputs may have compared equal in the inline assembly. This is no longer - guaranteed (and necessary to support outputs along indirect edges, which is - now supported as of this release). This change is more consistent with the - behavior of GCC. - - .. code-block:: c - - foo: asm goto ("# %0 %1"::"i"(&&foo)::foo); - -- ``__builtin_object_size`` and ``__builtin_dynamic_object_size`` now add the - ``sizeof`` the elements specified in designated initializers of flexible - array members for structs that contain them. This change is more consistent - with the behavior of GCC. C++ Specific Potentially Breaking Changes ----------------------------------------- -- Clang won't search for coroutine_traits in std::experimental namespace any more. - Clang will only search for std::coroutine_traits for coroutines then. -- Clang no longer allows dereferencing of a ``void *`` as an extension. Clang 16 - converted this to a default-error as ``-Wvoid-ptr-dereference``, as well as a - SFINAE error. This flag is still valid however, as it disables the equivalent - warning in C. ABI Changes in This Version --------------------------- -- A bug in evaluating the ineligibility of some special member functions has been fixed. This can - make some classes trivially copyable that were not trivially copyable before. (`#62555 <https://github.com/llvm/llvm-project/issues/62555>`_) What's New in Clang |release|? ============================== @@ -79,1032 +56,128 @@ sections with improvements to Clang's support for those languages. C++ Language Changes -------------------- -- Improved ``-O0`` code generation for calls to ``std::forward_like``. Similarly to - ``std::move, std::forward`` et al. it is now treated as a compiler builtin and implemented - directly rather than instantiating the definition from the standard library. -- Implemented `CWG2518 <https://wg21.link/CWG2518>`_ which allows ``static_assert(false)`` - to not be ill-formed when its condition is evaluated in the context of a template definition. -- Declaring namespace std to be an inline namespace is now prohibited, `[namespace.std]p7`. C++20 Feature Support ^^^^^^^^^^^^^^^^^^^^^ -- Implemented the rule introduced by `CA104 <https://wg21.link/P2103R0>`_ for comparison of - constraint-expressions. Improved support for out-of-line definitions of constrained templates. - This fixes: - `#49620 <https://github.com/llvm/llvm-project/issues/49620>`_, - `#60231 <https://github.com/llvm/llvm-project/issues/60231>`_, - `#61414 <https://github.com/llvm/llvm-project/issues/61414>`_, - `#61809 <https://github.com/llvm/llvm-project/issues/61809>`_. -- Lambda templates with a requires clause directly after the template parameters now parse - correctly if the requires clause consists of a variable with a dependent type. - (`#61278 <https://github.com/llvm/llvm-project/issues/61278>`_) -- Announced C++20 Coroutines is fully supported on all targets except Windows, which - still has some stability and ABI issues. -- Downgraded use of a reserved identifier in a module export declaration from - an error to a warning under the ``-Wreserved-module-identifier`` warning - group. This warning is enabled by default. This addresses `#61446 - <https://github.com/llvm/llvm-project/issues/61446>`_ and allows easier - building of standard modules. This diagnostic may be strengthened into an - error again in the future once there is a less fragile way to mark a module - as being part of the implementation rather than a user module. -- Clang now implements `[temp.deduct]p9`. Substitution failures inside lambdas from - unevaluated contexts will be surfaced as errors. They were previously handled as - SFINAE. -- Clang now supports `requires cplusplus20` for module maps. -- Implemented missing parts of `P2002R1: Consistent comparison operators <https://wg21.link/P2002R1>`_ -- Clang now defines `__cpp_consteval` macro. -- Implemented `P1816R0: <https://wg21.link/p1816r0>`_ and `P2082R1: <https://wg21.link/p2082r1>`_, - which allows CTAD for aggregates. C++23 Feature Support ^^^^^^^^^^^^^^^^^^^^^ -- Implemented `P2036R3: Change scope of lambda trailing-return-type <https://wg21.link/P2036R3>`_ - and `P2579R0 Mitigation strategies for P2036 <https://wg21.link/P2579R0>`_. - These proposals modify how variables captured in lambdas can appear in trailing return type - expressions and how their types are deduced therein, in all C++ language versions. -- Implemented partial support for `P2448R2: Relaxing some constexpr restrictions <https://wg21.link/p2448r2>`_ - Explicitly defaulted functions no longer have to be constexpr-compatible but merely constexpr suitable. - We do not support outside of defaulted special memeber functions the change that constexpr functions no - longer have to be constexpr compatible but rather support a less restricted requirements for constexpr - functions. Which include allowing non-literal types as return values and parameters, allow calling of - non-constexpr functions and constructors. -- Clang now supports `requires cplusplus23` for module maps. -- Implemented `P2564R3: consteval needs to propagate up <https://wg21.link/P2564R3>`_. - C++2c Feature Support ^^^^^^^^^^^^^^^^^^^^^ -- Compiler flags ``-std=c++2c`` and ``-std=gnu++2c`` have been added for experimental C++2c implementation work. -- Implemented `P2738R1: constexpr cast from void* <https://wg21.link/P2738R1>`_. -- Partially implemented `P2361R6: Unevaluated strings <https://wg21.link/P2361R6>`_. - The changes to attributes declarations are not part of this release. -- Implemented `P2741R3: user-generated static_assert messages <https://wg21.link/P2741R3>`_. Resolutions to C++ Defect Reports ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -- Implemented `DR2397 <https://wg21.link/CWG2397>`_ which allows ``auto`` specifier for pointers - and reference to arrays. -- Implemented `CWG2521 <https://wg21.link/CWG2521>`_ which reserves using ``__`` in user-defined - literal suffixes and deprecates literal operator function declarations using an identifier. - Taught ``-Wuser-defined-literals`` for the former, on by default, and added - ``-Wdeprecated-literal-operator`` for the latter, off by default for now. - - .. code-block:: c++ - - // What follows is warned by -Wuser-defined-literals - // albeit "ill-formed, no diagnostic required". - // Its behavior is undefined, [reserved.names.general]p2. - string operator ""__i18n(const char*, std::size_t); - - // Assume this declaration is not in the global namespace. - // -Wdeprecated-literal-operator diagnoses the extra space. - string operator "" _i18n(const char*, std::size_t); - // ^ an extra space C Language Changes ------------------ -- Support for outputs from asm goto statements along indirect edges has been - added. (`#53562 <https://github.com/llvm/llvm-project/issues/53562>`_) -- Fixed a bug that prevented initialization of an ``_Atomic``-qualified pointer - from a null pointer constant. -- Fixed a bug that prevented casting to an ``_Atomic``-qualified type. - (`#39596 <https://github.com/llvm/llvm-project/issues/39596>`_) -- Added an extension to ``_Generic`` which allows the first operand to be a - type rather than an expression. The type does not undergo any conversions, - which makes this feature suitable for matching qualified types, incomplete - types, and function or array types. - - .. code-block:: c - - const int i = 12; - _Generic(i, int : 0, const int : 1); // Warns about unreachable code, the - // result is 0, not 1. - _Generic(typeof(i), int : 0, const int : 1); // Result is 1, not 0. C2x Feature Support ^^^^^^^^^^^^^^^^^^^ -- Implemented the ``unreachable`` macro in freestanding ``<stddef.h>`` for - `WG14 N2826 <https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2826.pdf>`_ - -- Removed the ``ATOMIC_VAR_INIT`` macro in C2x and later standards modes, which - implements `WG14 N2886 <https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2886.htm>`_ - -- Implemented `WG14 N2934 <https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2934.pdf>`_ - which introduces the ``bool``, ``static_assert``, ``alignas``, ``alignof``, - and ``thread_local`` keywords in C2x. - -- Implemented `WG14 N2900 <https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2900.htm>`_ - and `WG14 N3011 <https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3011.htm>`_ - which allows for empty braced initialization in C. - - .. code-block:: c - - struct S { int x, y } s = {}; // Initializes s.x and s.y to 0 - - As part of this change, the ``-Wgnu-empty-initializer`` warning group was - removed, as this is no longer a GNU extension but a C2x extension. You can - use ``-Wno-c2x-extensions`` to silence the extension warning instead. - -- Updated the implementation of - `WG14 N3042 <https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3042.htm>`_ - based on decisions reached during the WG14 CD Ballot Resolution meetings held - in Jan and Feb 2023. This should complete the implementation of ``nullptr`` - and ``nullptr_t`` in C. The specific changes are: - - .. code-block:: c - - void func(nullptr_t); - func(0); // Previously required to be rejected, is now accepted. - func((void *)0); // Previously required to be rejected, is now accepted. - - nullptr_t val; - val = 0; // Previously required to be rejected, is now accepted. - val = (void *)0; // Previously required to be rejected, is now accepted. - - bool b = nullptr; // Was incorrectly rejected by Clang, is now accepted. - -- Implemented `WG14 N3124 <https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3124.pdf>_`, - which allows any universal character name to appear in character and string literals. - Non-comprehensive list of changes in this release ------------------------------------------------- -- Clang now saves the address of ABI-indirect function parameters on the stack, - improving the debug information available in programs compiled without - optimizations. -- Clang now supports ``__builtin_nondeterministic_value`` that returns a - nondeterministic value of the same type as the provided argument. -- Clang now supports ``__builtin_FILE_NAME()`` which returns the same - information as the ``__FILE_NAME__`` macro (the presumed file name - from the invocation point, with no path components included). -- Clang now supports ``__builtin_assume_separate_storage`` that indicates that - its arguments point to objects in separate storage allocations. -- Clang now supports expressions in ``#pragma clang __debug dump``. -- Clang now supports declaration of multi-dimensional arrays with - ``__declspec(property)``. -- A new builtin type trait ``__is_trivially_equality_comparable`` has been added, - which checks whether comparing two instances of a type is equivalent to - ``memcmp(&lhs, &rhs, sizeof(T)) == 0``. -- Clang now ignores null directives outside of the include guard when deciding - whether a file can be enabled for the multiple-include optimization. -- Clang now support ``__builtin_FUNCSIG()`` which returns the same information - as the ``__FUNCSIG__`` macro (available only with ``-fms-extensions`` flag). - This fixes (`#58951 <https://github.com/llvm/llvm-project/issues/58951>`_). -- Clang now supports the `NO_COLOR <https://no-color.org/>`_ environment - variable as a way to disable color diagnostics. -- Clang now supports ``__builtin_isfpclass``, which checks if the specified - floating-point value falls into any of the specified data classes. -- Added ``__builtin_elementwise_round`` for builtin for floating - point types. This allows access to ``llvm.round`` for - arbitrary floating-point and vector of floating-point types. -- Added ``__builtin_elementwise_rint`` for floating point types. This - allows access to ``llvm.rint`` for arbitrary floating-point and - vector of floating-point types. -- Added ``__builtin_elementwise_nearbyint`` for floating point - types. This allows access to ``llvm.nearbyint`` for arbitrary - floating-point and vector of floating-point types. -- Clang AST matcher now matches concept declarations with `conceptDecl`. New Compiler Flags ------------------ -- The flag ``-std=c++23`` has been added. This behaves the same as the existing - flag ``-std=c++2b``. -- ``-dumpdir`` has been implemented to specify auxiliary and dump output - filenames for features like ``-gsplit-dwarf``. -- ``-fcaret-diagnostics-max-lines=`` has been added as a driver options, which - lets users control the maximum number of source lines printed for a - caret diagnostic. -- ``-fkeep-persistent-storage-variables`` has been implemented to keep all - variables that have a persistent storage duration—including global, static - and thread-local variables—to guarantee that they can be directly addressed. - Since this inhibits the merging of the affected variables, the number of - individual relocations in the program will generally increase. Deprecated Compiler Flags ------------------------- -- ``-fdouble-square-bracket-attributes`` has been deprecated. It is ignored now - and will be removed in Clang 18. - Modified Compiler Flags ----------------------- -- ``clang -g -gsplit-dwarf a.c -o obj/x`` (compile and link) now generates the - ``.dwo`` file at ``obj/x-a.dwo``, instead of a file in the temporary - directory (``/tmp`` on \*NIX systems, if none of the environment variables - TMPDIR, TMP, and TEMP are specified). - -- ``-ffat-lto-objects`` can now be used to emit object files with both object - code and LLVM bitcode. Previously this flag was ignored for GCC compatibility. - (`See related patch <https://reviews.llvm.org/D146777>`_). - Removed Compiler Flags ------------------------- -- The deprecated flag `-fmodules-ts` is removed. Please use ``-std=c++20`` - or higher to use standard C++ modules instead. -- The deprecated flag `-fcoroutines-ts` is removed. Please use ``-std=c++20`` - or higher to use standard C++ coroutines instead. -- The CodeGen flag `-lower-global-dtors-via-cxa-atexit` which affects how global - destructors are lowered for MachO is removed without replacement. The default - of `-lower-global-dtors-via-cxa-atexit=true` is now the only supported way. -- The cc1 flag ``-no-opaque-pointers`` has been removed. Attribute Changes in Clang -------------------------- -- Introduced a new function attribute ``__attribute__((unsafe_buffer_usage))`` - to be worn by functions containing buffer operations that could cause out of - bounds memory accesses. It emits warnings at call sites to such functions when - the flag ``-Wunsafe-buffer-usage`` is enabled. -- ``__declspec`` attributes can now be used together with the using keyword. Before - the attributes on ``__declspec`` was ignored, while now it will be forwarded to the - point where the alias is used. -- Introduced a new ``USR`` (unified symbol resolution) clause inside of the - existing ``__attribute__((external_source_symbol))`` attribute. Clang's indexer - uses the optional USR value when indexing Clang's AST. This value is expected - to be generated by an external compiler when generating C++ bindings during - the compilation of the foreign language sources (e.g. Swift). -- The ``__has_attribute``, ``__has_c_attribute`` and ``__has_cpp_attribute`` - preprocessor operators now return 1 also for attributes defined by plugins. -- Improve the AST fidelity of ``alignas`` and ``_Alignas`` attribute. Before, we - model ``alignas(type-id)`` as though the user wrote ``alignas(alignof(type-id))``, - now we directly use ``alignas(type-id)``. Improvements to Clang's diagnostics ----------------------------------- -- We now generate a diagnostic for signed integer overflow due to unary minus - in a non-constant expression context. - (`#31643 <https://github.com/llvm/llvm-project/issues/31643>`_) -- Clang now warns by default for C++20 and later about deprecated capture of - ``this`` with a capture default of ``=``. This warning can be disabled with - ``-Wno-deprecated-this-capture``. -- Clang had failed to emit some ``-Wundefined-internal`` for members of a local - class if that class was first introduced with a forward declaration. -- Diagnostic notes and fix-its are now generated for ``ifunc``/``alias`` attributes - which point to functions whose names are mangled. -- Diagnostics relating to macros on the command line of a preprocessed assembly - file or precompiled header are now reported as coming from the file - ``<command line>`` instead of ``<built-in>``. -- Clang constexpr evaluator now provides a more concise diagnostic when calling - function pointer that is known to be null. -- Clang now avoids duplicate warnings on unreachable ``[[fallthrough]];`` statements - previously issued from ``-Wunreachable-code`` and ``-Wunreachable-code-fallthrough`` - by prioritizing ``-Wunreachable-code-fallthrough``. -- Clang now correctly diagnoses statement attributes ``[[clang::always_inline]]`` and - ``[[clang::noinline]]`` when used on a statement with dependent call expressions. -- Clang now checks for completeness of the second and third arguments in the - conditional operator. - (`#59718 <https://github.com/llvm/llvm-project/issues/59718>`_) -- There were some cases in which the diagnostic for the unavailable attribute - might not be issued, this fixes those cases. - (`61815 <https://github.com/llvm/llvm-project/issues/61815>`_) -- Clang now avoids unnecessary diagnostic warnings for obvious expressions in - the case of binary operators with logical OR operations. - (`#57906 <https://github.com/llvm/llvm-project/issues/57906>`_) -- Clang's "static assertion failed" diagnostic now points to the static assertion - expression instead of pointing to the ``static_assert`` token. - (`#61951 <https://github.com/llvm/llvm-project/issues/61951>`_) -- ``-Wformat`` now recognizes ``%lb`` for the ``printf``/``scanf`` family of - functions. - (`#62247: <https://github.com/llvm/llvm-project/issues/62247>`_). -- Clang now diagnoses shadowing of lambda's template parameter by a capture. - (`#61105: <https://github.com/llvm/llvm-project/issues/61105>`_). -- Address a false positive in ``-Wpacked`` when applied to a non-pod type using - Clang ABI >= 15. - (`#62353: <https://github.com/llvm/llvm-project/issues/62353>`_, - fallout from the non-POD packing ABI fix in LLVM 15). -- Clang constexpr evaluator now prints subobject's name instead of its type in notes - when a constexpr variable has uninitialized subobjects after its constructor call. - (`#58601 <https://github.com/llvm/llvm-project/issues/58601>`_) -- Clang's `-Wshadow` warning now warns about shadowings by static local variables - (`#62850: <https://github.com/llvm/llvm-project/issues/62850>`_). -- Clang now warns when any predefined macro is undefined or redefined, instead - of only some of them. -- Clang now correctly diagnoses when the argument to ``alignas`` or ``_Alignas`` - is an incomplete type. - (`#55175: <https://github.com/llvm/llvm-project/issues/55175>`_, and fixes an - incorrect mention of ``alignof`` in a diagnostic about ``alignas``). -- Clang will now show a margin with line numbers to the left of each line - of code it prints for diagnostics. This can be disabled using - ``-fno-diagnostics-show-line-numbers``. At the same time, the maximum - number of code lines it prints has been increased from 1 to 16. This - can be controlled using ``-fcaret-diagnostics-max-lines=``. -- Clang no longer emits ``-Wunused-variable`` warnings for variables declared - with ``__attribute__((cleanup(...)))`` to match GCC's behavior. -- Clang now issues expected warnings for situations of comparing with NULL pointers. - (`#42992: <https://github.com/llvm/llvm-project/issues/42992>`_) -- Clang now diagnoses unused const-qualified variable template as - "unused variable template" rather than "unused variable". -- When diagnosing a constant expression where an enum without a fixed underlying - type is set to a value outside the range of the enum's values, clang will now - print the name of the enum in question. -- Clang no longer diagnoses a read of an empty structure as use of an - uninitialized variable. - (`#26842: <https://github.com/llvm/llvm-project/issues/26842>`_) -- The Fix-It emitted for unused labels used to expand to the next line, which caused - visual oddities now that Clang shows more than one line of code snippet. This has - been fixed and the Fix-It now only spans to the end of the ``:``. -- Clang now underlines the parameter list of function declaration when emitting - a note about the mismatch in the number of arguments. -- Clang now diagnoses unexpected tokens after a - ``#pragma clang|GCC diagnostic push|pop`` directive. - (`#13920: <https://github.com/llvm/llvm-project/issues/13920>`_) -- Clang now does not try to analyze cast validity on variables with dependent alignment (`#63007: <https://github.com/llvm/llvm-project/issues/63007>`_). -- Clang constexpr evaluator now displays member function calls more precisely - by making use of the syntactical structure of function calls. This avoids display - of syntactically invalid codes in diagnostics. - (`#57081: <https://github.com/llvm/llvm-project/issues/57081>`_) -- Clang no longer emits inappropriate notes about the loss of ``__unaligned`` qualifier - on overload resolution, when the actual reason for the failure is loss of other qualifiers. -- The note emitted when an ``operator==`` was defaulted as deleted used to refer to - the lack of a data member's "three-way comparison operator". It now refers correctly - to the data member's ``operator==``. - (`#63960: <https://github.com/llvm/llvm-project/issues/63960>`_) -- Clang's notes about unconvertible types in overload resolution failure now covers - the source range of parameter declaration of the candidate function declaration. - - *Example Code*: - - .. code-block:: c++ - - void func(int aa, int bb); - void test() { func(1, "two"); } - - *BEFORE*: - - .. code-block:: text - - source:2:15: error: no matching function for call to 'func' - void test() { func(1, "two"); } - ^~~~ - source:1:6: note: candidate function not viable: no known conversion from 'const char[4]' to 'int' for 2nd argument - void func(int aa, int bb); - ^ - - *AFTER*: - - .. code-block:: text - - source:2:15: error: no matching function for call to 'func' - void test() { func(1, "two"); } - ^~~~ - source:1:6: note: candidate function not viable: no known conversion from 'const char[4]' to 'int' for 2nd argument - void func(int aa, int bb); - ^ ~~~~~~ - -- ``-Wformat`` cast fix-its will now suggest ``static_cast`` instead of C-style casts - for C++ code. -- ``-Wformat`` will no longer suggest a no-op fix-it for fixing scoped enum format - warnings. Instead, it will suggest casting the enum object to the type specified - in the format string. -- Clang now emits ``-Wconstant-logical-operand`` warning even when constant logical - operand is on left side. - (`#37919 <https://github.com/llvm/llvm-project/issues/37919>`_) Bug Fixes in This Version ------------------------- -- Added a new diagnostic warning group - ``-Wdeprecated-redundant-constexpr-static-def``, under the existing - ``-Wdeprecated`` group. This controls warnings about out-of-line definitions - of 'static constexpr' data members that are unnecessary from C++17 onwards. -- Fix segfault while running clang-rename on a non existing file. - (`#36471 <https://github.com/llvm/llvm-project/issues/36471>`_) -- Fix crash when diagnosing incorrect usage of ``_Nullable`` involving alias - templates. - (`#60344 <https://github.com/llvm/llvm-project/issues/60344>`_) -- Fix confusing warning message when ``/clang:-x`` is passed in ``clang-cl`` - driver mode and emit an error which suggests using ``/TC`` or ``/TP`` - ``clang-cl`` options instead. - (`#59307 <https://github.com/llvm/llvm-project/issues/59307>`_) -- Fix assert that fails when the expression causing the this pointer to be - captured by a block is part of a constexpr if statement's branch and - instantiation of the enclosing method causes the branch to be discarded. -- Fix __VA_OPT__ implementation so that it treats the concatenation of a - non-placemaker token and placemaker token as a non-placemaker token. - (`#60268 <https://github.com/llvm/llvm-project/issues/60268>`_) -- Fix crash when taking the address of a consteval lambda call operator. - (`#57682 <https://github.com/llvm/llvm-project/issues/57682>`_) -- Clang now support export declarations in the language linkage. - (`#60405 <https://github.com/llvm/llvm-project/issues/60405>`_) -- Fix aggregate initialization inside lambda constexpr. - (`#60936 <https://github.com/llvm/llvm-project/issues/60936>`_) -- No longer issue a false positive diagnostic about a catch handler that cannot - be reached despite being reachable. This fixes - `#61177 <https://github.com/llvm/llvm-project/issues/61177>`_ in anticipation - of `CWG2699 <https://wg21.link/CWG2699>_` being accepted by WG21. -- Fix crash when parsing fold expression containing a delayed typo correction. - (`#61326 <https://github.com/llvm/llvm-project/issues/61326>`_) -- Fix crash when dealing with some member accesses outside of class or member - function context. - (`#37792 <https://github.com/llvm/llvm-project/issues/37792>`_) and - (`#48405 <https://github.com/llvm/llvm-project/issues/48405>`_) -- Fix crash when using ``[[clang::always_inline]]`` or ``[[clang::noinline]]`` - statement attributes on a call to a template function in the body of a - template function. -- Fix coroutines issue where ``get_return_object()`` result was always eagerly - converted to the return type. Eager initialization (allowing RVO) is now only - performed when these types match, otherwise deferred initialization is used, - enabling short-circuiting coroutines use cases. This fixes - (`#56532 <https://github.com/llvm/llvm-project/issues/56532>`_) in - anticipation of `CWG2563 <https://cplusplus.github.io/CWG/issues/2563.html>_`. -- Fix highlighting issue with ``_Complex`` and initialization list with more than - 2 items. (`#61518 <https://github.com/llvm/llvm-project/issues/61518>`_) -- Fix ``getSourceRange`` on ``VarTemplateSpecializationDecl`` and - ``VarTemplatePartialSpecializationDecl``, which represents variable with - the initializer, so it behaves consistently with other ``VarDecls`` and ends - on the last token of initializer, instead of right angle bracket of - the template argument list. -- Fix false-positive diagnostic issued for consteval initializers of temporary - objects. - (`#60286 <https://github.com/llvm/llvm-project/issues/60286>`_) -- Correct restriction of trailing requirements clauses on a templated function. - Previously we only rejected non-'templated' things, but the restrictions ALSO need - to limit non-defined/non-member functions as well. Additionally, we now diagnose - requires on lambdas when not allowed, which we previously missed. - (`#61748 <https://github.com/llvm/llvm-project/issues/61748>`_) -- Fix confusing diagnostic for incorrect use of qualified concepts names. -- Fix handling of comments in function like macros so they are ignored in -CC - mode. - (`#60887 <https://github.com/llvm/llvm-project/issues/60887>`_) -- Fix incorrect merging of lambdas across modules. - (`#60985 <https://github.com/llvm/llvm-project/issues/60985>`_) -- Fix crash when handling nested immediate invocations in initializers of global - variables. - (`#58207 <https://github.com/llvm/llvm-project/issues/58207>`_) -- Fix crash when generating code coverage information for `PseudoObjectExpr` in - Clang AST. - (`#45481 <https://github.com/llvm/llvm-project/issues/45481>`_) -- Fix the assertion hit when a template consteval function appears in a nested - consteval/constexpr call chain. - (`#61142 <https://github.com/llvm/llvm-project/issues/61142>`_) -- Clang now better diagnose placeholder types constrained with a concept that is - not a type concept. -- Fix crash when a doc comment contains a line splicing. - (`#62054 <https://github.com/llvm/llvm-project/issues/62054>`_) -- Work around with a clang coverage crash which happens when visiting - expressions/statements with invalid source locations in non-assert builds. - Assert builds may still see assertions triggered from this. -- Fix a failed assertion due to an invalid source location when trying to form - a coverage report for an unresolved constructor expression. - (`#62105 <https://github.com/llvm/llvm-project/issues/62105>`_) -- Fix defaulted equality operator so that it does not attempt to compare unnamed - bit-fields. This fixes: - (`#61355 <https://github.com/llvm/llvm-project/issues/61335>`_) and - (`#61417 <https://github.com/llvm/llvm-project/issues/61417>`_) -- Fix crash after suggesting typo correction to constexpr if condition. - (`#61885 <https://github.com/llvm/llvm-project/issues/61885>`_) -- Clang constexpr evaluator now treats comparison of [[gnu::weak]]-attributed - member pointer as an invalid expression. -- Fix crash when member function contains invalid default argument. - (`#62122 <https://github.com/llvm/llvm-project/issues/62122>`_) -- Fix crash when handling undefined template partial specialization - (`#61356 <https://github.com/llvm/llvm-project/issues/61356>`_) -- Fix premature substitution into the constraints of an inherited constructor. -- Fix crash when attempting to perform parenthesized initialization of an - aggregate with a base class with only non-public constructors. - (`#62296 <https://github.com/llvm/llvm-project/issues/62296>`_) -- Fix crash when handling initialization candidates for invalid deduction guide. - (`#62408 <https://github.com/llvm/llvm-project/issues/62408>`_) -- Fix crash when redefining a variable with an invalid type again with an - invalid type. (`#62447 <https://github.com/llvm/llvm-project/issues/62447>`_) -- Fix a stack overflow issue when evaluating ``consteval`` default arguments. - (`#60082 <https://github.com/llvm/llvm-project/issues/60082>`_) -- Fix the assertion hit when generating code for global variable initializer of - _BitInt(1) type. - (`#62207 <https://github.com/llvm/llvm-project/issues/62207>`_) -- Fix lambdas and other anonymous function names not respecting ``-fdebug-prefix-map`` - (`#62192 <https://github.com/llvm/llvm-project/issues/62192>`_) -- Fix crash when attempting to pass a non-pointer type as first argument of - ``__builtin_assume_aligned``. - (`#62305 <https://github.com/llvm/llvm-project/issues/62305>`_) -- A default argument for a non-type template parameter is evaluated and checked - at the point where it is required. This fixes: - (`#62224 <https://github.com/llvm/llvm-project/issues/62224>`_) and - (`#62596 <https://github.com/llvm/llvm-project/issues/62596>`_) -- Fix an assertion when instantiating the body of a Class Template Specialization - when it had been instantiated from a partial template specialization with different - template arguments on the containing class. This fixes: - (`#60778 <https://github.com/llvm/llvm-project/issues/60778>`_). -- Fix a crash when an enum constant has a dependent-type recovery expression for - C. - (`#62446 <https://github.com/llvm/llvm-project/issues/62446>`_). -- Propagate the value-dependent bit for VAArgExpr. Fixes a crash where a - __builtin_va_arg call has invalid arguments. - (`#62711 <https://github.com/llvm/llvm-project/issues/62711>`_). -- Fix crash on attempt to initialize union with flexible array member. - (`#61746 <https://github.com/llvm/llvm-project/issues/61746>`_). -- Clang `TextNodeDumper` enabled through `-ast-dump` flag no longer evaluates the - initializer of constexpr `VarDecl` if the declaration has a dependent type. -- Match GCC's behavior for ``__builtin_object_size`` and - ``__builtin_dynamic_object_size`` on structs containing flexible array - members. - (`#62789 <https://github.com/llvm/llvm-project/issues/62789>`_). -- Fix a crash when instantiating a non-type template argument in a dependent scope. - (`#62533 <https://github.com/llvm/llvm-project/issues/62533>`_). -- Fix crash when diagnosing default comparison method. - (`#62791 <https://github.com/llvm/llvm-project/issues/62791>`_) and - (`#62102 <https://github.com/llvm/llvm-project/issues/62102>`_). -- Fix crash when passing a braced initializer list to a parentehsized aggregate - initialization expression. - (`#63008 <https://github.com/llvm/llvm-project/issues/63008>`_). -- Reject increment of bool value in unevaluated contexts after C++17. - (`#47517 <https://github.com/llvm/llvm-project/issues/47517>`_). -- Fix assertion and quality of diagnostic messages in a for loop - containing multiple declarations and a range specifier - (`#63010 <https://github.com/llvm/llvm-project/issues/63010>`_). -- Fix rejects-valid when consteval operator appears inside of a template. - (`#62886 <https://github.com/llvm/llvm-project/issues/62886>`_). -- Fix crash for code using ``_Atomic`` types in C++ - (`See patch <https://reviews.llvm.org/D152303>`_). -- Fix crash when passing a value larger then 64 bits to the aligned attribute. - (`#50534 <https://github.com/llvm/llvm-project/issues/50534>`_). -- CallExpr built for C error-recovery now is always type-dependent. Fixes a - crash when we encounter a unresolved TypoExpr during diagnostic emission. - (`#50244 <https://github.com/llvm/llvm-project/issues/50244>`_). -- Apply ``-fmacro-prefix-map`` to anonymous tags in template arguments - (`#63219 <https://github.com/llvm/llvm-project/issues/63219>`_). -- Clang now properly diagnoses format string mismatches involving scoped - enumeration types. A scoped enumeration type is not promoted to an integer - type by the default argument promotions, and thus this is UB. Clang's - behavior now matches GCC's behavior in C++. - (`#38717 <https://github.com/llvm/llvm-project/issues/38717>`_). -- Fixed a failing assertion when implicitly defining a function within a GNU - statement expression that appears outside of a function block scope. The - assertion was benign outside of asserts builds and would only fire in C. - (`#48579 <https://github.com/llvm/llvm-project/issues/48579>`_). -- Fixed a failing assertion when applying an attribute to an anonymous union. - The assertion was benign outside of asserts builds and would only fire in C++. - (`#48512 <https://github.com/llvm/llvm-project/issues/48512>`_). -- Fixed a failing assertion when parsing incomplete destructor. - (`#63503 <https://github.com/llvm/llvm-project/issues/63503>`_) -- Fix C++17 mode assert when parsing malformed code and the compiler is - attempting to see if it could be type template for class template argument - deduction. This fixes - (`Issue 57495 <https://github.com/llvm/llvm-project/issues/57495>`_) -- Fix missing destructor calls and therefore memory leaks in generated code - when an immediate invocation appears as a part of an expression that produces - temporaries. - (`#60709 <https://github.com/llvm/llvm-project/issues/60709>`_). -- Fixed a missed integer overflow warning with temporary values. - (`#63629 <https://github.com/llvm/llvm-project/issues/63629>`_) -- Fixed parsing of elaborated type specifier inside of a new expression. - (`#34341 <https://github.com/llvm/llvm-project/issues/34341>`_) -- Clang now correctly evaluates ``__has_extension (cxx_defaulted_functions)`` - and ``__has_extension (cxx_default_function_template_args)`` to 1. - (`#61758 <https://github.com/llvm/llvm-project/issues/61758>`_) -- Stop evaluating a constant expression if the condition expression which in - switch statement contains errors. - (`#63453 <https://github.com/llvm/llvm-project/issues/63453>_`) -- Fixed false positive error diagnostic when pack expansion appears in template - parameters of a member expression. - (`#48731 <https://github.com/llvm/llvm-project/issues/48731>`_) -- Fix the contains-errors bit not being set for DeclRefExpr that refers to a - VarDecl with invalid initializer. This fixes: - (`#50236 <https://github.com/llvm/llvm-project/issues/50236>`_), - (`#50243 <https://github.com/llvm/llvm-project/issues/50243>`_), - (`#48636 <https://github.com/llvm/llvm-project/issues/48636>`_), - (`#50320 <https://github.com/llvm/llvm-project/issues/50320>`_). -- Fix an assertion when using ``\u0024`` (``$``) as an identifier, by disallowing - that construct (`#62133 <https://github.com/llvm/llvm-project/issues/38717>_`). -- Fix crash caused by PseudoObjectExprBitfields: NumSubExprs overflow. - (`#63169 <https://github.com/llvm/llvm-project/issues/63169>_`) -- Fix crash when casting an object to an array type. - (`#63758 <https://github.com/llvm/llvm-project/issues/63758>_`) -- Fixed false positive error diagnostic observed from mixing ``asm goto`` with - ``__attribute__((cleanup()))`` variables falsely warning that jumps to - non-targets would skip cleanup. -- Correcly diagnose jumps into statement expressions. - This ensures the behavior of Clang is consistent with GCC. - (`#63682 <https://github.com/llvm/llvm-project/issues/63682>`_) -- Invalidate BlockDecl with implicit return type, in case any of the return - value exprs is invalid. Propagating the error info up by replacing BlockExpr - with a RecoveryExpr. This fixes: - (`#63863 <https://github.com/llvm/llvm-project/issues/63863>_`) -- Invalidate BlockDecl with invalid ParmVarDecl. Remove redundant dump of - BlockDecl's ParmVarDecl - (`#64005 <https://github.com/llvm/llvm-project/issues/64005>_`) -- Fix crash on nested templated class with template function call. - (`#61159 <https://github.com/llvm/llvm-project/issues/61159>_`) - Bug Fixes to Compiler Builtins ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Bug Fixes to Attribute Support ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -- Fixed a bug where attribute annotations on type specifiers (enums, classes, - structs, unions, and scoped enums) were not properly ignored, resulting in - misleading warning messages. Now, such attribute annotations are correctly - ignored. (`#61660 <https://github.com/llvm/llvm-project/issues/61660>`_) -- GNU attributes preceding C++ style attributes on templates were not properly - handled, resulting in compilation error. This has been corrected to match the - behavior exhibited by GCC, which permits mixed ordering of GNU and C++ - attributes. Bug Fixes to C++ Support ^^^^^^^^^^^^^^^^^^^^^^^^ -- Fix crash on invalid code when looking up a destructor in a templated class - inside a namespace. - (`#59446 <https://github.com/llvm/llvm-project/issues/59446>`_) -- Fix crash when evaluating consteval constructor of derived class whose base - has more than one field. - (`#60166 <https://github.com/llvm/llvm-project/issues/60166>`_) -- Fix an issue about ``decltype`` in the members of class templates derived from - templates with related parameters. - (`#58674 <https://github.com/llvm/llvm-project/issues/58674>`_) -- Fix incorrect deletion of the default constructor of unions in some - cases. (`#48416 <https://github.com/llvm/llvm-project/issues/48416>`_) -- No longer issue a pre-C++23 compatibility warning in ``-pedantic`` mode - regarding overloaded `operator[]` with more than one parameter or for static - lambdas. (`#61582 <https://github.com/llvm/llvm-project/issues/61582>`_) -- Stop stripping CV qualifiers from the type of ``this`` when capturing it by value in - a lambda. - (`#50866 <https://github.com/llvm/llvm-project/issues/50866>`_) -- Fix ordering of function templates by constraints when they have template - template parameters with different nested constraints. -- Fix type equivalence comparison between auto types to take constraints into - account. -- Fix bug in the computation of the ``__has_unique_object_representations`` - builtin for types with unnamed bitfields. - (`#61336 <https://github.com/llvm/llvm-project/issues/61336>`_) -- Fix default member initializers sometimes being ignored when performing - parenthesized aggregate initialization of templated types. - (`#62266 <https://github.com/llvm/llvm-project/issues/62266>`_) -- Fix overly aggressive lifetime checks for parenthesized aggregate - initialization. - (`#61567 <https://github.com/llvm/llvm-project/issues/61567>`_) -- Fix a crash when expanding a pack as the index of a subscript expression. -- Fix handling of constexpr dynamic memory allocations in template - arguments. (`#62462 <https://github.com/llvm/llvm-project/issues/62462>`_) -- Some predefined expressions are now treated as string literals in MSVC - compatibility mode. - (`#114 <https://github.com/llvm/llvm-project/issues/114>`_) -- Fix parsing of `auto(x)`, when it is surrounded by parentheses. - (`#62494 <https://github.com/llvm/llvm-project/issues/62494>`_) -- Fix handling of generic lambda used as template arguments. - (`#62611 <https://github.com/llvm/llvm-project/issues/62611>`_) -- Allow omitting ``typename`` in the parameter declaration of a friend - constructor declaration. - (`#63119 <https://github.com/llvm/llvm-project/issues/63119>`_) -- Fix access of a friend class declared in a local class. Clang previously - emitted an error when a friend of a local class tried to access it's - private data members. -- Allow abstract parameter and return types in functions that are - either deleted or not defined. - (`#63012 <https://github.com/llvm/llvm-project/issues/63012>`_) -- Fix handling of using-declarations in the init statements of for - loop declarations. - (`#63627 <https://github.com/llvm/llvm-project/issues/63627>`_) -- Fix crash when emitting diagnostic for out of order designated initializers - in C++. - (`#63605 <https://github.com/llvm/llvm-project/issues/63605>`_) -- Fix crash when using standard C++ modules with OpenMP. - (`#62359 <https://github.com/llvm/llvm-project/issues/62359>`_) -- Fix crash when using consteval non static data member initialization in - standard C++ modules. - (`#60275 <https://github.com/llvm/llvm-project/issues/60275>`_) -- Fix handling of ADL for dependent expressions in standard C++ modules. - (`#60488 <https://github.com/llvm/llvm-project/issues/60488>`_) -- Fix crash when combining `-ftime-trace` within standard C++ modules. - (`#60544 <https://github.com/llvm/llvm-project/issues/60544>`_) -- Don't generate template specializations when importing standard C++ modules. - (`#60693 <https://github.com/llvm/llvm-project/issues/60693>`_) -- Fix the visibility of `initializer list` in the importer of standard C++ - modules. This addresses - (`#60775 <https://github.com/llvm/llvm-project/issues/60775>`_) -- Allow the use of constrained friend in standard C++ modules. - (`#60890 <https://github.com/llvm/llvm-project/issues/60890>`_) -- Don't evaluate initializer of used variables in every importer of standard - C++ modules. - (`#61040 <https://github.com/llvm/llvm-project/issues/61040>`_) -- Fix the issue that the default `operator==` in standard C++ modules will - cause duplicate symbol linker error. - (`#61067 <https://github.com/llvm/llvm-project/issues/61067>`_) -- Fix the false positive ODR check for template names. This addresses the issue - that we can't include `<ranges>` in multiple module units. - (`#61317 <https://github.com/llvm/llvm-project/issues/61317>`_) -- Fix crash for inconsistent exported declarations in standard C++ modules. - (`#61321 <https://github.com/llvm/llvm-project/issues/61321>`_) -- Fix ignoring `#pragma comment` and `#pragma detect_mismatch` directives in - standard C++ modules. - (`#61733 <https://github.com/llvm/llvm-project/issues/61733>`_) -- Don't generate virtual tables if the class is defined in another module units - for Itanium ABI. - (`#61940 <https://github.com/llvm/llvm-project/issues/61940>`_) -- Fix false postive check for constrained satisfaction in standard C++ modules. - (`#62589 <https://github.com/llvm/llvm-project/issues/62589>`_) -- Serialize the evaluated constant values for variable declarations in standard - C++ modules. - (`#62796 <https://github.com/llvm/llvm-project/issues/62796>`_) -- Merge lambdas in require expressions in standard C++ modules. - (`#63544 <https://github.com/llvm/llvm-project/issues/63544>`_) - -- Fix location of default member initialization in parenthesized aggregate - initialization. - (`#63903 <https://github.com/llvm/llvm-project/issues/63903>`_) -- Fix constraint checking of non-generic lambdas. - (`#63181 <https://github.com/llvm/llvm-project/issues/63181>`_) - Bug Fixes to AST Handling ^^^^^^^^^^^^^^^^^^^^^^^^^ -- Preserve ``namespace`` definitions that follow malformed declarations. - Miscellaneous Bug Fixes ^^^^^^^^^^^^^^^^^^^^^^^ Miscellaneous Clang Crashes Fixed ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ -- Dumping the AST to JSON no longer causes a failed assertion when targetting - the Microsoft ABI and the AST to be dumped contains dependent names that - would not typically be mangled. - (`#61440 <https://github.com/llvm/llvm-project/issues/61440>`_) - Target Specific Changes ----------------------- AMDGPU Support ^^^^^^^^^^^^^^ -- Linking for AMDGPU now uses ``--no-undefined`` by default. This causes - undefined symbols in the created module to be a linker error. To prevent this, - pass ``-Wl,--undefined`` if compiling directly, or ``-Xoffload-linker - --undefined`` if using an offloading language. -- The deprecated ``-mcode-object-v3`` and ``-mno-code-object-v3`` command-line - options have been removed. -- A new option ``-mprintf-kind`` has been introduced that controls printf lowering - scheme. It is currently supported only for HIP and takes following values, - ``hostcall`` - printing happens during kernel execution via series of hostcalls, - The scheme requires the system to support pcie atomics.(default) - ``buffered`` - Scheme uses a debug buffer to populate printf varargs, does not - rely on pcie atomics support. - X86 Support ^^^^^^^^^^^ -- Add ISA of ``AMX-COMPLEX`` which supports ``tcmmimfp16ps`` and - ``tcmmrlfp16ps``. -- Support ISA of ``SHA512``. - * Support intrinsic of ``_mm256_sha512msg1_epi64``. - * Support intrinsic of ``_mm256_sha512msg2_epi64``. - * Support intrinsic of ``_mm256_sha512rnds2_epi64``. -- Support ISA of ``SM3``. - * Support intrinsic of ``_mm_sm3msg1_epi32``. - * Support intrinsic of ``_mm_sm3msg2_epi32``. - * Support intrinsic of ``_mm_sm3rnds2_epi32``. -- Support ISA of ``SM4``. - * Support intrinsic of ``_mm(256)_sm4key4_epi32``. - * Support intrinsic of ``_mm(256)_sm4rnds4_epi32``. -- Support ISA of ``AVX-VNNI-INT16``. - * Support intrinsic of ``_mm(256)_dpwsud(s)_epi32``. - * Support intrinsic of ``_mm(256)_dpwusd(s)_epi32``. - * Support intrinsic of ``_mm(256)_dpwuud(s)_epi32``. -- ``-march=graniterapids-d`` is now supported. - Arm and AArch64 Support ^^^^^^^^^^^^^^^^^^^^^^^ -- The hard-float ABI is now available in Armv8.1-M configurations that - have integer MVE instructions (and therefore have FP registers) but - no scalar or vector floating point computation. Previously, trying - to select the hard-float ABI on such a target (via - ``-mfloat-abi=hard`` or a triple ending in ``hf``) would silently - use the soft-float ABI instead. - -- Clang builtin ``__arithmetic_fence`` and the command line option ``-fprotect-parens`` - are now enabled for AArch64. - -- Clang supports flag output operands by which conditions in the NZCV could be outputs - of inline assembly for AArch64. This change is more consistent with the behavior of - GCC. - - .. code-block:: c - - // int a = foo(); int* b = bar(); - asm("ands %w[a], %w[a], #3" : [a] "+r"(a), "=@cceq"(*b)); - -- Fix a crash when ``preserve_all`` calling convention is used on AArch64. - `Issue 58145 <https://github.com/llvm/llvm-project/issues/58145>`_ - Windows Support ^^^^^^^^^^^^^^^ LoongArch Support ^^^^^^^^^^^^^^^^^ -- Patchable function entry (``-fpatchable-function-entry``) is now supported - on LoongArch. -- Unaligned memory accesses can be toggled by ``-m[no-]unaligned-access`` or the - aliases ``-m[no-]strict-align``. -- Non ``$``-prefixed GPR names (e.g. ``r4`` and ``a0``) are allowed in inlineasm - like GCC does. - RISC-V Support ^^^^^^^^^^^^^^ -- Added ``-mrvv-vector-bits=`` option to give an upper and lower bound on vector - length. Valid values are powers of 2 between 64 and 65536. A value of 32 - should eventually be supported. We also accept "zvl" to use the Zvl*b - extension from ``-march`` or ``-mcpu`` to the be the upper and lower bound. -- Fixed incorrect ABI lowering of ``_Float16`` in the case of structs - containing ``_Float16`` that are eligible for passing via GPR+FPR or - FPR+FPR. -- Removed support for ``__attribute__((interrupt("user")))``. User-level - interrupts are not in version 1.12 of the privileged specification. -- Added ``attribute(riscv_rvv_vector_bits(__riscv_v_fixed_vlen))`` to allow - the size of a RVV (RISC-V Vector) scalable type to be specified. This allows - RVV scalable vector types to be used in structs or in global variables. -- The rules for ordering of extensions in ``-march`` strings were relaxed. A - canonical ordering is no longer enforced on ``z*``, ``s*``, and ``x*`` - prefixed extensions. CUDA/HIP Language Changes ^^^^^^^^^^^^^^^^^^^^^^^^^ -- Clang has been updated to align its default language standard for CUDA/HIP with - that of C++. The standard has now been enhanced to gnu++17, supplanting the - previously used c++14. CUDA Support ^^^^^^^^^^^^ -- Clang now supports CUDA SDK up to 12.1 AIX Support ^^^^^^^^^^^ -- Add an AIX-only link-time option, `-mxcoff-build-id=0xHEXSTRING`, to allow users - to embed a hex id in their binary such that it's readable by the program itself. - This option is an alternative to the `--build-id=0xHEXSTRING` GNU linker option - which is currently not supported by the AIX linker. - -- Introduced the ``-mxcoff-roptr`` option to place constant objects with - relocatable address values in the read-only data section. This option should - be used with the ``-fdata-sections`` option, and is not supported with - ``-fno-data-sections``. When ``-mxcoff-roptr`` is in effect at link time, - read-only data sections with relocatable address values that resolve to - imported symbols are made writable. WebAssembly Support ^^^^^^^^^^^^^^^^^^^ -- Shared library support (and PIC code generation) for WebAssembly is no longer - limited to the Emscripten target OS and now works with other targets such as - wasm32-wasi. Note that the `format - <https://github.com/WebAssembly/tool-conventions/blob/main/DynamicLinking.md>`_ - is not yet stable and may change between LLVM versions. Also, WASI does not - yet have facilities to load dynamic libraries. AVR Support ^^^^^^^^^^^ -- The definition of ``USHRT_MAX`` in the freestanding ``<limits.h>`` no longer - overflows on AVR (where ``sizeof(int) == sizeof(unsigned short)``). The type - of ``USHRT_MAX`` is now ``unsigned int`` instead of ``int``, as required by - the C standard. DWARF Support in Clang ---------------------- Floating Point Support in Clang ------------------------------- -- Add ``__builtin_elementwise_log`` builtin for floating point types only. -- Add ``__builtin_elementwise_log10`` builtin for floating point types only. -- Add ``__builtin_elementwise_log2`` builtin for floating point types only. -- Add ``__builtin_elementwise_exp`` builtin for floating point types only. -- Add ``__builtin_elementwise_exp2`` builtin for floating point types only. -- Add ``__builtin_set_flt_rounds`` builtin for X86, x86_64, Arm and AArch64 only. -- Add ``__builtin_elementwise_pow`` builtin for floating point types only. AST Matchers ------------ -- Add ``coroutineBodyStmt`` matcher. - -- The ``hasBody`` matcher now matches coroutine body nodes in - ``CoroutineBodyStmts``. - -- Add ``arrayInitIndexExpr`` and ``arrayInitLoopExpr`` matchers. - clang-format ------------ -- Add ``NextLineOnly`` style to option ``PackConstructorInitializers``. - Compared to ``NextLine`` style, ``NextLineOnly`` style will not try to - put the initializers on the current line first, instead, it will try to - put the initializers on the next line only. -- Add additional Qualifier Ordering support for special cases such - as templates, requires clauses, long qualified names. -- Fix all known issues associated with ``LambdaBodyIndentation: OuterScope``. -- Add ``BracedInitializerIndentWidth`` which can be used to configure - the indentation level of the contents of braced init lists. -- Add ``KeepEmptyLinesAtEOF`` to keep empty lines at end of file. -- Add ``RemoveParentheses`` to remove redundant parentheses. -- Add ``TypeNames`` to treat listed non-keyword identifiers as type names. -- Add ``AlignConsecutiveShortCaseStatements`` which can be used to align case - labels in conjunction with ``AllowShortCaseLabelsOnASingleLine``. -- Add ``SpacesInParens`` style with ``SpacesInParensOptions`` to replace - ``SpacesInConditionalStatement``, ``SpacesInCStyleCastParentheses``, - ``SpaceInEmptyParentheses``, and ``SpacesInParentheses``. - libclang -------- -- Introduced the new function ``clang_CXXMethod_isExplicit``, - which identifies whether a constructor or conversion function cursor - was marked with the explicit identifier. - -- Introduced the new ``CXIndex`` constructor function - ``clang_createIndexWithOptions``, which allows storing precompiled preambles - in memory or overriding the precompiled preamble storage path. - -- Deprecated two functions ``clang_CXIndex_setGlobalOptions`` and - ``clang_CXIndex_setInvocationEmissionPathOption`` in favor of the new - function ``clang_createIndexWithOptions`` in order to improve thread safety. - -- Added check in ``clang_getFieldDeclBitWidth`` for whether a bit-field - has an evaluable bit width. Fixes undefined behavior when called on a - bit-field whose width depends on a template parameter. - -- Added ``CXBinaryOperatorKind`` and ``CXUnaryOperatorKind``. - (`#29138 <https://github.com/llvm/llvm-project/issues/29138>`_) - Static Analyzer --------------- -- Fix incorrect alignment attribute on the this parameter of certain - non-complete destructors when using the Microsoft ABI. - (`#60465 <https://github.com/llvm/llvm-project/issues/60465>`_) - -- Removed the deprecated - ``consider-single-element-arrays-as-flexible-array-members`` analyzer option. - Any use of this flag will result in an error. - Use `-fstrict-flex-arrays=<n> - <https://clang.llvm.org/docs/ClangCommandLineReference.html#cmdoption-clang-fstrict-flex-arrays>`_ - -- Better modeling of lifetime-extended memory regions. As a result, the - ``MoveChecker`` raises more true-positive reports. - -- Fixed some bugs (including crashes) around the handling of constant global - arrays and their initializer expressions. - -- The ``CStringChecker`` will invalidate less if the copy operation is - inferable to be bounded. For example, if the arguments of ``strcpy`` are - known to be of certain lengths and that are in-bounds. - - .. code-block:: c++ - - struct { - void *ptr; - char arr[4]; - } x; - x.ptr = malloc(1); - // extent of 'arr' is 4, and writing "hi\n" (4 characters), - // thus no buffer overflow can happen - strcpy(x.arr, "hi\n"); - free(x.ptr); // no longer reports memory leak here - - Similarly, functions like ``strsep`` now won't invalidate the object - containing the destination buffer, because it can never overflow. - Note that, ``std::copy`` is still not modeled, and as such, it will still - invalidate the enclosing object on call. - (`#55019 <https://github.com/llvm/llvm-project/issues/55019>`_) - -- Implement ``BufferOverlap`` check for ``sprint``/``snprintf`` - The ``CStringChecker`` checks for buffer overlaps for ``sprintf`` and - ``snprintf``. - -- Objective-C support was improved around checking ``_Nonnull`` and - ``_Nullable`` including block pointers and literal objects. - -- Let the ``StreamChecker`` detect ``NULL`` streams instead of by - ``StdCLibraryFunctions``. - ``StreamChecker`` improved on the ``fseek`` modeling for the ``SEEK_SET``, - ``SEEK_END``, ``SEEK_CUR`` arguments. - -- ``StdCLibraryFunctionArgs`` was merged into the ``StdCLibraryFunctions``. - The diagnostics of the ``StdCLibraryFunctions`` was improved. - -- ``QTimer::singleShot`` now doesn't raise false-positives for memory leaks by - the ``MallocChecker``. - (`#39713 <https://github.com/llvm/llvm-project/issues/39713>`_) - -- Fixed the infamous unsigned index false-positives in the - ``ArrayBoundCheckerV2`` checker. - (`#44493 <https://github.com/llvm/llvm-project/issues/44493>`_) - -- Now, taint propagations are tracked further back until the real taint source. - This improves all taint-related diagnostics. - -- Fixed a null-pointer dereference crash inside the ``MoveChecker``. - .. _release-notes-sanitizers: Sanitizers ---------- -- Several more sanitizers are now ported to LoongArch: MSan, DFsan, Profile, XRay and libFuzzer. Python Binding Changes ---------------------- -The following methods have been added: - -- ``clang_Location_isInSystemHeader`` exposed via the ``is_in_system_header`` - property of the `Location` class. Additional Information ====================== |