From b4a3f85b3f5331af4f73252a8a34d0efce467c56 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Wed, 8 Jul 2020 09:27:07 +0200 Subject: vhdl: improve support of subtype attribute. A subtype definition does not mean anymore that the subtype is constrained. It is now defined by the subtype indication of the name. --- src/vhdl/vhdl-sem_expr.ads | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'src/vhdl/vhdl-sem_expr.ads') diff --git a/src/vhdl/vhdl-sem_expr.ads b/src/vhdl/vhdl-sem_expr.ads index f24ec159a..98d89c6cd 100644 --- a/src/vhdl/vhdl-sem_expr.ads +++ b/src/vhdl/vhdl-sem_expr.ads @@ -259,8 +259,7 @@ package Vhdl.Sem_Expr is -- If EXPR is partially or fully analyzed, ATYPE must not be null_iir and -- it is checked with the types of EXPR. EXPR may become fully analyzed. function Sem_Expression_Wildcard - (Expr : Iir; Atype : Iir; Force_Constrained : Boolean := False) - return Iir; + (Expr : Iir; Atype : Iir; Constrained : Boolean := False) return Iir; -- To be used after Sem_Expression_Wildcard to update list ATYPE of -- possible types. -- cgit v1.2.3