Mercurial > projects > dstress

view run/i/in_out_body_12_B.d @ 1603:2031b04871b3

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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 daef239f37cf
children
line wrap: on
line source

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

// @author@	Deewiant <deewiant@gmail.com>
// @date@	2006-07-09
// @uri@	http://d.puremagic.com/issues/show_bug.cgi?id=247
// @desc@	[Issue 247] Cannot return from nested functions in contracts

module dstress.run.i.in_out_body_12_B;

void foo(int dummy)
out{
	static int checkParameters(int x) {
		if(x < 0){
			return checkParameters(-x);
		}else{
			return x % 2;
		}
	}

	assert(checkParameters(dummy) == 1);
} body {
}

int main(){
	foo(5);

	return 0;
}