[llvm-bugs] Issue 5537 in oss-fuzz: llvm/clang-proto-fuzzer: ASSERT: isLoopInvariant(Operands[i], L) && "SCEVAddRecExpr operand is not loop-invariant

[masc… via monorail via llvm-bugs]

Comment #3 on issue 5537 by mascasa at google.com: llvm/clang-proto-fuzzer:  
ASSERT: isLoopInvariant(Operands[i], L) && "SCEVAddRecExpr operand is not  
loop-invariant
https://bugs.chromium.org/p/oss-fuzz/issues/detail?id=5537#c3

Smaller reproducer:

$ cat repro.c
void foo(int *a) {
   a[0] = 1;
   while ((a[32] * a[0])) {
     a[0] = (1 + a[0]);
   }
   while ((((a[0] * a[0]) * (a[0] * a[0])) * a[0])) {
     a[0] = ((1073741824) + a[0]);
   }
}
$ clang -cc1 -triple x86_64-unknown-linux-gnu -O2 -emit-obj repro.c
clang: lib/Analysis/ScalarEvolution.cpp:3269: const llvm::SCEV  
*llvm::ScalarEvolution::getAddRecExpr(SmallVectorImpl<const llvm::SCEV *>  
&, const llvm::Loop *, SCEV::NoWrapFlags): Assertion  
`isLoopInvariant(Operands[i], L) && "SCEVAddRecExpr operand is not  
loop-invariant!"' 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/20180202/f4f444b0/attachment.html>