Updates:
Cc: san...@google.com
Comment #2 on issue 3704 by k...@google.com: llvm/clang-proto-fuzzer:
ASSERT: (isa<SCEVCouldNotCompute>(MaxNotTaken) ||
isa<SCEVConstant>(MaxNotTaken)) && "No
https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=3704#c2
Probably a recent regression.
void foo(int *a) {
if (a[4])
a[0];
a[0] = 0;
while (a[0] <= 1)
a[0] = (a[4] >= 0) + 1 + a[0];
}
clang -cc1 -triple x86_64-unknown-linux-gnu -O2 -emit-obj z.c
llvm/lib/Analysis/ScalarEvolution.cpp:6570:
llvm::ScalarEvolution::ExitLimit::ExitLimit(const llvm::SCEV *, const
llvm::SCEV *, bool, ArrayRef<const SmallPtrSetImpl<const
llvm::SCEVPredicate *> *>): Assertion
`(isa<SCEVCouldNotCompute>(MaxNotTaken) || isa<SCEVConstant>(MaxNotTaken))
&& "No point in having a non-constant max backedge taken count!"' failed.
--
You received this message because:
1. You were specifically CC'd on the issue
You may adjust your notification preferences at:
https://bugs.chromium.org/hosting/settings
Reply to this email to add a comment.
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
