https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94623
--- Comment #8 from Iain Buclaw <ibuclaw at gdcproject dot org> ---
(In reply to David Binderman from comment #7)
> >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);
Thanks, alternatively, there is dustmite (which is made specifically for D)
https://github.com/CyberShadow/DustMite
Built using: gdc dustmite.d splitter.d polyhash.d -o dustmite
