[all-commits] [llvm/llvm-project] d275de: [clan-tidy] Fix false positive in bugprone-infinit...

Balogh, Ádám via All-commits all-commits at lists.llvm.org
Wed Jan 29 13:00:29 PST 2020


  Branch: refs/heads/release/10.x
  Home:   https://github.com/llvm/llvm-project
  Commit: d275de35f8bdb92e7b5789ebdb96df99fab504ab
      https://github.com/llvm/llvm-project/commit/d275de35f8bdb92e7b5789ebdb96df99fab504ab
  Author: Adam Balogh <adam.balogh at ericsson.com>
  Date:   2020-01-29 (Wed, 29 Jan 2020)

  Changed paths:
    M clang-tools-extra/clang-tidy/bugprone/InfiniteLoopCheck.cpp
    M clang-tools-extra/test/clang-tidy/checkers/bugprone-infinite-loop.cpp

  Log Message:
  -----------
  [clan-tidy] Fix false positive in bugprone-infinite-loop

The checker bugprone-infinite-loop does not track changes of
variables in the initialization expression of a variable
declared inside the condition of the while statement. This
leads to false positives, similarly to the one in the bug
report https://bugs.llvm.org/show_bug.cgi?id=44618. This
patch fixes this issue by enabling tracking of the variables
of this expression as well.

Differential Revision: https://reviews.llvm.org/D73270

(cherry picked from commit 70f4c6e7b14f225f9628fbdab3620ce037613351)




More information about the All-commits mailing list