commit d261210aa33b972aab22f9f277a5f7780479f3e9
author Michael Kruse <llvm-project@meinersbur.de> Wed Jul 14 16:21:45 2021 -0500
committer Copybara-Service <copybara-worker@google.com> Thu Jul 15 20:03:02 2021 -0700
tree 8b7fd097e4ddffc82d0e6b7868109e10e2c72551
parent f4e1bbae97533ec357ef9e1699a1b8e8fb5fe05b

[Polly] Fix misleading debug message. NFC.

The number of parameters can be the reason for aliasing checks not being
generated, but most of the time it for other reasons.

GitOrigin-RevId: 7e29e57917a9ecb8f1b07aa2d99b0fbea91cda61

lib/Analysis/ScopBuilder.cpp

diff --git a/lib/Analysis/ScopBuilder.cpp b/lib/Analysis/ScopBuilder.cpp
index c5ba4fd..012a793 100644
--- a/lib/Analysis/ScopBuilder.cpp
+++ b/lib/Analysis/ScopBuilder.cpp
@@ -3407,13 +3407,8 @@
   // we make the assumed context infeasible.
   scop->invalidate(ALIASING, DebugLoc());
 
-  LLVM_DEBUG(
-      dbgs() << "\n\nNOTE: Run time checks for " << scop->getNameStr()
-             << " could not be created as the number of parameters involved "
-                "is too high. The SCoP will be "
-                "dismissed.\nUse:\n\t--polly-rtc-max-parameters=X\nto adjust "
-                "the maximal number of parameters but be advised that the "
-                "compile time might increase exponentially.\n\n");
+  LLVM_DEBUG(dbgs() << "\n\nNOTE: Run time checks for " << scop->getNameStr()
+                    << " could not be created. This SCoP has been dismissed.");
   return false;
 }