On 09/24/2011 07:26 AM, Richard Guenther wrote:
I don't see why
f4 (s, s)
would be invalid. But you would miscompile it.
+int
+f4 (S&x, S&y)
+{
+ x.p[0] = 4;
+ y.p[0] = 0; // { dg-final { scan-tree-dump-times "return 4" 0 "optimized" } }
+ return x.p[0];
+}
It looks to me like the testcase is testing that we *don't* optimize f4,
which I think is the correct result.
+// We might handle this some day
+// { dg-final { scan-tree-dump-times "return 5" 0 "optimized" } }
But we could optimize f5, so I don't think we want to test for not
optimizing. Better would be to test for the optimization, but mark it
as xfail.
Jason
