[creduce-bugs] C-Reduce crashed with error: "/usr/lib/x86_64-linux-gnu/clang_delta" --transformation=copy-propagation

["Even Mendoza, Karine" <k.even-mendoza@imperial.ac.uk>]

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 creduce-bugs@flux.utah.edu 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