Bug 495901

Description Jongwook Kim 2016-06-10 13:48:51 EDT

When A.m is moved to class C using the second parameter, the order of evaluating argument expressions is changed after the move. The m invocation in method n below is evaluated before the move:

new A(), new B(), new C(), new D() in order

After the move, the evaluation order becomes:

new C(), new B(), new A(), new D() 

So the program behavior may change when the argument expressions have side effects.


BEFORE
----------------------------------------------------
class A {
	int i = 0;

	void m(B b, C c, D d) {
		i = 0;
	}

	void n() {
		new A().m(new B(), new C(), new D());
	}
}

class C {
}


AFTER
----------------------------------------------------
class A {
	int i = 0;

	void n() {
		new C().m(new B(), new A(), new D());  // reordering
	}
}

class C {
	void m(B b, A a, D d) {
		a.i = 0;
	}
}