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

[creduce-bugs] C-Reduce crashed with error: "clang_delta --transformation=reduce-array-size --counter=1" from pass_clang::reduce-array-size



Hi,

 

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

 

::::::::::::::
creduce_bug_001/8ff8d2fc802d04c6a8b50094288d03e291d2c9bf.c
::::::::::::::
int a[] = {[72057594037927936] 0};
void main() {}
::::::::::::::
creduce_bug_001/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::reduce-array-size has encountered a bug:

crashed: "/usr/lib/x86_64-linux-gnu/clang_delta" --transformation=reduce-array-size --counter=1 /tmp/creduce-ArryCK/8ff8d2fc802d04c6a8b50094288d03e291d2c9bf.c
Please consider tarring up /home/user42/directed-compiler-fuzzing-code/scripts/9-reduce-bugs/crash-frama-c/13-Inv-arg-array-make/creduce_bug_001


Clang default version: Ubuntu clang version 12.0.1-++20211102090516+fed41342a82f-1~exp1~20211102211019.11
Creduce version: creduce 2.10.0 (fb91843)

Best,

Karine