Extra Clang Tools 22.0.0git (In-Progress) Release Notes¶

Written by the LLVM Team

Warning

These are in-progress notes for the upcoming Extra Clang Tools 22 release. Release notes for previous releases can be found on the Download Page.

Introduction ¶

This document contains the release notes for the Extra Clang Tools, part of the Clang release 22.0.0git. Here we describe the status of the Extra Clang Tools in some detail, including major improvements from the previous release and new feature work. All LLVM releases may be downloaded from the LLVM releases web site.

For more information about Clang or LLVM, including information about the latest release, please see the Clang Web Site or the LLVM Web Site.

Note that if you are reading this file from a Git checkout or the main Clang web page, this document applies to the next release, not the current one. To see the release notes for a specific release, please see the releases page.

New Override pure virtual methods code action. When invoked on a class definition, this action automatically generates C++ override declarations for all pure virtual methods inherited from its base classes that have not yet been implemented. The generated method stubs prompts the user for the actual implementation. The overrides are intelligently grouped under their original access specifiers (e.g., public, protected), creating new access specifier blocks if necessary.

Matcher queries interpreted by clang-query are now support trailing comma (,) in matcher arguments. Note that C++ still doesn’t allow this in function arguments. So when porting a query to C++, remove all instances of trailing comma (otherwise C++ compiler will just complain about “expected expression”).

Improvements to clang-tidy ¶

The check_clang_tidy.py tool now recognizes the -std argument when run over C files. If -std is not specified, it defaults to c99-or-later.
clang-tidy no longer attemps to analyze code from system headers by default, greatly improving performance. This behavior is disabled if the SystemHeaders option is enabled.
The run-clang-tidy.py and clang-tidy-diff.py scripts now run checks in parallel by default using all available hardware threads. Both scripts display the number of threads being used in their output.
Improved run-clang-tidy.py by adding a new option enable-check-profile to enable per-check timing profiles and print a report based on all analyzed files.
Improved documentation of the -line-filter command-line flag of clang-tidy and run-clang-tidy.py.
Improved clang-tidy option -quiet by suppressing diagnostic count messages.

New checks ¶

New bugprone-invalid-enum-default-initialization check.

Detects default initialization (to 0) of variables with enum type where the enum has no enumerator with value of 0.
New cppcoreguidelines-pro-bounds-avoid-unchecked-container-access check.

Finds calls to operator[] in STL containers and suggests replacing them with safe alternatives.
New llvm-mlir-op-builder check.

Checks for uses of MLIR’s old/to be deprecated OpBuilder::create<T> form and suggests using T::create instead.
New misc-override-with-different-visibility check.

Finds virtual function overrides with different visibility than the function in the base class.

New check aliases ¶

Changes in existing checks ¶

Improved bugprone-infinite-loop check by adding detection for variables introduced by structured bindings.
Improved bugprone-narrowing-conversions check by fixing false positive from analysis of a conditional expression in C.
Improved bugprone-reserved-identifier check by ignoring declarations and macros in system headers.
Improved bugprone-signed-char-misuse check by fixing false positives on C23 enums with the fixed underlying type of signed char.
Improved bugprone-tagged-union-member-count by fixing a false positive when enums or unions from system header files or the std namespace are treated as the tag or the data part of a user-defined tagged union respectively.
Improved bugprone-unhandled-self-assignment check by adding an additional matcher that generalizes the copy-and-swap idiom pattern detection.
Improved cppcoreguidelines-prefer-member-initializer check to avoid false positives on inherited members in class templates.
Improved cppcoreguidelines-pro-bounds-pointer-arithmetic check adding an option to allow pointer arithmetic via prefix/postfix increment or decrement operators.
Improved misc-header-include-cycle check performance.
Improved modernize-use-constraints check by fixing a crash on uses of non-standard enable_if with a signature different from std::enable_if (such as boost::enable_if).
Improved modernize-use-designated-initializers check to suggest using designated initializers for aliased aggregate types.
Improved modernize-use-std-format check to correctly match when the format string is converted to a different type by an implicit constructor call.
Improved modernize-use-std-print check to correctly match when the format string is converted to a different type by an implicit constructor call.
Improved performance-unnecessary-copy-initialization by printing the type of the diagnosed variable.
Improved performance-unnecessary-value-param by printing the type of the diagnosed variable.
Improved portability-template-virtual-member-function check to avoid false positives on pure virtual member functions.
Improved readability-container-size-empty check by correctly generating fix-it hints when size method is called from implicit this, ignoring default constructors with user provided arguments and adding detection in container’s method except empty.
Improved readability-identifier-naming check by ignoring declarations and macros in system headers. The documentation is also improved to differentiate the general options from the specific ones.
Improved readability-qualified-auto check by adding the option IgnoreAliasing, that allows not looking at underlying types of type aliases.
Improved readability-uppercase-literal-suffix check to recognize literal suffixes added in C++23 and C23.

Extra Clang Tools 22.0.0git documentation