[llvm-bugs] Issue 3704 in oss-fuzz: llvm/clang-proto-fuzzer: ASSERT: (isa<SCEVCouldNotCompute>(MaxNotTaken) || isa<SCEVConstant>(MaxNotTaken)) && "No

[k… via monorail via llvm-bugs]

Updates:
	Cc: sanjoy at google.com

Comment #2 on issue 3704 by kcc at 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20171020/c6c9c0ff/attachment.html>