Changes in warn-infinite-recursion.cpp

cde1df4c - Correct -Winfinite-recursion warning on potentially-unevaluated operand

Thu, 30 Jun 2022 13:07:49 +0000

Correct -Winfinite-recursion warning on potentially-unevaluated operandFixing issue "incorrect -Winfinite-recursion warning on potentially-unevaluated operand".We add a dedicated visit function (VisitCXXTypeidExpr) for typeid,instead of using the default (VisitStmt). In this new function we skipover building the CFG for unevaluated operands of typeid.Fixes #21668Differential Revision: https://reviews.llvm.org/D128747 List of files: /llvm-project-15.0.7/clang/test/SemaCXX/warn-infinite-recursion.cpp

04306d62 - Restore Check for Unreachable Exit Block in -Winfinite-recursion

Wed, 13 Feb 2019 22:22:23 +0000

Restore Check for Unreachable Exit Block in -Winfinite-recursionSummary:When this was rewritten in D43737, the logic changed to better explore infinite loops. The check for a reachable exit block was deleted which accidentally introduced false positives in case the exit node was unreachable.We were testing for cases like this, but @steven_wu provided an additional test case that I've included in the regression tests for this patch.Reviewers: steven_wu, rtrieuReviewed By: steven_wu, rtrieuSubscribers: cfe-commits, steven_wuTags: #clangDifferential Revision: https://reviews.llvm.org/D58122llvm-svn: 353984 List of files: /llvm-project-15.0.7/clang/test/SemaCXX/warn-infinite-recursion.cpp

97608445 - Improve -Winfinite-recursion

Thu, 22 Mar 2018 03:16:23 +0000

Improve -Winfinite-recursionSummary: Rewrites -Winfinite-recursion to remove the state dictionary and explore paths in loops - especially infinite loops. The new check now detects recursion in loop bodies dominated by a recursive call.Reviewers: rsmith, rtrieuReviewed By: rtrieuSubscribers: lebedev.ri, cfe-commitsDifferential Revision: https://reviews.llvm.org/D43737llvm-svn: 328173 List of files: /llvm-project-15.0.7/clang/test/SemaCXX/warn-infinite-recursion.cpp

658eb68e - Ignore qualified templated functions for -Winfinite-recursion. This treats

Sat, 04 Jan 2014 01:57:42 +0000

Ignore qualified templated functions for -Winfinite-recursion. This treatsfunctions like Foo<5>::run() the same way as run<5>() for this warning.llvm-svn: 198470 List of files: /llvm-project-15.0.7/clang/test/SemaCXX/warn-infinite-recursion.cpp

2f024f43 - Add -Winfinite-recursion to Clang

Sat, 21 Dec 2013 02:33:43 +0000

Add -Winfinite-recursion to ClangThis new warning detects when a function will recursively call itself on everycode path though that function. This catches simple recursive cases such as:void foo() { foo();}As well as more complex functions like:void bar() { if (test()) { bar(); return; } else { bar(); } return;}This warning uses the CFG. As with other CFG-based warnings, this is offby default. Due to false positives, this warning is also disabled fortemplated functions.llvm-svn: 197853 List of files: /llvm-project-15.0.7/clang/test/SemaCXX/warn-infinite-recursion.cpp