Mercurial > projects > dstress
view run/invariant_06.d @ 1330:f3f715978184
Georg Wrede <georg@iki.fi>
2007-01-07
mail:45A120F5.1050108@iki.fi
author | thomask |
---|---|
date | Sat, 13 Jan 2007 10:33:49 +0000 |
parents | 1e6afb94ce6d |
children | 52c9e86b6486 |
line wrap: on
line source
// $HeadURL$ // $Date$ // $Author$ // @author@ Thomas Kuehne <thomas-dloop@kuehne.thisisspam.cn> // @date@ 2004-10-22 // @uri@ news:clbr09$uc6$1@digitaldaemon.com // @url@ nntp://digitalmars.com/digitalmars.D.bugs/2140 // invariants for Unions allowed since dmd-0.119 // __DSTRESS_TORTURE_BLOCK__ -release module dstress.run.invariant_06; int status; union MyUnion{ int i; void test(){ i++; } invariant{ status++; } } int main(){ MyUnion u; assert(status==0); u.test(); assert(status==1); u.i=2; assert(status==2); assert(u); assert(status==3); return 0; }