[Issue 3667] Regression(D2 only): broken out(result) in contracts

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=3667



--- Comment #5 from Luther Tychonievich <lat7h at virginia.edu> 2010-03-15 20:43:30 PDT ---
Not sure if it helps, but the compiler knows this problem will arise at compile
time; the following compiles just fine, though it clearly should not:
-----
int buggy(int y)
out(result) { static assert(result==0); }
body        { return y; }
void main() { buggy(3); }
----
I don't know why.  Debugging shows that statement.c:3490 still creates the
"result = y" assignment I'd expect... I don't know where else to look.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------