From caba1d1b21d9756ede50f40d53fbc816d3b84320 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Thu, 17 Jul 2014 20:34:57 +0200
Subject: vhdl 2008: visibility, more implicit subprograms, alias... Use
 Type_Definition in type_declarator.

---
 sem_stmts.adb | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'sem_stmts.adb')

diff --git a/sem_stmts.adb b/sem_stmts.adb
index 8067abb8b..30ea99cae 100644
--- a/sem_stmts.adb
+++ b/sem_stmts.adb
@@ -711,6 +711,12 @@ package body Sem_Stmts is
          Set_Expression (Stmt, Expr);
          Target_Type := Get_Type (Expr);
 
+         --  An aggregate cannot be analyzed without a type.
+         --  FIXME: partially analyze the aggregate ?
+         if Target_Type = Null_Iir then
+            return;
+         end if;
+
          --  FIXME: check elements are identified at most once.
       else
          Target_Type := Null_Iir;
-- 
cgit v1.2.3