https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94623
--- Comment #7 from David Binderman <dcb314 at hotmail dot com> ---
>I wonder if creduce understands D ?
Yes it does. Reduced D code is
void a() {
try
try
try
throw new Exception("");
finally throw new Error("");
finally {}
catch {
}
}
int b() {
a;
return 1;
}
static assert(b);
