tree 5784cb0b195d4145620ca3733c032c2e39b48169
parent e50088e467a1a3aa0904940c08a784552e463343
author Adam Balogh <adam.balogh@ericsson.com> 1569311006 +0000
committer Adam Balogh <adam.balogh@ericsson.com> 1569311006 +0000

[clang-tidy] New bugprone-infinite-loop check for detecting obvious infinite loops

Finding infinite loops is well-known to be impossible (halting problem).
However, it is possible to detect some obvious infinite loops, for example,
if the loop condition is not changed. Detecting such loops is beneficial
since the tests will hang on programs containing infinite loops so
testing-time detection may be costly in large systems. Obvious cases are
where the programmer forgets to increment/decrement the counter or
increments/decrements the wrong variable.

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


git-svn-id: https://llvm.org/svn/llvm-project/clang-tools-extra/trunk@372693 91177308-0d34-0410-b5e6-96231b3b80d8