<html>
<body>
<script type="application/ld+json">
{
"@context": "http://schema.org",
"@type": "EmailMessage",
"potentialAction": {
"@type": "ViewAction",
"name": "View Issue",
"url": "https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=3704"
},
"description": ""
}
</script>
<div style="font-family: arial, sans-serif">Updates:<br/> Cc: <a href="mailto:sanjoy@google.com">sanjoy@google.com</a><br/><br/>Comment #2 on issue 3704 by <a href="mailto:kcc@google.com">kcc@google.com</a>: llvm/clang-proto-fuzzer: ASSERT: (isa<SCEVCouldNotCompute>(MaxNotTaken) || isa<SCEVConstant>(MaxNotTaken)) && "No<br/><a href="https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=3704#c2">https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=3704#c2</a><br/><br/>Probably a recent regression. <br/><br/><br/>void foo(int *a) {<br/> if (a[4])<br/> a[0];<br/> a[0] = 0;<br/> while (a[0] <= 1)<br/> a[0] = (a[4] >= 0) + 1 + a[0];<br/>}<br/><br/><br/>clang -cc1 -triple x86_64-unknown-linux-gnu -O2 -emit-obj z.c <br/><br/>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.<br/><br/><br/><br/>-- <br/>You received this message because:<br/> 1. You were specifically CC'd on the issue<br/><br/>You may adjust your notification preferences at:<br/><a href="https://bugs.chromium.org/hosting/settings">https://bugs.chromium.org/hosting/settings</a><br/><br/>Reply to this email to add a comment.</div>
</body>
</html>