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