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

Balogh, Ádám via All-commits all-commits at lists.llvm.org
Mon Jan 27 01:13:01 PST 2020


  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 70f4c6e7b14f225f9628fbdab3620ce037613351
      https://github.com/llvm/llvm-project/commit/70f4c6e7b14f225f9628fbdab3620ce037613351
  Author: Adam Balogh <adam.balogh at ericsson.com>
  Date:   2020-01-27 (Mon, 27 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




More information about the All-commits mailing list