Hi,
The following code crashed C-Reduce (Ubuntu 18, Clang-12), see the details
below.
::::::::::::::
creduce_bug_007/fuzzer-file-59120.c
::::::::::::::
void a() {
int b = ((unsigned char *)a)[9223372036854775808] +
(((unsigned *)a)[0] -
(int)((unsigned char *)a)[0] % ((unsigned char *)a)[5] ^
(long)a - (int)((unsigned char *)a)[-1] % ((unsigned char *)a)[0]);
while (b)
;
}
void main() {}
::::::::::::::
creduce_bug_007/PASS_BUG_INFO.TXT
::::::::::::::
creduce 2.10.0
fb91843
Linux
srg08
4.15.0-135-generic
#139-Ubuntu SMP Mon Jan 18 17:38:24 UTC 2021
x86_64
***************************************************
pass_clang::copy-propagation has encountered a bug:
crashed: "/usr/lib/x86_64-linux-gnu/clang_delta"
--transformation=copy-propagation --counter=1
/tmp/creduce-igUlPz/fuzzer-file-59120.c
Please consider tarring up
/home/user42/directed-compiler-fuzzing-code/scripts/9-reduce-bugs/crash-gcc/6-vect_build_slp_tree_2/creduce_bug_007
and mailing it to [email protected]<mailto:[email protected]>
and we will try to fix
the bug.
This bug is not fatal, C-Reduce will continue to execute.
***************************************************
Clang default version: Ubuntu clang version
12.0.1-++20210802050930+fed41342a82f-1~exp1~20210802151638.139
Creduce version: creduce 2.10.0 (fb91843)
I saw that there was a similar bug report that was fixed back in 2017, but I am
not sure it is related:
http://www.flux.utah.edu/listarchives/creduce-bugs/msg00346.html
I could not find other related reports.
Best,
Karine
