From d7e1a3b886f8362c9857c3f9a0ea3f6a13a1ee53 Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Wed, 4 Oct 2017 20:45:20 +0200 Subject: sem_stmts: check retriction for character type of case expression. --- src/vhdl/sem_stmts.adb | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/vhdl/sem_stmts.adb b/src/vhdl/sem_stmts.adb index b8f85e5fc..75a223e5e 100644 --- a/src/vhdl/sem_stmts.adb +++ b/src/vhdl/sem_stmts.adb @@ -1075,8 +1075,9 @@ package body Sem_Stmts is return; end if; El_Type := Get_Base_Type (Get_Element_Subtype (Choice_Type)); - if Get_Kind (El_Type) /= Iir_Kind_Enumeration_Type_Definition then - -- FIXME: check character. + if Get_Kind (El_Type) /= Iir_Kind_Enumeration_Type_Definition + or else not Get_Is_Character_Type (El_Type) + then Error_Msg_Sem (+Choice, "element type of the expression must be a character type"); -- cgit v1.2.3