source = embedded = ((Assign) source).GetEmbeddedAssign (loc);
real_source = source = source.Resolve (ec);
- if (source == null)
+ if (source == null) {
+ // Ensure that we don't propagate the error as spurious "uninitialized variable" errors.
+ target = target.ResolveLValue (ec, EmptyExpression.Null, Location);
return null;
+ }
//
// This is used in an embedded assignment.
if (embedded != null)
source = (embedded.temp != null) ? embedded.temp : embedded.source;
- target = target.ResolveLValue (ec, source);
+ target = target.ResolveLValue (ec, source, Location);
if (target == null)
return null;
+ if (source.Equals (target)) {
+ Report.Warning (1717, 3, loc, "Assignment made to same variable; did you mean to assign something else?");
+ }
+
Type target_type = target.Type;
Type source_type = real_source.Type;
}
FieldExpr field_exp = target as FieldExpr;
- if (field_exp != null && !ec.IsConstructor && !ec.IsFieldInitializer) {
+ if (field_exp != null && field_exp.DeclaringType.IsValueType && !ec.IsConstructor && !ec.IsFieldInitializer) {
field_exp = field_exp.InstanceExpression as FieldExpr;
if (field_exp != null && field_exp.FieldInfo.IsInitOnly) {
if (field_exp.IsStatic) {