[llvm-bugs] Issue 5537 in oss-fuzz: llvm/clang-proto-fuzzer: ASSERT: isLoopInvariant(Operands[i], L) && "SCEVAddRecExpr operand is not loop-invariant
Updates: Labels: ClusterFuzz-Verified Status: Verified Comment #8 on issue 5537 by ClusterFuzz-External: 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#c8 ClusterFuzz testcase 6643839252037632 is verified as fixed, so closing issue as verified. If this is incorrect, please file a bug on https://github.com/google/oss-fuzz/issues/new -- 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
[llvm-bugs] Issue 5537 in oss-fuzz: llvm/clang-proto-fuzzer: ASSERT: isLoopInvariant(Operands[i], L) && "SCEVAddRecExpr operand is not loop-invariant
Comment #7 on issue 5537 by ClusterFuzz-External: 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#c7 ClusterFuzz has detected this issue as fixed in range 201808271555:201808280130. Detailed report: https://oss-fuzz.com/testcase?key=6643839252037632 Project: llvm Fuzzer: libFuzzer_llvm_clang-proto-fuzzer Fuzz target binary: clang-proto-fuzzer Job Type: libfuzzer_asan_llvm Platform Id: linux Crash Type: ASSERT Crash Address: Crash State: isLoopInvariant(Operands[i], L) && "SCEVAddRecExpr operand is not loop-invariant llvm::ScalarEvolution::getAddRecExpr llvm::ScalarEvolution::getMulExpr Sanitizer: address (ASAN) Regressed: https://oss-fuzz.com/revisions?job=libfuzzer_asan_llvm=201712190608:201712210617 Fixed: https://oss-fuzz.com/revisions?job=libfuzzer_asan_llvm=201808271555:201808280130 Reproducer Testcase: https://oss-fuzz.com/download?testcase_id=6643839252037632 See https://github.com/google/oss-fuzz/blob/master/docs/reproducing.md for more information. If you suspect that the result above is incorrect, try re-doing that job on the test case report page. -- 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
[llvm-bugs] Issue 5537 in oss-fuzz: llvm/clang-proto-fuzzer: ASSERT: isLoopInvariant(Operands[i], L) && "SCEVAddRecExpr operand is not loop-invariant
Updates: Cc: eney...@google.com Comment #6 on issue 5537 by ClusterFuzz-External: 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#c6 (No comment was entered for this change.) -- 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
[llvm-bugs] Issue 5537 in oss-fuzz: llvm/clang-proto-fuzzer: ASSERT: isLoopInvariant(Operands[i], L) && "SCEVAddRecExpr operand is not loop-invariant
Updates: Cc: j...@chromium.org Comment #5 on issue 5537 by ClusterFuzz-External: 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#c5 (No comment was entered for this change.) -- 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
[llvm-bugs] Issue 5537 in oss-fuzz: llvm/clang-proto-fuzzer: ASSERT: isLoopInvariant(Operands[i], L) && "SCEVAddRecExpr operand is not loop-invariant
Updates: Labels: Deadline-Approaching Comment #4 on issue 5537 by sheriff...@chromium.org: 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#c4 This bug is approaching its deadline for being fixed, and will be automatically derestricted within 7 days. If a fix is planned within 2 weeks after the deadline has passed, a grace extension can be granted. - Your friendly Sheriffbot -- 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
[llvm-bugs] Issue 5537 in oss-fuzz: llvm/clang-proto-fuzzer: ASSERT: isLoopInvariant(Operands[i], L) && "SCEVAddRecExpr operand is not loop-invariant
Comment #3 on issue 5537 by masc...@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::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.
___
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] Issue 5537 in oss-fuzz: llvm/clang-proto-fuzzer: ASSERT: isLoopInvariant(Operands[i], L) && "SCEVAddRecExpr operand is not loop-invariant
Comment #2 on issue 5537 by k...@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#c2
C reproducer:
% cat 5537.c
void foo(int *a) {
a[0] = (15164);
while (a[0] * a[0]) * a[0]) * ((a[0] * a[0]) * a[0])) * a[0])) {
a[0] = (a[72] + a[0]);
}
while (a[72] * a[0]) * a[0]) * (a[0] * a[0])) * a[0])) {
a[0] = ((1073741824) + a[0]);
}
(void)0;
while ((1 ^ (a[84] & 1))) {
}
while ((1 / (a[0] + (a[0] + 1 {
(void)0;
a[28] = 1;
a[0] = (a[0] + (0));
a[0] = (1 / (1 ^ (a[0] + 1)));
}
while ((40)) {
if (a[0]) {
(void)0;
} else {
}
}
}
% clang -cc1 -triple x86_64-unknown-linux-gnu -emit-obj -O3 5537.c PS1=%
clang: lib/Analysis/ScalarEvolution.cpp:3269: const llvm::SCEV
*llvm::ScalarEvolution::getAddRecExpr(SmallVectorImpl
&, 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.
___
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
[llvm-bugs] Issue 5537 in oss-fuzz: llvm/clang-proto-fuzzer: ASSERT: isLoopInvariant(Operands[i], L) && "SCEVAddRecExpr operand is not loop-invariant
Status: New Owner: CC: k...@google.com, masc...@google.com, jdevlieg...@apple.com, igm...@gmail.com, llvm-b...@lists.llvm.org, v...@apple.com, mitchphi...@outlook.com, xpl...@gmail.com, akils...@apple.com Labels: ClusterFuzz Stability-Memory-AddressSanitizer Reproducible Engine-libfuzzer Proj-llvm Reported-2018-01-21 Type: Bug New issue 5537 by ClusterFuzz-External: 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 Detailed report: https://oss-fuzz.com/testcase?key=6643839252037632 Project: llvm Fuzzer: libFuzzer_llvm_clang-proto-fuzzer Fuzz target binary: clang-proto-fuzzer Job Type: libfuzzer_asan_llvm Platform Id: linux Crash Type: ASSERT Crash Address: Crash State: isLoopInvariant(Operands[i], L) && "SCEVAddRecExpr operand is not loop-invariant llvm::ScalarEvolution::getAddRecExpr llvm::ScalarEvolution::getMulExpr Sanitizer: address (ASAN) Regressed: https://oss-fuzz.com/revisions?job=libfuzzer_asan_llvm=201712190608:201712210617 Reproducer Testcase: https://oss-fuzz.com/download?testcase_id=6643839252037632 Issue filed automatically. See https://github.com/google/oss-fuzz/blob/master/docs/reproducing.md for more information. When you fix this bug, please * mention the fix revision(s). * state whether the bug was a short-lived regression or an old bug in any stable releases. * add any other useful information. This information can help downstream consumers. If you have questions for the OSS-Fuzz team, please file an issue at https://github.com/google/oss-fuzz/issues. -- 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
