[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[creduce-bugs] Creduce crash with crashed: "/usr/lib/x86_64-linux-gnu/clang_delta" --transformation=aggregate-to-scalar



Hi,

 

The following code crashed creduce  version (2.10.0-1~18.04) on Ubuntu 18.04:

::::::::::::::

creduce_bug_007/fuzzer-file-44961.c

::::::::::::::

unsigned int a[];

void main() {

  a[4398046511104] || a[1]   ;

}

 

::::::::::::::

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::aggregate-to-scalar has encountered a bug:

crashed: "/usr/lib/x86_64-linux-gnu/clang_delta" --transformation=aggregate-to-scalar --counter=1 /tmp/creduce-3xsEsT/fuzzer-file-44961.c

Please consider tarring up /home/user42/directed-compiler-fuzzing-code/scripts/9-reduce-bugs/crash-gcc/3-1-seg-fault/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.

***************************************************

 

Best,

Karine.