[clang-tools-extra] Add bugprone-loop-variable-copied-then-modified clang-tidy check. (PR #157213)
Baranov Victor via cfe-commits
cfe-commits at lists.llvm.org
Sat Sep 13 02:32:30 PDT 2025
================
@@ -0,0 +1,48 @@
+.. title:: clang-tidy - bugprone-loop-variable-copied-then-modified
+
+bugprone-loop-variable-copied-then-modified
+===========================================
+
+Detects when a loop variable is copied and then subsequently modified and
+suggests replacing with a reference or an explicit copy.
+
+This pattern is considered bugprone because, frequently, programmers do not
+realize that they are modifying a *copy* rather than an underlying value,
+resulting in subtly erroneous code.
+
+For instance, the following code attempts to null out a value in a map, but only
+succeeds in nulling out a value in a *copy* of the map:
+
+.. code-block:: c++
+
+ for (auto target : target_map) {
+ target.value = nullptr;
+ }
+
+The programmer is likely to have intended this code instead:
+
+.. code-block:: c++
+
+ for (auto& target : target_map) {
+ target.value = nullptr;
+ }
+
+This warning can be suppressed in one of two ways:
+ - In cases where the programmer did not intend to create a copy, they can
+ convert the loop variable to a reference or a ``const`` reference. A fix-it
+ message will provide a naive suggestion of how to achieve this, which works
+ in most cases.
----------------
vbvictor wrote:
If the fix-it works "most of the time" it should be a "fix-note" that will only be applied when `clang-tidy` is invoked with `--fix-notes`. See how other checks implement it, it must be a small change to `Diag()`.
https://github.com/llvm/llvm-project/pull/157213
More information about the cfe-commits
mailing list