diff options
author | Tristan Gingold <tgingold@free.fr> | 2022-03-13 21:06:11 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2022-03-13 21:06:11 +0100 |
commit | bad82879f21b5daefc9928890711cf2c34a8fb82 (patch) | |
tree | 3a552001d63f4a9e7a400e0f570c1aa24916fc94 /src/vhdl/vhdl-sem_types.ads | |
parent | 8d9af3c5b52ba0ac814f2a5f4cda99ea306e813a (diff) | |
download | ghdl-bad82879f21b5daefc9928890711cf2c34a8fb82.tar.gz ghdl-bad82879f21b5daefc9928890711cf2c34a8fb82.tar.bz2 ghdl-bad82879f21b5daefc9928890711cf2c34a8fb82.zip |
vhdl: check access type restrictions also on completion. Fix #2006
Diffstat (limited to 'src/vhdl/vhdl-sem_types.ads')
-rw-r--r-- | src/vhdl/vhdl-sem_types.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/vhdl/vhdl-sem_types.ads b/src/vhdl/vhdl-sem_types.ads index 78068d6f6..67efccea2 100644 --- a/src/vhdl/vhdl-sem_types.ads +++ b/src/vhdl/vhdl-sem_types.ads @@ -29,6 +29,9 @@ package Vhdl.Sem_Types is function Sem_Type_Definition (Def: Iir; Decl: Iir) return Iir; + -- Check restrictions on access type DEF. + procedure Check_Access_Type_Restrictions (Def : Iir; D_Type : Iir); + -- If A_RANGE is a range (range expression or range attribute), convert it -- to a subtype definition. Otherwise return A_RANGE. -- The result is a subtype indication: either a type name or a subtype |