[thirdparty/gcc.git] / gcc / testsuite / gdc.test / compilable / test10520.d

// REQUIRED_ARGS: -debug -profile

// https://issues.dlang.org/show_bug.cgi?id=10520
// [profile+nothrow] Building with profiler results in "is not nothrow" error on some contracts

void f() { }

void g()()
in { f(); } // OK <- Error: 'main.f' is not nothrow
do { }

alias gi = g!();
Commit	Line	Data
b4c522fa IB	1	// REQUIRED_ARGS: -debug -profile
b4c522fa IB	2
5fee5ec3 IB	3	// https://issues.dlang.org/show_bug.cgi?id=10520
5fee5ec3 IB	4	// [profile+nothrow] Building with profiler results in "is not nothrow" error on some contracts
b4c522fa IB	5
	6	void f() { }
	7
	8	void g()()
	9	in { f(); } // OK <- Error: 'main.f' is not nothrow
5fee5ec3	10	do { }
b4c522fa IB	11
b4c522fa IB	12	alias gi = g!();