aboutsummaryrefslogtreecommitdiffstats
path: root/src/vhdl
diff options
context:
space:
mode:
Diffstat (limited to 'src/vhdl')
-rw-r--r--src/vhdl/vhdl-evaluation.adb3
-rw-r--r--src/vhdl/vhdl-nodes.ads4
-rw-r--r--src/vhdl/vhdl-nodes_meta.adb566
-rw-r--r--src/vhdl/vhdl-parse.adb8
-rw-r--r--src/vhdl/vhdl-parse_psl.adb8
-rw-r--r--src/vhdl/vhdl-sem.adb31
-rw-r--r--src/vhdl/vhdl-sem_assocs.adb6
-rw-r--r--src/vhdl/vhdl-sem_decls.adb10
-rw-r--r--src/vhdl/vhdl-sem_names.adb40
-rw-r--r--src/vhdl/vhdl-sem_psl.adb3
-rw-r--r--src/vhdl/vhdl-sem_specs.adb6
-rw-r--r--src/vhdl/vhdl-sem_types.adb6
12 files changed, 383 insertions, 308 deletions
diff --git a/src/vhdl/vhdl-evaluation.adb b/src/vhdl/vhdl-evaluation.adb
index b85342b8b..0cf803f97 100644
--- a/src/vhdl/vhdl-evaluation.adb
+++ b/src/vhdl/vhdl-evaluation.adb
@@ -2585,8 +2585,7 @@ package body Vhdl.Evaluation is
| Iir_Predefined_Bit_Array_Match_Inequality
| Iir_Predefined_Std_Ulogic_Array_Match_Equality
| Iir_Predefined_Std_Ulogic_Array_Match_Inequality =>
- -- TODO
- raise Internal_Error;
+ return Eval_Ieee_Operator (Orig, Imp, Left, Right);
when Iir_Predefined_Enum_To_String
| Iir_Predefined_Integer_To_String
diff --git a/src/vhdl/vhdl-nodes.ads b/src/vhdl/vhdl-nodes.ads
index 440001102..4a9fc797f 100644
--- a/src/vhdl/vhdl-nodes.ads
+++ b/src/vhdl/vhdl-nodes.ads
@@ -905,6 +905,10 @@ package Vhdl.Nodes is
-- Get/Set_Type_Marks_List (Field2)
--
-- Get/Set_Return_Type_Mark (Field8)
+ --
+ -- Get/Set_Named_Entity (Field4)
+ --
+ -- Get/Set_Is_Forward_Ref (Flag1)
-- Iir_Kind_Overload_List (Short)
--
diff --git a/src/vhdl/vhdl-nodes_meta.adb b/src/vhdl/vhdl-nodes_meta.adb
index 3c6bb2ef5..81b66f3a3 100644
--- a/src/vhdl/vhdl-nodes_meta.adb
+++ b/src/vhdl/vhdl-nodes_meta.adb
@@ -2847,9 +2847,11 @@ package body Vhdl.Nodes_Meta is
Field_Attribute_Specification,
Field_Base_Name,
-- Iir_Kind_Signature
+ Field_Is_Forward_Ref,
Field_Signature_Prefix,
Field_Type_Marks_List,
Field_Return_Type_Mark,
+ Field_Named_Entity,
-- Iir_Kind_Aggregate_Info
Field_Aggr_Min_Length,
Field_Aggr_Others_Flag,
@@ -5333,285 +5335,285 @@ package body Vhdl.Nodes_Meta is
Iir_Kind_Binding_Indication => 224,
Iir_Kind_Entity_Class => 226,
Iir_Kind_Attribute_Value => 234,
- Iir_Kind_Signature => 237,
- Iir_Kind_Aggregate_Info => 244,
- Iir_Kind_Procedure_Call => 248,
- Iir_Kind_Record_Element_Constraint => 256,
- Iir_Kind_Array_Element_Resolution => 258,
- Iir_Kind_Record_Resolution => 259,
- Iir_Kind_Record_Element_Resolution => 262,
- Iir_Kind_Break_Element => 266,
- Iir_Kind_Attribute_Specification => 275,
- Iir_Kind_Disconnection_Specification => 281,
- Iir_Kind_Step_Limit_Specification => 287,
- Iir_Kind_Configuration_Specification => 293,
- Iir_Kind_Access_Type_Definition => 300,
- Iir_Kind_Incomplete_Type_Definition => 307,
- Iir_Kind_Interface_Type_Definition => 313,
- Iir_Kind_File_Type_Definition => 319,
- Iir_Kind_Protected_Type_Declaration => 329,
- Iir_Kind_Record_Type_Definition => 339,
- Iir_Kind_Array_Type_Definition => 350,
- Iir_Kind_Array_Subtype_Definition => 367,
- Iir_Kind_Record_Subtype_Definition => 380,
- Iir_Kind_Access_Subtype_Definition => 388,
- Iir_Kind_Physical_Subtype_Definition => 398,
- Iir_Kind_Floating_Subtype_Definition => 409,
- Iir_Kind_Integer_Subtype_Definition => 419,
- Iir_Kind_Enumeration_Subtype_Definition => 429,
- Iir_Kind_Enumeration_Type_Definition => 440,
- Iir_Kind_Integer_Type_Definition => 448,
- Iir_Kind_Floating_Type_Definition => 456,
- Iir_Kind_Physical_Type_Definition => 467,
- Iir_Kind_Range_Expression => 475,
- Iir_Kind_Protected_Type_Body => 483,
- Iir_Kind_Wildcard_Type_Definition => 487,
- Iir_Kind_Foreign_Vector_Type_Definition => 488,
- Iir_Kind_Subtype_Definition => 495,
- Iir_Kind_Scalar_Nature_Definition => 503,
- Iir_Kind_Record_Nature_Definition => 516,
- Iir_Kind_Array_Nature_Definition => 530,
- Iir_Kind_Array_Subnature_Definition => 545,
- Iir_Kind_Overload_List => 546,
- Iir_Kind_Foreign_Module => 551,
- Iir_Kind_Entity_Declaration => 564,
- Iir_Kind_Configuration_Declaration => 574,
- Iir_Kind_Context_Declaration => 580,
- Iir_Kind_Package_Declaration => 595,
- Iir_Kind_Package_Instantiation_Declaration => 609,
- Iir_Kind_Vmode_Declaration => 621,
- Iir_Kind_Vprop_Declaration => 633,
- Iir_Kind_Vunit_Declaration => 646,
- Iir_Kind_Package_Body => 654,
- Iir_Kind_Architecture_Body => 667,
- Iir_Kind_Type_Declaration => 674,
- Iir_Kind_Anonymous_Type_Declaration => 680,
- Iir_Kind_Subtype_Declaration => 688,
- Iir_Kind_Nature_Declaration => 694,
- Iir_Kind_Subnature_Declaration => 701,
- Iir_Kind_Package_Header => 703,
- Iir_Kind_Unit_Declaration => 712,
- Iir_Kind_Library_Declaration => 720,
- Iir_Kind_Component_Declaration => 730,
- Iir_Kind_Attribute_Declaration => 737,
- Iir_Kind_Group_Template_Declaration => 743,
- Iir_Kind_Group_Declaration => 750,
- Iir_Kind_Element_Declaration => 758,
- Iir_Kind_Nature_Element_Declaration => 765,
- Iir_Kind_Non_Object_Alias_Declaration => 773,
- Iir_Kind_Psl_Declaration => 781,
- Iir_Kind_Psl_Endpoint_Declaration => 795,
- Iir_Kind_Enumeration_Literal => 807,
- Iir_Kind_Function_Declaration => 833,
- Iir_Kind_Procedure_Declaration => 856,
- Iir_Kind_Function_Body => 866,
- Iir_Kind_Procedure_Body => 877,
- Iir_Kind_Function_Instantiation_Declaration => 888,
- Iir_Kind_Procedure_Instantiation_Declaration => 898,
- Iir_Kind_Terminal_Declaration => 907,
- Iir_Kind_Object_Alias_Declaration => 919,
- Iir_Kind_Free_Quantity_Declaration => 931,
- Iir_Kind_Spectrum_Quantity_Declaration => 944,
- Iir_Kind_Noise_Quantity_Declaration => 956,
- Iir_Kind_Across_Quantity_Declaration => 972,
- Iir_Kind_Through_Quantity_Declaration => 988,
- Iir_Kind_File_Declaration => 1003,
- Iir_Kind_Guard_Signal_Declaration => 1017,
- Iir_Kind_Signal_Declaration => 1034,
- Iir_Kind_Variable_Declaration => 1047,
- Iir_Kind_Constant_Declaration => 1061,
- Iir_Kind_Iterator_Declaration => 1073,
- Iir_Kind_Interface_Constant_Declaration => 1090,
- Iir_Kind_Interface_Variable_Declaration => 1106,
- Iir_Kind_Interface_Signal_Declaration => 1127,
- Iir_Kind_Interface_File_Declaration => 1143,
- Iir_Kind_Interface_Quantity_Declaration => 1159,
- Iir_Kind_Interface_Terminal_Declaration => 1171,
- Iir_Kind_Interface_Type_Declaration => 1182,
- Iir_Kind_Interface_Package_Declaration => 1195,
- Iir_Kind_Interface_Function_Declaration => 1213,
- Iir_Kind_Interface_Procedure_Declaration => 1227,
- Iir_Kind_Signal_Attribute_Declaration => 1230,
- Iir_Kind_Suspend_State_Declaration => 1233,
- Iir_Kind_Identity_Operator => 1237,
- Iir_Kind_Negation_Operator => 1241,
- Iir_Kind_Absolute_Operator => 1245,
- Iir_Kind_Not_Operator => 1249,
- Iir_Kind_Implicit_Condition_Operator => 1253,
- Iir_Kind_Condition_Operator => 1257,
- Iir_Kind_Reduction_And_Operator => 1261,
- Iir_Kind_Reduction_Or_Operator => 1265,
- Iir_Kind_Reduction_Nand_Operator => 1269,
- Iir_Kind_Reduction_Nor_Operator => 1273,
- Iir_Kind_Reduction_Xor_Operator => 1277,
- Iir_Kind_Reduction_Xnor_Operator => 1281,
- Iir_Kind_And_Operator => 1286,
- Iir_Kind_Or_Operator => 1291,
- Iir_Kind_Nand_Operator => 1296,
- Iir_Kind_Nor_Operator => 1301,
- Iir_Kind_Xor_Operator => 1306,
- Iir_Kind_Xnor_Operator => 1311,
- Iir_Kind_Equality_Operator => 1316,
- Iir_Kind_Inequality_Operator => 1321,
- Iir_Kind_Less_Than_Operator => 1326,
- Iir_Kind_Less_Than_Or_Equal_Operator => 1331,
- Iir_Kind_Greater_Than_Operator => 1336,
- Iir_Kind_Greater_Than_Or_Equal_Operator => 1341,
- Iir_Kind_Match_Equality_Operator => 1346,
- Iir_Kind_Match_Inequality_Operator => 1351,
- Iir_Kind_Match_Less_Than_Operator => 1356,
- Iir_Kind_Match_Less_Than_Or_Equal_Operator => 1361,
- Iir_Kind_Match_Greater_Than_Operator => 1366,
- Iir_Kind_Match_Greater_Than_Or_Equal_Operator => 1371,
- Iir_Kind_Sll_Operator => 1376,
- Iir_Kind_Sla_Operator => 1381,
- Iir_Kind_Srl_Operator => 1386,
- Iir_Kind_Sra_Operator => 1391,
- Iir_Kind_Rol_Operator => 1396,
- Iir_Kind_Ror_Operator => 1401,
- Iir_Kind_Addition_Operator => 1406,
- Iir_Kind_Substraction_Operator => 1411,
- Iir_Kind_Concatenation_Operator => 1416,
- Iir_Kind_Multiplication_Operator => 1421,
- Iir_Kind_Division_Operator => 1426,
- Iir_Kind_Modulus_Operator => 1431,
- Iir_Kind_Remainder_Operator => 1436,
- Iir_Kind_Exponentiation_Operator => 1441,
- Iir_Kind_Function_Call => 1449,
- Iir_Kind_Aggregate => 1456,
- Iir_Kind_Parenthesis_Expression => 1459,
- Iir_Kind_Qualified_Expression => 1463,
- Iir_Kind_Type_Conversion => 1468,
- Iir_Kind_Allocator_By_Expression => 1473,
- Iir_Kind_Allocator_By_Subtype => 1479,
- Iir_Kind_Selected_Element => 1487,
- Iir_Kind_Dereference => 1492,
- Iir_Kind_Implicit_Dereference => 1497,
- Iir_Kind_Slice_Name => 1504,
- Iir_Kind_Indexed_Name => 1510,
- Iir_Kind_Psl_Prev => 1516,
- Iir_Kind_Psl_Stable => 1521,
- Iir_Kind_Psl_Rose => 1526,
- Iir_Kind_Psl_Fell => 1531,
- Iir_Kind_Psl_Onehot => 1534,
- Iir_Kind_Psl_Onehot0 => 1537,
- Iir_Kind_Psl_Expression => 1539,
- Iir_Kind_Sensitized_Process_Statement => 1560,
- Iir_Kind_Process_Statement => 1580,
- Iir_Kind_Concurrent_Simple_Signal_Assignment => 1593,
- Iir_Kind_Concurrent_Conditional_Signal_Assignment => 1606,
- Iir_Kind_Concurrent_Selected_Signal_Assignment => 1620,
- Iir_Kind_Concurrent_Assertion_Statement => 1628,
- Iir_Kind_Concurrent_Procedure_Call_Statement => 1635,
- Iir_Kind_Concurrent_Break_Statement => 1643,
- Iir_Kind_Psl_Assert_Directive => 1657,
- Iir_Kind_Psl_Assume_Directive => 1669,
- Iir_Kind_Psl_Cover_Directive => 1681,
- Iir_Kind_Psl_Restrict_Directive => 1692,
- Iir_Kind_Block_Statement => 1706,
- Iir_Kind_If_Generate_Statement => 1717,
- Iir_Kind_Case_Generate_Statement => 1726,
- Iir_Kind_For_Generate_Statement => 1735,
- Iir_Kind_Component_Instantiation_Statement => 1746,
- Iir_Kind_Psl_Default_Clock => 1749,
- Iir_Kind_Generate_Statement_Body => 1760,
- Iir_Kind_If_Generate_Else_Clause => 1766,
- Iir_Kind_Simple_Simultaneous_Statement => 1773,
- Iir_Kind_Simultaneous_Null_Statement => 1777,
- Iir_Kind_Simultaneous_Procedural_Statement => 1788,
- Iir_Kind_Simultaneous_Case_Statement => 1797,
- Iir_Kind_Simultaneous_If_Statement => 1806,
- Iir_Kind_Simultaneous_Elsif => 1812,
- Iir_Kind_Simple_Signal_Assignment_Statement => 1823,
- Iir_Kind_Conditional_Signal_Assignment_Statement => 1834,
- Iir_Kind_Selected_Waveform_Assignment_Statement => 1846,
- Iir_Kind_Signal_Force_Assignment_Statement => 1856,
- Iir_Kind_Signal_Release_Assignment_Statement => 1865,
- Iir_Kind_Null_Statement => 1869,
- Iir_Kind_Assertion_Statement => 1876,
- Iir_Kind_Report_Statement => 1882,
- Iir_Kind_Wait_Statement => 1890,
- Iir_Kind_Variable_Assignment_Statement => 1897,
- Iir_Kind_Conditional_Variable_Assignment_Statement => 1904,
- Iir_Kind_Return_Statement => 1910,
- Iir_Kind_For_Loop_Statement => 1921,
- Iir_Kind_While_Loop_Statement => 1932,
- Iir_Kind_Next_Statement => 1939,
- Iir_Kind_Exit_Statement => 1946,
- Iir_Kind_Case_Statement => 1955,
- Iir_Kind_Procedure_Call_Statement => 1961,
- Iir_Kind_Break_Statement => 1968,
- Iir_Kind_If_Statement => 1978,
- Iir_Kind_Suspend_State_Statement => 1982,
- Iir_Kind_Elsif => 1988,
- Iir_Kind_Character_Literal => 1995,
- Iir_Kind_Simple_Name => 2002,
- Iir_Kind_Selected_Name => 2010,
- Iir_Kind_Operator_Symbol => 2015,
- Iir_Kind_Reference_Name => 2020,
- Iir_Kind_External_Constant_Name => 2029,
- Iir_Kind_External_Signal_Name => 2038,
- Iir_Kind_External_Variable_Name => 2048,
- Iir_Kind_Selected_By_All_Name => 2054,
- Iir_Kind_Parenthesis_Name => 2059,
- Iir_Kind_Package_Pathname => 2063,
- Iir_Kind_Absolute_Pathname => 2064,
- Iir_Kind_Relative_Pathname => 2065,
- Iir_Kind_Pathname_Element => 2070,
- Iir_Kind_Base_Attribute => 2072,
- Iir_Kind_Subtype_Attribute => 2077,
- Iir_Kind_Element_Attribute => 2082,
- Iir_Kind_Across_Attribute => 2087,
- Iir_Kind_Through_Attribute => 2092,
- Iir_Kind_Nature_Reference_Attribute => 2096,
- Iir_Kind_Left_Type_Attribute => 2101,
- Iir_Kind_Right_Type_Attribute => 2106,
- Iir_Kind_High_Type_Attribute => 2111,
- Iir_Kind_Low_Type_Attribute => 2116,
- Iir_Kind_Ascending_Type_Attribute => 2121,
- Iir_Kind_Image_Attribute => 2127,
- Iir_Kind_Value_Attribute => 2133,
- Iir_Kind_Pos_Attribute => 2139,
- Iir_Kind_Val_Attribute => 2145,
- Iir_Kind_Succ_Attribute => 2151,
- Iir_Kind_Pred_Attribute => 2157,
- Iir_Kind_Leftof_Attribute => 2163,
- Iir_Kind_Rightof_Attribute => 2169,
- Iir_Kind_Signal_Slew_Attribute => 2177,
- Iir_Kind_Quantity_Slew_Attribute => 2185,
- Iir_Kind_Ramp_Attribute => 2193,
- Iir_Kind_Zoh_Attribute => 2201,
- Iir_Kind_Ltf_Attribute => 2209,
- Iir_Kind_Ztf_Attribute => 2219,
- Iir_Kind_Dot_Attribute => 2226,
- Iir_Kind_Integ_Attribute => 2233,
- Iir_Kind_Above_Attribute => 2241,
- Iir_Kind_Quantity_Delayed_Attribute => 2249,
- Iir_Kind_Delayed_Attribute => 2258,
- Iir_Kind_Stable_Attribute => 2267,
- Iir_Kind_Quiet_Attribute => 2276,
- Iir_Kind_Transaction_Attribute => 2285,
- Iir_Kind_Event_Attribute => 2289,
- Iir_Kind_Active_Attribute => 2293,
- Iir_Kind_Last_Event_Attribute => 2297,
- Iir_Kind_Last_Active_Attribute => 2301,
- Iir_Kind_Last_Value_Attribute => 2305,
- Iir_Kind_Driving_Attribute => 2309,
- Iir_Kind_Driving_Value_Attribute => 2313,
- Iir_Kind_Behavior_Attribute => 2313,
- Iir_Kind_Structure_Attribute => 2313,
- Iir_Kind_Simple_Name_Attribute => 2320,
- Iir_Kind_Instance_Name_Attribute => 2325,
- Iir_Kind_Path_Name_Attribute => 2330,
- Iir_Kind_Left_Array_Attribute => 2337,
- Iir_Kind_Right_Array_Attribute => 2344,
- Iir_Kind_High_Array_Attribute => 2351,
- Iir_Kind_Low_Array_Attribute => 2358,
- Iir_Kind_Length_Array_Attribute => 2365,
- Iir_Kind_Ascending_Array_Attribute => 2372,
- Iir_Kind_Range_Array_Attribute => 2379,
- Iir_Kind_Reverse_Range_Array_Attribute => 2386,
- Iir_Kind_Attribute_Name => 2395
+ Iir_Kind_Signature => 239,
+ Iir_Kind_Aggregate_Info => 246,
+ Iir_Kind_Procedure_Call => 250,
+ Iir_Kind_Record_Element_Constraint => 258,
+ Iir_Kind_Array_Element_Resolution => 260,
+ Iir_Kind_Record_Resolution => 261,
+ Iir_Kind_Record_Element_Resolution => 264,
+ Iir_Kind_Break_Element => 268,
+ Iir_Kind_Attribute_Specification => 277,
+ Iir_Kind_Disconnection_Specification => 283,
+ Iir_Kind_Step_Limit_Specification => 289,
+ Iir_Kind_Configuration_Specification => 295,
+ Iir_Kind_Access_Type_Definition => 302,
+ Iir_Kind_Incomplete_Type_Definition => 309,
+ Iir_Kind_Interface_Type_Definition => 315,
+ Iir_Kind_File_Type_Definition => 321,
+ Iir_Kind_Protected_Type_Declaration => 331,
+ Iir_Kind_Record_Type_Definition => 341,
+ Iir_Kind_Array_Type_Definition => 352,
+ Iir_Kind_Array_Subtype_Definition => 369,
+ Iir_Kind_Record_Subtype_Definition => 382,
+ Iir_Kind_Access_Subtype_Definition => 390,
+ Iir_Kind_Physical_Subtype_Definition => 400,
+ Iir_Kind_Floating_Subtype_Definition => 411,
+ Iir_Kind_Integer_Subtype_Definition => 421,
+ Iir_Kind_Enumeration_Subtype_Definition => 431,
+ Iir_Kind_Enumeration_Type_Definition => 442,
+ Iir_Kind_Integer_Type_Definition => 450,
+ Iir_Kind_Floating_Type_Definition => 458,
+ Iir_Kind_Physical_Type_Definition => 469,
+ Iir_Kind_Range_Expression => 477,
+ Iir_Kind_Protected_Type_Body => 485,
+ Iir_Kind_Wildcard_Type_Definition => 489,
+ Iir_Kind_Foreign_Vector_Type_Definition => 490,
+ Iir_Kind_Subtype_Definition => 497,
+ Iir_Kind_Scalar_Nature_Definition => 505,
+ Iir_Kind_Record_Nature_Definition => 518,
+ Iir_Kind_Array_Nature_Definition => 532,
+ Iir_Kind_Array_Subnature_Definition => 547,
+ Iir_Kind_Overload_List => 548,
+ Iir_Kind_Foreign_Module => 553,
+ Iir_Kind_Entity_Declaration => 566,
+ Iir_Kind_Configuration_Declaration => 576,
+ Iir_Kind_Context_Declaration => 582,
+ Iir_Kind_Package_Declaration => 597,
+ Iir_Kind_Package_Instantiation_Declaration => 611,
+ Iir_Kind_Vmode_Declaration => 623,
+ Iir_Kind_Vprop_Declaration => 635,
+ Iir_Kind_Vunit_Declaration => 648,
+ Iir_Kind_Package_Body => 656,
+ Iir_Kind_Architecture_Body => 669,
+ Iir_Kind_Type_Declaration => 676,
+ Iir_Kind_Anonymous_Type_Declaration => 682,
+ Iir_Kind_Subtype_Declaration => 690,
+ Iir_Kind_Nature_Declaration => 696,
+ Iir_Kind_Subnature_Declaration => 703,
+ Iir_Kind_Package_Header => 705,
+ Iir_Kind_Unit_Declaration => 714,
+ Iir_Kind_Library_Declaration => 722,
+ Iir_Kind_Component_Declaration => 732,
+ Iir_Kind_Attribute_Declaration => 739,
+ Iir_Kind_Group_Template_Declaration => 745,
+ Iir_Kind_Group_Declaration => 752,
+ Iir_Kind_Element_Declaration => 760,
+ Iir_Kind_Nature_Element_Declaration => 767,
+ Iir_Kind_Non_Object_Alias_Declaration => 775,
+ Iir_Kind_Psl_Declaration => 783,
+ Iir_Kind_Psl_Endpoint_Declaration => 797,
+ Iir_Kind_Enumeration_Literal => 809,
+ Iir_Kind_Function_Declaration => 835,
+ Iir_Kind_Procedure_Declaration => 858,
+ Iir_Kind_Function_Body => 868,
+ Iir_Kind_Procedure_Body => 879,
+ Iir_Kind_Function_Instantiation_Declaration => 890,
+ Iir_Kind_Procedure_Instantiation_Declaration => 900,
+ Iir_Kind_Terminal_Declaration => 909,
+ Iir_Kind_Object_Alias_Declaration => 921,
+ Iir_Kind_Free_Quantity_Declaration => 933,
+ Iir_Kind_Spectrum_Quantity_Declaration => 946,
+ Iir_Kind_Noise_Quantity_Declaration => 958,
+ Iir_Kind_Across_Quantity_Declaration => 974,
+ Iir_Kind_Through_Quantity_Declaration => 990,
+ Iir_Kind_File_Declaration => 1005,
+ Iir_Kind_Guard_Signal_Declaration => 1019,
+ Iir_Kind_Signal_Declaration => 1036,
+ Iir_Kind_Variable_Declaration => 1049,
+ Iir_Kind_Constant_Declaration => 1063,
+ Iir_Kind_Iterator_Declaration => 1075,
+ Iir_Kind_Interface_Constant_Declaration => 1092,
+ Iir_Kind_Interface_Variable_Declaration => 1108,
+ Iir_Kind_Interface_Signal_Declaration => 1129,
+ Iir_Kind_Interface_File_Declaration => 1145,
+ Iir_Kind_Interface_Quantity_Declaration => 1161,
+ Iir_Kind_Interface_Terminal_Declaration => 1173,
+ Iir_Kind_Interface_Type_Declaration => 1184,
+ Iir_Kind_Interface_Package_Declaration => 1197,
+ Iir_Kind_Interface_Function_Declaration => 1215,
+ Iir_Kind_Interface_Procedure_Declaration => 1229,
+ Iir_Kind_Signal_Attribute_Declaration => 1232,
+ Iir_Kind_Suspend_State_Declaration => 1235,
+ Iir_Kind_Identity_Operator => 1239,
+ Iir_Kind_Negation_Operator => 1243,
+ Iir_Kind_Absolute_Operator => 1247,
+ Iir_Kind_Not_Operator => 1251,
+ Iir_Kind_Implicit_Condition_Operator => 1255,
+ Iir_Kind_Condition_Operator => 1259,
+ Iir_Kind_Reduction_And_Operator => 1263,
+ Iir_Kind_Reduction_Or_Operator => 1267,
+ Iir_Kind_Reduction_Nand_Operator => 1271,
+ Iir_Kind_Reduction_Nor_Operator => 1275,
+ Iir_Kind_Reduction_Xor_Operator => 1279,
+ Iir_Kind_Reduction_Xnor_Operator => 1283,
+ Iir_Kind_And_Operator => 1288,
+ Iir_Kind_Or_Operator => 1293,
+ Iir_Kind_Nand_Operator => 1298,
+ Iir_Kind_Nor_Operator => 1303,
+ Iir_Kind_Xor_Operator => 1308,
+ Iir_Kind_Xnor_Operator => 1313,
+ Iir_Kind_Equality_Operator => 1318,
+ Iir_Kind_Inequality_Operator => 1323,
+ Iir_Kind_Less_Than_Operator => 1328,
+ Iir_Kind_Less_Than_Or_Equal_Operator => 1333,
+ Iir_Kind_Greater_Than_Operator => 1338,
+ Iir_Kind_Greater_Than_Or_Equal_Operator => 1343,
+ Iir_Kind_Match_Equality_Operator => 1348,
+ Iir_Kind_Match_Inequality_Operator => 1353,
+ Iir_Kind_Match_Less_Than_Operator => 1358,
+ Iir_Kind_Match_Less_Than_Or_Equal_Operator => 1363,
+ Iir_Kind_Match_Greater_Than_Operator => 1368,
+ Iir_Kind_Match_Greater_Than_Or_Equal_Operator => 1373,
+ Iir_Kind_Sll_Operator => 1378,
+ Iir_Kind_Sla_Operator => 1383,
+ Iir_Kind_Srl_Operator => 1388,
+ Iir_Kind_Sra_Operator => 1393,
+ Iir_Kind_Rol_Operator => 1398,
+ Iir_Kind_Ror_Operator => 1403,
+ Iir_Kind_Addition_Operator => 1408,
+ Iir_Kind_Substraction_Operator => 1413,
+ Iir_Kind_Concatenation_Operator => 1418,
+ Iir_Kind_Multiplication_Operator => 1423,
+ Iir_Kind_Division_Operator => 1428,
+ Iir_Kind_Modulus_Operator => 1433,
+ Iir_Kind_Remainder_Operator => 1438,
+ Iir_Kind_Exponentiation_Operator => 1443,
+ Iir_Kind_Function_Call => 1451,
+ Iir_Kind_Aggregate => 1458,
+ Iir_Kind_Parenthesis_Expression => 1461,
+ Iir_Kind_Qualified_Expression => 1465,
+ Iir_Kind_Type_Conversion => 1470,
+ Iir_Kind_Allocator_By_Expression => 1475,
+ Iir_Kind_Allocator_By_Subtype => 1481,
+ Iir_Kind_Selected_Element => 1489,
+ Iir_Kind_Dereference => 1494,
+ Iir_Kind_Implicit_Dereference => 1499,
+ Iir_Kind_Slice_Name => 1506,
+ Iir_Kind_Indexed_Name => 1512,
+ Iir_Kind_Psl_Prev => 1518,
+ Iir_Kind_Psl_Stable => 1523,
+ Iir_Kind_Psl_Rose => 1528,
+ Iir_Kind_Psl_Fell => 1533,
+ Iir_Kind_Psl_Onehot => 1536,
+ Iir_Kind_Psl_Onehot0 => 1539,
+ Iir_Kind_Psl_Expression => 1541,
+ Iir_Kind_Sensitized_Process_Statement => 1562,
+ Iir_Kind_Process_Statement => 1582,
+ Iir_Kind_Concurrent_Simple_Signal_Assignment => 1595,
+ Iir_Kind_Concurrent_Conditional_Signal_Assignment => 1608,
+ Iir_Kind_Concurrent_Selected_Signal_Assignment => 1622,
+ Iir_Kind_Concurrent_Assertion_Statement => 1630,
+ Iir_Kind_Concurrent_Procedure_Call_Statement => 1637,
+ Iir_Kind_Concurrent_Break_Statement => 1645,
+ Iir_Kind_Psl_Assert_Directive => 1659,
+ Iir_Kind_Psl_Assume_Directive => 1671,
+ Iir_Kind_Psl_Cover_Directive => 1683,
+ Iir_Kind_Psl_Restrict_Directive => 1694,
+ Iir_Kind_Block_Statement => 1708,
+ Iir_Kind_If_Generate_Statement => 1719,
+ Iir_Kind_Case_Generate_Statement => 1728,
+ Iir_Kind_For_Generate_Statement => 1737,
+ Iir_Kind_Component_Instantiation_Statement => 1748,
+ Iir_Kind_Psl_Default_Clock => 1751,
+ Iir_Kind_Generate_Statement_Body => 1762,
+ Iir_Kind_If_Generate_Else_Clause => 1768,
+ Iir_Kind_Simple_Simultaneous_Statement => 1775,
+ Iir_Kind_Simultaneous_Null_Statement => 1779,
+ Iir_Kind_Simultaneous_Procedural_Statement => 1790,
+ Iir_Kind_Simultaneous_Case_Statement => 1799,
+ Iir_Kind_Simultaneous_If_Statement => 1808,
+ Iir_Kind_Simultaneous_Elsif => 1814,
+ Iir_Kind_Simple_Signal_Assignment_Statement => 1825,
+ Iir_Kind_Conditional_Signal_Assignment_Statement => 1836,
+ Iir_Kind_Selected_Waveform_Assignment_Statement => 1848,
+ Iir_Kind_Signal_Force_Assignment_Statement => 1858,
+ Iir_Kind_Signal_Release_Assignment_Statement => 1867,
+ Iir_Kind_Null_Statement => 1871,
+ Iir_Kind_Assertion_Statement => 1878,
+ Iir_Kind_Report_Statement => 1884,
+ Iir_Kind_Wait_Statement => 1892,
+ Iir_Kind_Variable_Assignment_Statement => 1899,
+ Iir_Kind_Conditional_Variable_Assignment_Statement => 1906,
+ Iir_Kind_Return_Statement => 1912,
+ Iir_Kind_For_Loop_Statement => 1923,
+ Iir_Kind_While_Loop_Statement => 1934,
+ Iir_Kind_Next_Statement => 1941,
+ Iir_Kind_Exit_Statement => 1948,
+ Iir_Kind_Case_Statement => 1957,
+ Iir_Kind_Procedure_Call_Statement => 1963,
+ Iir_Kind_Break_Statement => 1970,
+ Iir_Kind_If_Statement => 1980,
+ Iir_Kind_Suspend_State_Statement => 1984,
+ Iir_Kind_Elsif => 1990,
+ Iir_Kind_Character_Literal => 1997,
+ Iir_Kind_Simple_Name => 2004,
+ Iir_Kind_Selected_Name => 2012,
+ Iir_Kind_Operator_Symbol => 2017,
+ Iir_Kind_Reference_Name => 2022,
+ Iir_Kind_External_Constant_Name => 2031,
+ Iir_Kind_External_Signal_Name => 2040,
+ Iir_Kind_External_Variable_Name => 2050,
+ Iir_Kind_Selected_By_All_Name => 2056,
+ Iir_Kind_Parenthesis_Name => 2061,
+ Iir_Kind_Package_Pathname => 2065,
+ Iir_Kind_Absolute_Pathname => 2066,
+ Iir_Kind_Relative_Pathname => 2067,
+ Iir_Kind_Pathname_Element => 2072,
+ Iir_Kind_Base_Attribute => 2074,
+ Iir_Kind_Subtype_Attribute => 2079,
+ Iir_Kind_Element_Attribute => 2084,
+ Iir_Kind_Across_Attribute => 2089,
+ Iir_Kind_Through_Attribute => 2094,
+ Iir_Kind_Nature_Reference_Attribute => 2098,
+ Iir_Kind_Left_Type_Attribute => 2103,
+ Iir_Kind_Right_Type_Attribute => 2108,
+ Iir_Kind_High_Type_Attribute => 2113,
+ Iir_Kind_Low_Type_Attribute => 2118,
+ Iir_Kind_Ascending_Type_Attribute => 2123,
+ Iir_Kind_Image_Attribute => 2129,
+ Iir_Kind_Value_Attribute => 2135,
+ Iir_Kind_Pos_Attribute => 2141,
+ Iir_Kind_Val_Attribute => 2147,
+ Iir_Kind_Succ_Attribute => 2153,
+ Iir_Kind_Pred_Attribute => 2159,
+ Iir_Kind_Leftof_Attribute => 2165,
+ Iir_Kind_Rightof_Attribute => 2171,
+ Iir_Kind_Signal_Slew_Attribute => 2179,
+ Iir_Kind_Quantity_Slew_Attribute => 2187,
+ Iir_Kind_Ramp_Attribute => 2195,
+ Iir_Kind_Zoh_Attribute => 2203,
+ Iir_Kind_Ltf_Attribute => 2211,
+ Iir_Kind_Ztf_Attribute => 2221,
+ Iir_Kind_Dot_Attribute => 2228,
+ Iir_Kind_Integ_Attribute => 2235,
+ Iir_Kind_Above_Attribute => 2243,
+ Iir_Kind_Quantity_Delayed_Attribute => 2251,
+ Iir_Kind_Delayed_Attribute => 2260,
+ Iir_Kind_Stable_Attribute => 2269,
+ Iir_Kind_Quiet_Attribute => 2278,
+ Iir_Kind_Transaction_Attribute => 2287,
+ Iir_Kind_Event_Attribute => 2291,
+ Iir_Kind_Active_Attribute => 2295,
+ Iir_Kind_Last_Event_Attribute => 2299,
+ Iir_Kind_Last_Active_Attribute => 2303,
+ Iir_Kind_Last_Value_Attribute => 2307,
+ Iir_Kind_Driving_Attribute => 2311,
+ Iir_Kind_Driving_Value_Attribute => 2315,
+ Iir_Kind_Behavior_Attribute => 2315,
+ Iir_Kind_Structure_Attribute => 2315,
+ Iir_Kind_Simple_Name_Attribute => 2322,
+ Iir_Kind_Instance_Name_Attribute => 2327,
+ Iir_Kind_Path_Name_Attribute => 2332,
+ Iir_Kind_Left_Array_Attribute => 2339,
+ Iir_Kind_Right_Array_Attribute => 2346,
+ Iir_Kind_High_Array_Attribute => 2353,
+ Iir_Kind_Low_Array_Attribute => 2360,
+ Iir_Kind_Length_Array_Attribute => 2367,
+ Iir_Kind_Ascending_Array_Attribute => 2374,
+ Iir_Kind_Range_Array_Attribute => 2381,
+ Iir_Kind_Reverse_Range_Array_Attribute => 2388,
+ Iir_Kind_Attribute_Name => 2397
);
function Get_Fields_First (K : Iir_Kind) return Fields_Index is
@@ -11173,7 +11175,8 @@ package body Vhdl.Nodes_Meta is
function Has_Named_Entity (K : Iir_Kind) return Boolean is
begin
case K is
- when Iir_Kind_Selected_Element
+ when Iir_Kind_Signature
+ | Iir_Kind_Selected_Element
| Iir_Kind_Character_Literal
| Iir_Kind_Simple_Name
| Iir_Kind_Selected_Name
@@ -12622,7 +12625,8 @@ package body Vhdl.Nodes_Meta is
function Has_Is_Forward_Ref (K : Iir_Kind) return Boolean is
begin
case K is
- when Iir_Kind_Selected_Element
+ when Iir_Kind_Signature
+ | Iir_Kind_Selected_Element
| Iir_Kind_Character_Literal
| Iir_Kind_Simple_Name
| Iir_Kind_Selected_Name
diff --git a/src/vhdl/vhdl-parse.adb b/src/vhdl/vhdl-parse.adb
index 7529fe2e4..60dfd103c 100644
--- a/src/vhdl/vhdl-parse.adb
+++ b/src/vhdl/vhdl-parse.adb
@@ -2149,8 +2149,9 @@ package body Vhdl.Parse is
if Vhdl_Std < Vhdl_19 then
Error_Msg_Parse
("return identifier not allowed before vhdl 2019");
+ elsif Get_Kind (Tm) /= Iir_Kind_Simple_Name then
+ Error_Msg_Parse ("return identifier must be an identifier");
end if;
- pragma Assert (Get_Kind (Tm) = Iir_Kind_Simple_Name);
Ret := Create_Iir (Iir_Kind_Subtype_Declaration);
Location_Copy (Ret, Tm);
Set_Identifier (Ret, Get_Identifier (Tm));
@@ -10801,10 +10802,13 @@ package body Vhdl.Parse is
-- Parse configuration item list
declare
First, Last : Iir;
+ Item : Iir;
begin
Chain_Init (First, Last);
while Current_Token = Tok_For loop
- Chain_Append (First, Last, Parse_Configuration_Item);
+ Item := Parse_Configuration_Item;
+ exit when Item = Null_Iir;
+ Chain_Append (First, Last, Item);
end loop;
Set_Configuration_Item_Chain (Res, First);
end;
diff --git a/src/vhdl/vhdl-parse_psl.adb b/src/vhdl/vhdl-parse_psl.adb
index 3d6d7101e..d6168ca23 100644
--- a/src/vhdl/vhdl-parse_psl.adb
+++ b/src/vhdl/vhdl-parse_psl.adb
@@ -76,9 +76,15 @@ package body Vhdl.Parse_Psl is
is
Low_B : constant Node := Get_Low_Bound (N);
High_B : constant Node := Get_High_Bound (N);
- Low : constant Uns32 := Get_Value (Low_B);
+ Low : Uns32;
High : Uns32;
begin
+ if Low_B = Null_Node then
+ -- Avoid crash on error.
+ return;
+ end if;
+
+ Low := Get_Value (Low_B);
if Get_Kind (High_B) = N_Inf then
return;
end if;
diff --git a/src/vhdl/vhdl-sem.adb b/src/vhdl/vhdl-sem.adb
index 0de4c2c7d..20b5f13ad 100644
--- a/src/vhdl/vhdl-sem.adb
+++ b/src/vhdl/vhdl-sem.adb
@@ -128,6 +128,9 @@ package body Vhdl.Sem is
Entity := Get_Library_Unit (Entity);
Set_Named_Entity (Name, Entity);
Xrefs.Xref_Ref (Name, Entity);
+ elsif Get_Kind (Name) not in Iir_Kinds_Denoting_Name then
+ Error_Msg_Sem (+Name, "entity name expected");
+ return Null_Iir;
else
-- Certainly an expanded name. Use the standard name analysis.
Name := Sem_Denoting_Name (Name);
@@ -3058,17 +3061,23 @@ package body Vhdl.Sem is
Name : Iir;
Pkg : Iir;
begin
- Name := Sem_Denoting_Name (Get_Uninstantiated_Package_Name (Decl));
- Set_Uninstantiated_Package_Name (Decl, Name);
- Pkg := Get_Named_Entity (Name);
- if Is_Error (Pkg) then
- null;
- elsif Get_Kind (Pkg) /= Iir_Kind_Package_Declaration then
- Error_Class_Match (Name, "package");
- Pkg := Create_Error (Pkg);
- elsif not Is_Uninstantiated_Package (Pkg) then
- Error_Msg_Sem (+Name, "%n is not an uninstantiated package", +Pkg);
- Pkg := Create_Error (Pkg);
+ Name := Get_Uninstantiated_Package_Name (Decl);
+ if Get_Kind (Name) not in Iir_Kinds_Denoting_Name then
+ Error_Msg_Sem (+Name, "uninstantiated package name expected");
+ Pkg := Create_Error (Name);
+ else
+ Name := Sem_Denoting_Name (Name);
+ Set_Uninstantiated_Package_Name (Decl, Name);
+ Pkg := Get_Named_Entity (Name);
+ if Is_Error (Pkg) then
+ null;
+ elsif Get_Kind (Pkg) /= Iir_Kind_Package_Declaration then
+ Error_Class_Match (Name, "package");
+ Pkg := Create_Error (Pkg);
+ elsif not Is_Uninstantiated_Package (Pkg) then
+ Error_Msg_Sem (+Name, "%n is not an uninstantiated package", +Pkg);
+ Pkg := Create_Error (Pkg);
+ end if;
end if;
Set_Uninstantiated_Package_Decl (Decl, Pkg);
diff --git a/src/vhdl/vhdl-sem_assocs.adb b/src/vhdl/vhdl-sem_assocs.adb
index 7af5ecca6..41c93273f 100644
--- a/src/vhdl/vhdl-sem_assocs.adb
+++ b/src/vhdl/vhdl-sem_assocs.adb
@@ -1571,6 +1571,12 @@ package body Vhdl.Sem_Assocs is
-- Analyze actual.
Actual := Get_Actual (Assoc);
+ if Get_Kind (Actual) not in Iir_Kinds_Denoting_Name then
+ Error_Msg_Sem
+ (+Assoc,
+ "actual of association must denote a package instantiation");
+ return;
+ end if;
Actual := Sem_Denoting_Name (Actual);
Set_Actual (Assoc, Actual);
diff --git a/src/vhdl/vhdl-sem_decls.adb b/src/vhdl/vhdl-sem_decls.adb
index 282137e90..843b24123 100644
--- a/src/vhdl/vhdl-sem_decls.adb
+++ b/src/vhdl/vhdl-sem_decls.adb
@@ -505,6 +505,16 @@ package body Vhdl.Sem_Decls is
return;
end if;
+ if Get_Is_Within_Flag (Pkg) then
+ -- Looks obvious, but there is apparently no such rule in the LRM.
+ -- Catch error like:
+ -- package gen is
+ -- generic(package g2 is new gen generic map(<>));
+ -- end;
+ Error_Msg_Sem (+Inter, "generic package formal cannot be itself");
+ return;
+ end if;
+
if Get_Generic_Map_Aspect_Chain (Inter) /= Null_Iir then
Sem_Generic_Association_Chain (Get_Package_Header (Pkg), Inter);
-- Not yet fully supported - need to check the instance.
diff --git a/src/vhdl/vhdl-sem_names.adb b/src/vhdl/vhdl-sem_names.adb
index 3ecaeb6f3..bf195d91e 100644
--- a/src/vhdl/vhdl-sem_names.adb
+++ b/src/vhdl/vhdl-sem_names.adb
@@ -962,7 +962,7 @@ package body Vhdl.Sem_Names is
if Get_Kind (Res) in Iir_Kinds_Denoting_Name then
Set_Named_Entity (Res, Atype);
else
- return Create_Error_Type (Name);
+ Res := Create_Error_Type (Name);
end if;
elsif not Incomplete then
if Get_Kind (Atype) = Iir_Kind_Incomplete_Type_Definition then
@@ -2588,7 +2588,9 @@ package body Vhdl.Sem_Names is
| Iir_Kind_Attribute_Declaration
| Iir_Kind_Type_Conversion
| Iir_Kind_Element_Attribute
- | Iir_Kind_Enumeration_Literal =>
+ | Iir_Kind_Enumeration_Literal
+ | Iir_Kind_Unit_Declaration
+ | Iir_Kind_Variable_Assignment_Statement =>
if not Soft then
Error_Msg_Sem
(+Prefix_Loc, "%n cannot be selected by name", +Prefix);
@@ -2964,6 +2966,22 @@ package body Vhdl.Sem_Names is
Assoc_Chain, True, Missing_Parameter, Name, Match);
end Error_Parenthesis_Function;
+ function Has_Error_In_Assocs (Chain : Iir) return Boolean
+ is
+ Assoc : Iir;
+ begin
+ Assoc := Chain;
+ while Assoc /= Null_Iir loop
+ if Get_Kind (Assoc) = Iir_Kind_Association_Element_By_Expression
+ and then Is_Error (Get_Actual (Assoc))
+ then
+ return True;
+ end if;
+ Assoc := Get_Chain (Assoc);
+ end loop;
+ return False;
+ end Has_Error_In_Assocs;
+
Actual : Iir;
Actual_Expr : Iir;
begin
@@ -3068,7 +3086,9 @@ package body Vhdl.Sem_Names is
Free_Overload_List (Prefix);
Set_Named_Entity (Prefix_Name, Res_Prefix);
end;
- if Res = Null_Iir then
+ if Res = Null_Iir and then not Has_Error_In_Assocs (Assoc_Chain)
+ then
+ -- Emit an error, but avoid a storm.
Error_Msg_Sem
(+Name, "no overloaded function found matching %n",
+Prefix_Name);
@@ -3357,13 +3377,11 @@ package body Vhdl.Sem_Names is
Error_Msg_Sem (+Attr, "prefix of user defined attribute cannot be "
& "an anonymous object");
return Error_Mark;
- when Iir_Kind_Attribute_Declaration =>
- Error_Msg_Sem (+Attr, "prefix of user defined attribute cannot be "
- & "an attribute");
- return Error_Mark;
when Iir_Kind_Function_Call
| Iir_Kind_Type_Conversion
- | Iir_Kinds_Attribute =>
+ | Iir_Kinds_Attribute
+ | Iir_Kind_Attribute_Declaration
+ | Iir_Kind_Library_Declaration =>
Error_Msg_Sem (+Attr, "invalid prefix for user defined attribute");
return Error_Mark;
when Iir_Kinds_Object_Declaration
@@ -4591,6 +4609,9 @@ package body Vhdl.Sem_Names is
Sem_Attribute_Name (Name);
when Iir_Kinds_External_Name =>
Sem_External_Name (Name);
+ when Iir_Kind_Signature =>
+ Error_Msg_Sem (+Name, "signature cannot be used here");
+ Set_Named_Entity (Name, Create_Error_Name (Name));
when others =>
Error_Kind ("sem_name", Name);
end case;
@@ -4996,7 +5017,8 @@ package body Vhdl.Sem_Names is
Atype : Iir;
begin
case Get_Kind (Name) is
- when Iir_Kinds_Denoting_Name =>
+ when Iir_Kinds_Denoting_Name
+ | Iir_Kind_Attribute_Name =>
-- Common correct case.
Atype := Get_Named_Entity (Name);
case Get_Kind (Atype) is
diff --git a/src/vhdl/vhdl-sem_psl.adb b/src/vhdl/vhdl-sem_psl.adb
index f17c49791..fc2c15fab 100644
--- a/src/vhdl/vhdl-sem_psl.adb
+++ b/src/vhdl/vhdl-sem_psl.adb
@@ -544,7 +544,8 @@ package body Vhdl.Sem_Psl is
-- always/never.
Sem_Property (Prop, Top);
return Prop;
- when N_Eventually =>
+ when N_Eventually
+ | N_Strong =>
Sem_Property (Prop);
return Prop;
when N_Clock_Event =>
diff --git a/src/vhdl/vhdl-sem_specs.adb b/src/vhdl/vhdl-sem_specs.adb
index 9418fb9de..e75c786fb 100644
--- a/src/vhdl/vhdl-sem_specs.adb
+++ b/src/vhdl/vhdl-sem_specs.adb
@@ -1268,7 +1268,11 @@ package body Vhdl.Sem_Specs is
if Is_Error (Entity_Name) then
return Null_Iir;
end if;
- Entity_Name := Sem_Denoting_Name (Get_Entity_Name (Aspect));
+ if Get_Kind (Entity_Name) not in Iir_Kinds_Denoting_Name then
+ Error_Msg_Sem (+Entity_Name, "name of an entity expected");
+ return Null_Iir;
+ end if;
+ Entity_Name := Sem_Denoting_Name (Entity_Name);
Set_Entity_Name (Aspect, Entity_Name);
Entity := Get_Named_Entity (Entity_Name);
if Entity = Error_Mark then
diff --git a/src/vhdl/vhdl-sem_types.adb b/src/vhdl/vhdl-sem_types.adb
index 31f5f2294..eb3b7e9a7 100644
--- a/src/vhdl/vhdl-sem_types.adb
+++ b/src/vhdl/vhdl-sem_types.adb
@@ -1749,6 +1749,9 @@ package body Vhdl.Sem_Types is
Error_Msg_Sem
(+Resolution,
"record resolution not allowed for array subtype");
+ when Iir_Kind_Attribute_Name =>
+ Error_Msg_Sem
+ (+Resolution, "%n not allowed as resolution", +Resolution);
when others =>
Error_Kind ("sem_array_constraint(resolution)", Resolution);
end case;
@@ -2056,6 +2059,9 @@ package body Vhdl.Sem_Types is
Error_Msg_Sem
(+Resolution,
"resolution indication must be an array element resolution");
+ when Iir_Kind_Attribute_Name =>
+ Error_Msg_Sem
+ (+Resolution, "%n not allowed as resolution", +Resolution);
when others =>
Error_Kind ("sem_record_constraint(resolution)", Resolution);
end case;
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-16 22:11:57 +0000