Fixed in 3c822b9. Thank you for reporting the issue, James! - Yang On 6/14/20 10:18 PM, James McCoy wrote:
Hi, Attached are a few creduce bug directories from an issue[0] I was trying to narrow down this weekend. Thanks for the useful tool! Hope these are helpful. [0]: https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95676 Cheers,