The number of parameters can be the reason for aliasing checks not being
generated, but most of the time it for other reasons.
// 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;
}