This policy prohibits code following a statement which unconditionally alters the program flow.
This includes calls to exit,
die,
return,
next,
last and goto.
Due to common usage,
croak and confess from Carp are also included.

Code is reachable if any of the following conditions are true:

Flow-altering statement has a conditional attached to it

Statement is on the right side of an operator &&,
||,
//,
and,
or,
or err.