t_abnormal_function_return.adb:8:7: Error: ABNORMAL_FUNCTION_RETURN: Sequence of statements not terminated by "return" or "raise"
t_abnormal_function_return.adb:11:9: Error: ABNORMAL_FUNCTION_RETURN: Sequence of statements not terminated by "return" or "raise"
t_abnormal_function_return.adb:18:19: Error: ABNORMAL_FUNCTION_RETURN: Sequence of statements not terminated by "return" or "raise"
t_abnormal_function_return.adb:22:10: Error: ABNORMAL_FUNCTION_RETURN: Sequence of statements not terminated by "return" or "raise"
t_abnormal_function_return.adb:39:19: Error: ABNORMAL_FUNCTION_RETURN: Sequence of statements not terminated by "return" or "raise"
t_abnormal_function_return.adb:36:16: Error: ABNORMAL_FUNCTION_RETURN: Missing "else" path containing "return" or "raise"
t_abnormal_function_return.adb:54:16: Error: ABNORMAL_FUNCTION_RETURN: Sequence of statements not terminated by "return" or "raise"
t_abnormal_function_return.adb:60:16: Error: ABNORMAL_FUNCTION_RETURN: Sequence of statements terminated by exitable extended "return"
t_abnormal_function_return.adb:91:10: Error: ABNORMAL_FUNCTION_RETURN: Sequence of statements not terminated by "return" or "raise"
t_abnormal_function_return.adb:95:10: Error: ABNORMAL_FUNCTION_RETURN: Sequence of statements not terminated by "return" or "raise"
t_abnormal_function_return.adb:99:10: Error: ABNORMAL_FUNCTION_RETURN: Sequence of statements not terminated by "return" or "raise"
