digitalmars.D - bug of scope (linux only) verified, Critical
- redsea <redsea 163.com> Dec 16 2008
- Brad Roberts <braddr puremagic.com> Dec 16 2008
- redsea <redsea 163.com> Dec 16 2008
- Christopher Wright <dhasenan gmail.com> Dec 17 2008
- redsea <redsea 163.com> Dec 17 2008
- redsea <redsea 163.com> Dec 16 2008
- "Jarrett Billingsley" <jarrett.billingsley gmail.com> Dec 17 2008
- davidl <davidl 126.com> Dec 17 2008
error:
scope(success) is not execuated,
RAII variable destructor is not called, this bug is critical.
I wrote a phobos version test program, and found windows version of dmd is
correct, but not linux version.
I test dmd 1.038. 1.037, 1.023, all is wrong.
the test program is as following:
import std.stdio;
alias writefln ot;
scope class Indent
{
this()
{
ot("<<<");
}
~this()
{
ot(">>>");
}
}
void doScan(int a)
{
ot("doScan {{{");
scope(exit)
{}
scope(failure)
ot("doScan failure }}}");
scope(success)
ot("doScan ok }}}");
scope auto ident__doScan__ident = new Indent();
if (a == 0 )
return;
}
void main()
{
for (int i=0; i<8;i++)
doScan(0);
}
comment the following lines, result would be ok:
if (a == 0 )
return;
the error output: (copy from linux dmd 1.038, running on debian lenny)
[tmp]root ./t
doScan {{{
<<<
doScan {{{
<<<
doScan {{{
<<<
doScan {{{
<<<
doScan {{{
<<<
doScan {{{
<<<
doScan {{{
<<<
doScan {{{
<<<
the correct output (copy from windows dmd 1.038)
C:\TEMP>t.exe
doScan {{{
<<<
doScan {{{
<<<
doScan {{{
<<<
doScan {{{
<<<
doScan {{{
<<<
doScan {{{
<<<
doScan {{{
<<<
doScan {{{
<<<
Dec 16 2008
redsea wrote: <trim bug report> The proper place to report bugs is bugzilla: http://d.puremagic.com/issues/ Thanks, Brad
Dec 16 2008
Brad Roberts Wrote:redsea wrote: <trim bug report> The proper place to report bugs is bugzilla: http://d.puremagic.com/issues/ Thanks, Brad
Thanks, I report it, Issue 2518. Hope it could be fixed quickly. I post this bug it here first because of I feel this bug is very critical, would cause many weired fails, not so easy to debug, so maybe post it here, and let more people know it, is better. If if disturb you, forgive me. Today I rewrite many code to avoid return in the middle of the function, otherwise my RAII mechanism would fail. But some function is difficult to rewrite.
Dec 16 2008
redsea wrote:I post this bug it here first because of I feel this bug is very critical, would cause many weired fails, not so easy to debug, so maybe post it here, and let more people know it, is better.
I sympathize with this, but when you are reporting a bug that no one else has, and it's been around for a while, you could conclude that it's not critical to very many people. That said, once it's on bugzilla, people can vote for it to encourage Walter to look at it sooner.
Dec 17 2008
redsea <redsea 163.com> Christopher Wright Wrote:redsea wrote:I post this bug it here first because of I feel this bug is very critical, would cause many weired fails, not so easy to debug, so maybe post it here, and let more people know it, is better.
I sympathize with this, but when you are reporting a bug that no one else has, and it's been around for a while, you could conclude that it's not critical to very many people. That said, once it's on bugzilla, people can vote for it to encourage Walter to look at it sooner.
Ok, I see. I would do as you said next time. Thanks.
Dec 17 2008
detail enviorment infomation: [tmp]root uname -a Linux debian-dev-testing 2.6.25.20-pm-mon-02 #1 Sun Dec 7 17:57:03 CST 2008 i686 GNU/Linux [tmp]root dmd -v Digital Mars D Compiler v1.038 Copyright (c) 1999-2008 by Digital Mars written by Walter Bright Documentation: http://www.digitalmars.com/d/1.0/index.html [tmp]root dmd -v t.d parse t semantic t import object (/root/dmd/bin/../src/phobos/object.d) import std.stdio (/root/dmd/bin/../src/phobos/std/stdio.d) import std.c.stdio (/root/dmd/bin/../src/phobos/std/c/stdio.d) import std.c.stddef (/root/dmd/bin/../src/phobos/std/c/stddef.d) import std.c.stdarg (/root/dmd/bin/../src/phobos/std/c/stdarg.d) import std.format (/root/dmd/bin/../src/phobos/std/format.d) import std.stdarg (/root/dmd/bin/../src/phobos/std/stdarg.d) import std.utf (/root/dmd/bin/../src/phobos/std/utf.d) import std.c.stdlib (/root/dmd/bin/../src/phobos/std/c/stdlib.d) import std.c.string (/root/dmd/bin/../src/phobos/std/c/string.d) import std.string (/root/dmd/bin/../src/phobos/std/string.d) import std.uni (/root/dmd/bin/../src/phobos/std/uni.d) import std.array (/root/dmd/bin/../src/phobos/std/array.d) import std.ctype (/root/dmd/bin/../src/phobos/std/ctype.d) import std.gc (/root/dmd/bin/../src/phobos/std/gc.d) import gcstats (/root/dmd/bin/../src/phobos/gcstats.d) import std.c.linux.linux (/root/dmd/bin/../src/phobos/std/c/linux/linux.d) import std.c.linux.linuxextern (/root/dmd/bin/../src/phobos/std/c/linux/linuxextern.d) import std.c.linux.pthread (/root/dmd/bin/../src/phobos/std/c/linux/pthread.d) import std.intrinsic (/root/dmd/bin/../src/phobos/std/intrinsic.d) semantic2 t semantic3 t code t function this function _dtor function doScan function main gcc t.o -o t -m32 -Xlinker -L/root/dmd/bin/../lib -lphobos -lpthread -lm [tmp]root ./t doScan {{{ <<< doScan {{{ <<< doScan {{{ <<< doScan {{{ <<< doScan {{{ <<< doScan {{{ <<< doScan {{{ <<< doScan {{{ <<< [tmp]root cat t.d import std.stdio; alias writefln ot; scope class Indent { this() { ot("<<<"); } ~this() { ot(">>>"); } } void doScan(int a) { ot("doScan {{{"); scope(exit) {} scope(failure) ot("doScan failure }}}"); scope(success) ot("doScan ok }}}"); scope auto ident__doScan__ident = new Indent(); if (a == 0 ) return; } void main() { for (int i=0; i<8;i++) doScan(0); }
Dec 16 2008
On Wed, Dec 17, 2008 at 1:56 AM, redsea <redsea 163.com> wrote:error: scope(success) is not execuated, RAII variable destructor is not called, this bug is critical. I wrote a phobos version test program, and found windows version of dmd is correct, but not linux version.
Ah, so it is platform-specific!
Dec 17 2008
在 Wed, 17 Dec 2008 22:15:51 +0800，Jarrett Billingsley <jarrett.billingsley gmail.com> 写道:On Wed, Dec 17, 2008 at 1:56 AM, redsea <redsea 163.com> wrote:error: scope(success) is not execuated, RAII variable destructor is not called, this bug is critical. I wrote a phobos version test program, and found windows version of dmd is correct, but not linux version.
Ah, so it is platform-specific!
That's why I insisted he try his dmd 1.037 previously.
Dec 17 2008