view run/i/if_10_F.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 976d6a6a7907
children
line wrap: on
line source

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

module dstess.run.i.if_10_F;

int test(int i){
	if (i--)
		if (!i)
			return 4;
		return 5;
	return 6;
}

int main(){
	if(test(1) != 4){
		assert(0);
	}

	if(test(2) != 5){
		assert(0);
	}

	if(test(0) != 5){
		assert(0);
	}

	return 0;
}