Bug 928 – nested struct definition in unittest section of a templated class, hangs DMD

The following code seems to make the compiler do some endless loop, because of the TestType definition. ______________________________________________________ void main() { MinHeap!(int) foo = new MinHeap!(int)(); } class MinHeap(NodeType) { unittest { struct TestType {} MinHeap!(TestType) foo = new MinHeap!(TestType)(); } }

Added to DStress as http://dstress.kuehne.cn/run/u/unittest_11_A.d http://dstress.kuehne.cn/run/u/unittest_11_B.d http://dstress.kuehne.cn/run/u/unittest_11_C.d

Straightforward patch. This is just a copy-and-paste of the code for the other recursive template expansion checks. Patch against DMD 2.031. Index: template.c =================================================================== --- template.c (revision 194) +++ template.c (working copy) @@ -3592,7 +3592,27 @@ if (sc->func || dosemantic3) { +#if WINDOWS_SEH + __try + { +#endif + if (++nest > 500) + { + global.gag = 0; // ensure error message gets printed + error("recursive expansion"); + fatal(); + } semantic3(sc2); + --nest; +#if WINDOWS_SEH + } + __except (__ehfilter(GetExceptionInformation())) + { + global.gag = 0; // ensure error message gets printed + error("recursive expansion"); + fatal(); + } +#endif } Laftersemantic:

Fixed dmd 1.049