view run/goto_07.d @ 1603:2031b04871b3

Fix broken invariant + synchronized test. Synchronized is not a valid function attribute for structs!
author Christian Kamm <kamm incasoftware de>
date Sat, 28 Mar 2009 19:17:32 +0100
parents 4468ecf152f1
children
line wrap: on
line source

// $HeadURL$
// $Date$
// $Author$

module dstress.run.goto_07;

int main(){

	int a = 1;
	if(0){
a:
		int b = 2;
		assert(b == 2);
	}else{
		assert(a == 1);
		goto a;
	}
	assert(a == 1);
	return 0;
}