Оператор guard должен иметь что-то, чтобы отвлечь поток программы от охватывающей области (например, наиболее вероятным случаем является return для возврата из функции). Это необходимо, так как условие охраны охранника не будет действительным, поэтому поток программы должен быть отправлен в другое место!
Требуется предложение else инструкции охраны и должно либо вызвать функция, отмеченная атрибутом noreturn или программой передачи контроль за пределами инструкций охраны, охватывающих область действия, с использованием одной из следующие утверждения: