6037 – [CTFE] recursive ref parameters evaluated incorrectly

D issues are now tracked on GitHub. This Bugzilla instance remains as a read-only archive.
Issue 6037 - [CTFE] recursive ref parameters evaluated incorrectly
Summary: [CTFE] recursive ref parameters evaluated incorrectly
Status: RESOLVED FIXED
Alias: None
Product: D
Classification: Unclassified
Component: dmd (show other issues)
Version: D2
Hardware: Other Windows
: P2 normal
Assignee: No Owner
URL:
Keywords: wrong-code
Depends on:
Blocks:
Reported: 2011年05月19日 12:33 UTC by Don
Modified: 2015年06月09日 05:11 UTC (History)
1 user (show)

See Also:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this issue.
Description Don 2011年05月19日 12:33:11 UTC 
To fix this, CTFE will need to properly implement a stack for variables to be stored on.
-------------
void bug6037(ref int x, bool b){
 int w = 3;
 if (b) {
 bug6037(w, false);
 assert(w==6);
 } else {
 x = 6;
 assert(w==3); // fails
 } 
}
int bug6037outer(){
 int q;
 bug6037(q, true);
 return 401;
}
static assert(bug6037outer() == 401);

AltStyle によって変換されたページ (->オリジナル) /