[Issue 235] goto & scope: cannot goto forward into different try block level

[Thomas Kuehne]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

d-bugmail at puremagic.com schrieb am 2006-11-20:
> http://d.puremagic.com/issues/show_bug.cgi?id=235

> ------- Comment #2 from daekharel at gmail.com  2006-11-20 16:51 -------
> I've verified this bug on DMD 0.174. In addition, the same problem appears in
> the following code:
>
> class Foo {
>     invariant {}
>     synchronized void foo() { return; }
> }
>
> After fiddling around to see when an error occurs, it seems the problem arises
> in the presence of the combination of both an invariant and a synchronized
> method with a return statement (even if the invariant and return statement do
> nothing, as in the example above). However, I've managed to get code which has
> this combination to compile on Windows under DMD 0.174, but the same code would
> not compile on Linux, as it caused this error, so it may be a linux-only
> problem.
>
> Since having invariants and synchronized methods in the same class is far from
> an uncommon use-case, I'm raising the severity of this bug to critical.

Added to DStress as
http://dstress.kuehne.cn/run/s/scope_14_C.d
http://dstress.kuehne.cn/run/s/scope_14_D.d
http://dstress.kuehne.cn/run/s/scope_14_E.d
http://dstress.kuehne.cn/run/s/scope_14_F.d

Thomas


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

iD8DBQFFZEoJLK5blCcjpWoRApdcAJ9c365wajdUZGYLJQkDdIksT8GIJgCfQSMo
qKv6uGZ8JfQx5DCCd8V7mrw=
=Qqur
-----END PGP SIGNATURE-----