From: Simon Pilgrim Date: Tue, 24 Sep 2019 08:56:44 +0000 (+0000) Subject: Revert rL372693 : [clang-tidy] New bugprone-infinite-loop check for detecting obvious... X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=cb3d969453c9b9613867a8d00b433d8481de6eb1;p=platform%2Fupstream%2Fllvm.git Revert rL372693 : [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 ------- Broke some buildbots "No SOURCES given to target: obj.clangTidyBugproneModule" llvm-svn: 372704 --- diff --git a/clang-tools-extra/clang-tidy/bugprone/BugproneTidyModule.cpp b/clang-tools-extra/clang-tidy/bugprone/BugproneTidyModule.cpp index 14058a1..895bd03 100644 --- a/clang-tools-extra/clang-tidy/bugprone/BugproneTidyModule.cpp +++ b/clang-tools-extra/clang-tidy/bugprone/BugproneTidyModule.cpp @@ -23,7 +23,6 @@ #include "ForwardingReferenceOverloadCheck.h" #include "InaccurateEraseCheck.h" #include "IncorrectRoundingsCheck.h" -#include "InfiniteLoopCheck.h" #include "IntegerDivisionCheck.h" #include "LambdaFunctionNameCheck.h" #include "MacroParenthesesCheck.h" @@ -89,8 +88,6 @@ public: "bugprone-inaccurate-erase"); CheckFactories.registerCheck( "bugprone-incorrect-roundings"); - CheckFactories.registerCheck( - "bugprone-infinite-loop"); CheckFactories.registerCheck( "bugprone-integer-division"); CheckFactories.registerCheck( diff --git a/clang-tools-extra/clang-tidy/bugprone/CMakeLists.txt b/clang-tools-extra/clang-tidy/bugprone/CMakeLists.txt index b1d8bbe..705ee97 100644 --- a/clang-tools-extra/clang-tidy/bugprone/CMakeLists.txt +++ b/clang-tools-extra/clang-tidy/bugprone/CMakeLists.txt @@ -15,7 +15,6 @@ add_clang_library(clangTidyBugproneModule ForwardingReferenceOverloadCheck.cpp InaccurateEraseCheck.cpp IncorrectRoundingsCheck.cpp - InfiniteLoopCheck.cpp IntegerDivisionCheck.cpp LambdaFunctionNameCheck.cpp MacroParenthesesCheck.cpp diff --git a/clang-tools-extra/docs/ReleaseNotes.rst b/clang-tools-extra/docs/ReleaseNotes.rst index 20fb4ea..d16d8c1 100644 --- a/clang-tools-extra/docs/ReleaseNotes.rst +++ b/clang-tools-extra/docs/ReleaseNotes.rst @@ -70,86 +70,6 @@ Improvements to clang-tidy - New :doc:`bugprone-dynamic-static-initializers ` check. -- New OpenMP module. - - For checks specific to `OpenMP `_ API. - -- New :doc:`abseil-duration-addition - ` check. - - Checks for cases where addition should be performed in the ``absl::Time`` - domain. - -- New :doc:`abseil-duration-conversion-cast - ` check. - - Checks for casts of ``absl::Duration`` conversion functions, and recommends - the right conversion function instead. - -- New :doc:`abseil-duration-unnecessary-conversion - ` check. - - Finds and fixes cases where ``absl::Duration`` values are being converted to - numeric types and back again. - -- New :doc:`abseil-time-comparison - ` check. - - Prefer comparisons in the ``absl::Time`` domain instead of the integer - domain. - -- New :doc:`abseil-time-subtraction - ` check. - - Finds and fixes ``absl::Time`` subtraction expressions to do subtraction - in the Time domain instead of the numeric domain. - -- New :doc:`android-cloexec-pipe - ` check. - - This check detects usage of ``pipe()``. - -- New :doc:`android-cloexec-pipe2 - ` check. - - This checks ensures that ``pipe2()`` is called with the O_CLOEXEC flag. - -- New :doc:`bugprone-infinite-loop - ` check. - - Finds obvious infinite loops (loops where the condition variable is not - changed at all). - -- New :doc:`bugprone-unhandled-self-assignment - ` check. - - Finds user-defined copy assignment operators which do not protect the code - against self-assignment either by checking self-assignment explicitly or - using the copy-and-swap or the copy-and-move method. - -- New :doc:`bugprone-branch-clone - ` check. - - Checks for repeated branches in ``if/else if/else`` chains, consecutive - repeated branches in ``switch`` statements and indentical true and false - branches in conditional operators. - -- New :doc:`bugprone-posix-return - ` check. - - Checks if any calls to POSIX functions (except ``posix_openpt``) expect negative - return values. - -- New :doc:`fuchsia-default-arguments-calls - ` check. - - Warns if a function or method is called with default arguments. - This was previously done by `fuchsia-default-arguments check`, which has been - removed. - -- New :doc:`fuchsia-default-arguments-calls - ` check. - Finds instances where variables with static storage are initialized dynamically in header files. @@ -183,10 +103,6 @@ Improvements to clang-tidy Now also checks if any calls to ``pthread_*`` functions expect negative return values. -- New :doc:`bugprone-infinite-loop ` - check to detect obvious infinite loops (loops where the condition variable is - not changed at all). - Improvements to include-fixer ----------------------------- diff --git a/clang-tools-extra/docs/clang-tidy/checks/list.rst b/clang-tools-extra/docs/clang-tidy/checks/list.rst index 6c3ea61..e81b62d 100644 --- a/clang-tools-extra/docs/clang-tidy/checks/list.rst +++ b/clang-tools-extra/docs/clang-tidy/checks/list.rst @@ -51,7 +51,6 @@ Clang-Tidy Checks bugprone-forwarding-reference-overload bugprone-inaccurate-erase bugprone-incorrect-roundings - bugprone-infinite-loop bugprone-integer-division bugprone-lambda-function-name bugprone-macro-parentheses