scope() statements and return

[Shammah Chancellor via Digitalmars-d]

On 2014-10-03 19:35:31 +0000, Andrei Alexandrescu said:

>> Better yet:
>> 
>> 	int func() {
>> 		scope(exit)
>> 			return 1;
>> 		scope(exit)
>> 			return 2;
>> 		return 0;
>> 	}
> 
> 2

That should return 1 as the return 1 is the last thing to execute.   
SDC currently doesn't disallow this and correctly produces 1.

It'll be lowered as such:

int foo2()
{
	try {
		try {
			return 0;
		} finally {
			return 2;
		}
	} finally {
		return 1;
	}
}


> 
>> Worse yet:
>> 
>> 	// What does this function do? What *should* it do??
>> 	int func() {
>> 		scope(success)
>> 			throw new Exception("");
>> 		scope(failure)
>> 			return 1;
>> 		return 0;
>> 	}
> 
> 1

This throws an exception, as it's already outside of the scope(failure) 
block and into the finally for success;

-S