[llvm-branch-commits] [clang] c7cfe02 - Revert "[clang][HeuristicResolver] Additional hardening against an infinite l…"

[via llvm-branch-commits]

Author: kadir çetinkaya
Date: 2025-02-11T09:13:27+01:00
New Revision: c7cfe02fd5be25ff65b42bd21cb16fa27933af64

URL: https://github.com/llvm/llvm-project/commit/c7cfe02fd5be25ff65b42bd21cb16fa27933af64
DIFF: https://github.com/llvm/llvm-project/commit/c7cfe02fd5be25ff65b42bd21cb16fa27933af64.diff

LOG: Revert "[clang][HeuristicResolver] Additional hardening against an infinite l…"

This reverts commit 780894689ff741c761457eec1c925679309336a3.

Added: 
    

Modified: 
    clang/lib/Sema/HeuristicResolver.cpp

Removed: 
    


################################################################################
diff  --git a/clang/lib/Sema/HeuristicResolver.cpp b/clang/lib/Sema/HeuristicResolver.cpp
index adce403412f689..3cbf33dcdced38 100644
--- a/clang/lib/Sema/HeuristicResolver.cpp
+++ b/clang/lib/Sema/HeuristicResolver.cpp
@@ -258,11 +258,7 @@ QualType HeuristicResolverImpl::simplifyType(QualType Type, const Expr *E,
     }
     return T;
   };
-  // As an additional protection against infinite loops, bound the number of
-  // simplification steps.
-  size_t StepCount = 0;
-  const size_t MaxSteps = 64;
-  while (!Current.Type.isNull() && StepCount++ < MaxSteps) {
+  while (!Current.Type.isNull()) {
     TypeExprPair New = SimplifyOneStep(Current);
     if (New.Type == Current.Type)
       break;