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

[Yang Chen <chenyang@cs.utah.edu>]

Fixed in 6dc5a9d. Thank you for reporting the issue, Karine!

- Yang

On 1/10/22 4:12 AM, Even Mendoza, Karine wrote:

> int a[] = {[72057594037927936] 0};
>         void main() {}