April 16, 2005
please see bugs group ...


April 16, 2005
class Mapped : Buffer
{
        this()
        {
        }

        ~this()
        {
        }
}

class Buffer
{
        private uint limit;
        private uint capacity;
        private uint position;

        invariant
        {
               assert (position <= limit);
               assert (limit <= capacity);
        }
}

Copy the above into foo.d, and compile it ~ segfaults in the previously noted place (during semantic3). If you remove the dtor, it does not segfault. If you remove the invariant, it does not segfault.

A response post would be appreciated.


April 16, 2005
Thanks. I'll have a look at it.


April 18, 2005
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Kris schrieb am Sat, 16 Apr 2005 14:05:02 -0700:
> class Mapped : Buffer
> {
>         this()
>         {
>         }
>
>         ~this()
>         {
>         }
> }
>
> class Buffer
> {
>         private uint limit;
>         private uint capacity;
>         private uint position;
>
>         invariant
>         {
>                assert (position <= limit);
>                assert (limit <= capacity);
>         }
> }
>
> Copy the above into foo.d, and compile it ~ segfaults in the previously noted place (during semantic3). If you remove the dtor, it does not segfault. If you remove the invariant, it does not segfault.

Added to DStess as http://dstress.kuehne.cn/run/bug_20050418_01.d http://dstress.kuehne.cn/run/bug_20050418_02.d http://dstress.kuehne.cn/run/bug_20050418_03d

Thomas


-----BEGIN PGP SIGNATURE-----

iD8DBQFCY2du3w+/yD4P9tIRAmaYAJ9l3m1YwPUFDN3DXFN6lxYrVutYXQCeM4Mi
zFArCA1n3QUwSt2OWt1QPyI=
=5/jl
-----END PGP SIGNATURE-----
Top | Discussion index | About this forum | D home