From 1047cf8a647b1eb42d99b0a3e730b55b3994752a Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Fri, 27 Mar 2020 08:13:49 +0100
Subject: synth-stmts: handle return from a function without a return.

---
 src/synth/synth-stmts.adb | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'src/synth')

diff --git a/src/synth/synth-stmts.adb b/src/synth/synth-stmts.adb
index b6147ddb3..67911c531 100644
--- a/src/synth/synth-stmts.adb
+++ b/src/synth/synth-stmts.adb
@@ -1814,8 +1814,9 @@ package body Synth.Stmts is
       else
          if Is_Func then
             if C.Nbr_Ret = 0 then
-               --  Function returned without a return statement.
-               raise Internal_Error;
+               Error_Msg_Synth
+                 (+Call, "function call completed without a return statement");
+               Res := null;
             else
                pragma Assert (C.Nbr_Ret = 1);
                pragma Assert (Is_Static (C.Ret_Value));
-- 
cgit v1.2.3