Bug 122 - Fails to compile std.parallelism.reduce

gcc/d/ChangeLog

@@ -1,6 +1,10 @@
 2014-06-14  Iain Buclaw  <ibuclaw@gdcproject.org>
 
 	* d-elem.cc(CondExp::toElem): Handle void type condition expressions.
+	(AssignExp::toElem): Use ismemset to test for initialising arrays with
+	a single value.
+	(StructLiteralExp::toElem): Build static initialiser if a symbol was
+	created by the front-end.
 	* d-codegen.h(d_types_compatible): First check equality of types, then
 	implicit compatibility.
 	* d-convert.cc(d_default_conversion): Remove function, fold

gcc/d/d-elem.cc

@@ -997,7 +997,7 @@ AssignExp::toElem (IRState *irs)
 	      || (e2->op == TOKcast && ((UnaExp *) e2)->e1->isLvalue())))
 	postblit = 1;
 
-      if (d_types_compatible (etype, tb2))
+      if (ismemset)
 	{
 	  // Set a range of elements to one value.
 	  tree t1 = maybe_make_temp (e1->toElem (irs));
@@ -2525,8 +2525,16 @@ StructLiteralExp::toElem (IRState *irs)
 
   gcc_assert (tb->ty == Tstruct);
 
-  if (sinit && sinit->Stree)
-    return sinit->Stree;
+  if (sinit)
+    {
+      // Building sinit trees are delayed until after frontend semantic
+      // processing has complete.  Build the static initialiser now.
+      if (sinit->Stree == NULL_TREE)
+	sd->toInitializer();
+
+      gcc_assert (sinit->Stree != NULL);
+      return sinit->Stree;
+    }
 
   // CTFE may fill the hidden pointer by NullExp.
   size_t dim = elements ? elements->dim : 0;

gcc/testsuite/gdc.test/runnable/gdc.d

@@ -632,6 +632,22 @@ immutable char C121 = void; // ICE
 
 /******************************************/
 
+// Bug 122
+
+void test122()
+{
+    import std.algorithm : map;
+    import std.parallelism : taskPool;
+    import std.range : iota;
+
+    immutable n = 10000;
+    immutable delta = 1.0 / n;
+    immutable pi = 4.0 * delta * taskPool.reduce!"a + b"(
+        map!((int i) { immutable x = (i - 0.5) * delta; return 1.0 / (1.0 + x * x); })(iota(n)));
+}
+
+/******************************************/
+
 // Bug 127
 
 int[0] test127a;     // OK