Merge pull request #174 from antmicro/fail-unsized

Fail when range is unsized

Author: kamilrakoczy

uhdm-plugin/UhdmAst.cc

@@ -2686,10 +2686,20 @@ void UhdmAst::process_case_item()
     });
 }
 
-void UhdmAst::process_range()
+void UhdmAst::process_range(const UHDM::BaseClass *object)
 {
     current_node = make_ast_node(AST::AST_RANGE);
     visit_one_to_one({vpiLeftRange, vpiRightRange}, obj_h, [&](AST::AstNode *node) { current_node->children.push_back(node); });
+    if (current_node->children.size() > 0) {
+        if (current_node->children[0]->str == "unsized") {
+            log_error("%s:%d: Currently not supported object of type 'unsized range'\n", object->VpiFile().c_str(), object->VpiLineNo());
+        }
+    }
+    if (current_node->children.size() > 1) {
+        if (current_node->children[1]->str == "unsized") {
+            log_error("%s:%d: Currently not supported object of type 'unsized range'\n", object->VpiFile().c_str(), object->VpiLineNo());
+        }
+    }
 }
 
 void UhdmAst::process_return()
@@ -3570,7 +3580,7 @@ AST::AstNode *UhdmAst::process_object(vpiHandle obj_handle)
         current_node = process_value(obj_h);
         break;
     case vpiRange:
-        process_range();
+        process_range(object);
         break;
     case vpiReturn:
         process_return();

uhdm-plugin/UhdmAst.h

@@ -114,7 +114,7 @@ class UhdmAst
     void process_gen_scope();
     void process_case();
     void process_case_item();
-    void process_range();
+    void process_range(const UHDM::BaseClass *object);
     void process_return();
     void process_function();
     void process_logic_var();