Run definitely assigned check on dynamic member access. Fixes #593369

diff --git a/mcs/errors/cs0165-15.cs b/mcs/errors/cs0165-15.cs
index a9c1b0ded11f0e5fac561492b23461854abf3475..fd3c76bc7e5d25f85f740521480aa4c445f61ae6 100644 (file)
--- a/mcs/errors/cs0165-15.cs
+++ b/mcs/errors/cs0165-15.cs
@@ -1,5 +1,5 @@
 // CS0165: Use of unassigned local variable `errors'
-// Line: 8
+// Line: 9
 
 class T
 {

diff --git a/mcs/errors/known-issues-net_4_0 b/mcs/errors/known-issues-net_4_0
index 9cffc8e1742e816fa832698c5423bab33a69b690..ccb55996527b26534710cb8d9701edffac6d2eac 100644 (file)
--- a/mcs/errors/known-issues-net_4_0
+++ b/mcs/errors/known-issues-net_4_0
@@ -17,8 +17,6 @@ cs0162-7.cs NO ERROR
 cs0457-2.cs
 cs0457.cs
 
-cs0165-15.cs NO ERROR # Bug 593369
-
 # all the following are from bug #628673
 cs1979.cs
 cs0168-2.cs

diff --git a/mcs/mcs/expression.cs b/mcs/mcs/expression.cs
index 1bc5740a9666496385ecd2e9152b599f3385c578..8bf3151c9f922ca5eb72005eac79f3f27ef2dd61 100644 (file)
--- a/mcs/mcs/expression.cs
+++ b/mcs/mcs/expression.cs
@@ -7708,6 +7708,16 @@ namespace Mono.CSharp
                                if (me != null)
                                        me.ResolveInstanceExpression (rc, null);
 
+                               //
+                               // Run defined assigned checks on expressions resolved with
+                               // disabled flow-analysis
+                               //
+                               if (sn != null) {
+                                       var vr = expr as VariableReference;
+                                       if (vr != null)
+                                               vr.VerifyAssigned (rc);
+                               }
+
                                Arguments args = new Arguments (1);
                                args.Add (new Argument (expr));
                                return new DynamicMemberBinder (Name, args, loc);