Mark the exit of infinite loops as unreachable
Fix an ICE when a function argument is of the bottom type

Fixes #13352