Fixed #3907: ICE on tuple assignment

Ary Borenszweig · Ary Borenszweig · commit 0cda903b2b26 · 2017-01-17T12:56:47.000-03:00
diff --git a/spec/compiler/codegen/named_tuple_spec.cr b/spec/compiler/codegen/named_tuple_spec.cr
@@ -297,4 +297,17 @@ describe "Code gen: named tuple" do
       t[:x]
       )).to_i.should eq(2)
   end
+
+  it "downcasts union inside tuple to value (#3907)" do
+    codegen(%(
+      struct Foo
+      end
+
+      foo = Foo.new
+
+      x = {a: 0, b: foo}
+      z = x[:a]
+      x = {a: 0, b: z}
+      ))
+  end
 end
diff --git a/spec/compiler/codegen/tuple_spec.cr b/spec/compiler/codegen/tuple_spec.cr
@@ -351,4 +351,17 @@ describe "Code gen: tuple" do
       t.as(Tuple)[0]
       )).to_i.should eq(1)
   end
+
+  it "downcasts union inside tuple to value (#3907)" do
+    codegen(%(
+      struct Foo
+      end
+
+      foo = Foo.new
+
+      x = {0, foo}
+      z = x[0]
+      x = {0, z}
+      ))
+  end
 end
diff --git a/src/compiler/crystal/codegen/cast.cr b/src/compiler/crystal/codegen/cast.cr
@@ -467,6 +467,7 @@ class Crystal::CodeGenVisitor
       value_ptr = gep value, 0, index
       loaded_value = to_lhs(value_ptr, value_tuple_type)
       downcasted_value = downcast(loaded_value, target_tuple_type, value_tuple_type, true)
+      downcasted_value = to_rhs(downcasted_value, target_tuple_type)
       store downcasted_value, target_ptr
       index += 1
     end
@@ -481,6 +482,7 @@ class Crystal::CodeGenVisitor
       target_index = to_type.name_index(entry.name).not_nil!
       target_index_type = to_type.name_type(entry.name)
       downcasted_value = downcast(value_at_index, target_index_type, entry.type, true)
+      downcasted_value = to_rhs(downcasted_value, target_index_type)
       store downcasted_value, aggregate_index(target_pointer, target_index)
     end
     target_pointer
