http://d.puremagic.com/issues/show_bug.cgi?id=6306
Summary: [CTFE] Strange behavior of indirect recursive call in CTFE Product: D Version: D2 Platform: x86 OS/Version: Windows Status: NEW Severity: critical Priority: P2 Component: DMD AssignedTo: nob...@puremagic.com ReportedBy: youx...@gmail.com --- Comment #0 from Hisayuki Mima <youx...@gmail.com> 2011-07-13 02:06:02 PDT --- void main(){} struct Result{bool match; string value; string rest;} Result paren(string input){ if(input[0] == '('){ input = input[1..$]; }else{ return Result(false, "", input); } string[] strs; while(true){ Result r = function(string input){ Result r = paren(input); if(r.match){ return r; } if(input[0] == ')'){ return Result(false, "", input); }else{ return Result(true, input[0..1], input[1..$]); } }(input); if(r.match){ strs = strs ~ r.value; input = r.rest; }else{ break; } } if(input[0] == ')'){ input = input[1..$]; }else{ return Result(false, "", input); } string value = "("; foreach(str; strs){ value = value ~ str; } value = value ~ ")"; return Result(true, value, input); } bool test(){//unittest auto r = paren("((a))"); assert(r.match); assert(r.rest == ""); assert(r.value == "((a))"); //assertion1 return true; } unittest{ static assert(test()); //line1 test(); } This code cannot be compiled by dmd v2.054 because the assertion1, which is the compile-time assertion, fails. (Incidentally, r.value is "(a(a))" at assertion1.) However, dmd v2.052 can compile this code well. When I commented out the line 1, the code became able to be compiled dmd v2.054 and the run-time unittest succeeded. The function paren is a function which parses string in balanced-parentheses and returns parsed string. It has indirect recursive call or it calls a function which calls it. When I rewrote the code as a code which has direct recursive call, the code the code became able to be compiled dmd v2.054 and the run-time unittest succeeded, too. This is why I think indirect recursive call has strange behavior and it causes the assertion1 to fail. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------