Нет, в метке, которую вы используете для реализации подпрограммы, нет ничего особенного, она волшебным образом не защищает код, следующий за ней. Ваша ветка здесь будет архитектурно вести себя одинаково независимо от кодов условий.
С точки зрения процессора, нет никаких функций или подпрограмм, только последовательность инструкций с (произвольными) ветвями. Исключения различаются, они немного различаются (но вы все равно можете использовать тот же диапазон адресов команд для исключения и в обычном коде, даже если это будет немного странно)