From 56ab294531f7c12ae9407df88ec12c448e695e5a Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Mon, 17 Nov 2014 05:56:50 +0100
Subject: ortho_mcode: add assertion.

---
 src/ortho/mcode/ortho_code-exprs.adb | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/src/ortho/mcode/ortho_code-exprs.adb b/src/ortho/mcode/ortho_code-exprs.adb
index b2dfa1a67..9cfffd118 100644
--- a/src/ortho/mcode/ortho_code-exprs.adb
+++ b/src/ortho/mcode/ortho_code-exprs.adb
@@ -327,9 +327,12 @@ package body Ortho_Code.Exprs is
 
    procedure Link_Stmt (Stmt : O_Enode) is
    begin
-      if Last_Stmt = O_Enode_Null then
-         raise Program_Error;
-      end if;
+      --  Expect a real statement.
+      pragma Assert (Stmt /= O_Enode_Null);
+
+      --  Must be withint a subprogram.
+      pragma Assert (Last_Stmt /= O_Enode_Null);
+
       Set_Stmt_Link (Last_Stmt, Stmt);
       Last_Stmt := Stmt;
    end Link_Stmt;
-- 
cgit v1.2.3