t_abnormal_function_return.adb:7:7: Error: ABNORMAL_FUNCTION_RETURN: Sequence of statements not terminated by "return" or "raise"
t_abnormal_function_return.adb:10:9: Error: ABNORMAL_FUNCTION_RETURN: Sequence of statements not terminated by "return" or "raise"
t_abnormal_function_return.adb:17:19: Error: ABNORMAL_FUNCTION_RETURN: Sequence of statements not terminated by "return" or "raise"
t_abnormal_function_return.adb:21:10: Error: ABNORMAL_FUNCTION_RETURN: Sequence of statements not terminated by "return" or "raise"
t_abnormal_function_return.adb:38:19: Error: ABNORMAL_FUNCTION_RETURN: Sequence of statements not terminated by "return" or "raise"
t_abnormal_function_return.adb:35:16: Error: ABNORMAL_FUNCTION_RETURN: Missing "else" path containing "return" or "raise"
t_abnormal_function_return.adb:53:16: Error: ABNORMAL_FUNCTION_RETURN: Sequence of statements not terminated by "return" or "raise"
t_abnormal_function_return.adb:59:16: Error: ABNORMAL_FUNCTION_RETURN: Sequence of statements terminated by exitable extended "return"
t_abnormal_function_return.adb:90:10: Error: ABNORMAL_FUNCTION_RETURN: Sequence of statements not terminated by "return" or "raise"
t_abnormal_function_return.adb:94:10: Error: ABNORMAL_FUNCTION_RETURN: Sequence of statements not terminated by "return" or "raise"
t_abnormal_function_return.adb:98:10: Error: ABNORMAL_FUNCTION_RETURN: Sequence of statements not terminated by "return" or "raise"
