Mercurial > projects > dstress
changeset 1217:cd5da42e46da
[Issue 235] goto & scope: cannot goto forward into different try block level
Michael Arntzenius <daekharel@gmail.com>
2006-11-20
news:ejte18$16s$1@digitaldaemon.com
| author | thomask |
|---|---|
| date | Wed, 22 Nov 2006 13:37:23 +0000 |
| parents | 9ea324147913 |
| children | 3a9e5f96ad6f |
| files | run/s/scope_14_C.d run/s/scope_14_D.d run/s/scope_14_E.d run/s/scope_14_F.d |
| diffstat | 4 files changed, 99 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/s/scope_14_C.d Wed Nov 22 13:37:23 2006 +0000 @@ -0,0 +1,26 @@ +// $HeadURL$ +// $Date$ +// $Author$ + +// @author@ Michael Arntzenius <daekharel@gmail.com> +// @date@ 2006-11-20 +// @uri@ news:ejte18$16s$1@digitaldaemon.com +// @desc@ [Issue 235] goto & scope: cannot goto forward into different try block level + +module dstress.run.s.scope_14_C; + +class C { + invariant { + } + + synchronized void foo() { + return; + } +} + +int main(){ + C c = new C(); + c.foo(); + + return 0; +}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/s/scope_14_D.d Wed Nov 22 13:37:23 2006 +0000 @@ -0,0 +1,23 @@ +// $HeadURL$ +// $Date$ +// $Author$ + +// @author@ Michael Arntzenius <daekharel@gmail.com> +// @date@ 2006-11-20 +// @uri@ news:ejte18$16s$1@digitaldaemon.com +// @desc@ [Issue 235] goto & scope: cannot goto forward into different try block level + +module dstress.run.s.scope_14_D; + +class C { + synchronized void foo() { + return; + } +} + +int main(){ + C c = new C(); + c.foo(); + + return 0; +}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/s/scope_14_E.d Wed Nov 22 13:37:23 2006 +0000 @@ -0,0 +1,25 @@ +// $HeadURL$ +// $Date$ +// $Author$ + +// @author@ Michael Arntzenius <daekharel@gmail.com> +// @date@ 2006-11-20 +// @uri@ news:ejte18$16s$1@digitaldaemon.com +// @desc@ [Issue 235] goto & scope: cannot goto forward into different try block level + +module dstress.run.s.scope_14_E; + +class C { + synchronized void foo() + out { + } body { + return; + } +} + +int main(){ + C c = new C(); + c.foo(); + + return 0; +}
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/run/s/scope_14_F.d Wed Nov 22 13:37:23 2006 +0000 @@ -0,0 +1,25 @@ +// $HeadURL$ +// $Date$ +// $Author$ + +// @author@ Michael Arntzenius <daekharel@gmail.com> +// @date@ 2006-11-20 +// @uri@ news:ejte18$16s$1@digitaldaemon.com +// @desc@ [Issue 235] goto & scope: cannot goto forward into different try block level + +module dstress.run.s.scope_14_F; + +class C { + synchronized void foo() + in { + } body { + return; + } +} + +int main(){ + C c = new C(); + c.foo(); + + return 0; +}