1
This notion of Single Entry, Single Exit (SESE) comes from languages with explicit resource management, like C and assembler. In C, code like this will leak resources:
void f()
{
resource res = acquire_resource(); // think malloc()
if( f1(res) )
return; // leaks res
f2(res);
releas...