On 2021-12-23 07:00, Even Mendoza, Karine wrote:
Hi, The following code crashed C-Reduce (Ubuntu 18, Clang-12), see the details below.
Fixed in 1bdde19. Thank you for reporting the issue, Karine! - Yang