Statement labels in PL/SQL can name loops and blocks for control flow purposes like EXIT label_name or GOTO label_name. They cannot be used with IF-THEN-ELSE constructs or exception handlers directly - those structures use END IF and END exception_name instead.