END_UNREACHED

These flags enumerate the ways a statement or function can terminate. END_UNREACHED is reserved for code paths assumed to always execute (throw, continue). END_DROPS_OFF means the statement can transfer control to the next one. END_RETURNS means it can return without arguments, END_RETURNS_VALUE with one.