luke/iverilog
1
0
Fork 0
mirror of https://github.com/steveicarus/iverilog.git synced 2026-08-22 13:57:18 +02:00
Code Issues Packages Projects Releases Wiki Activity

Report an error when trying to take the select of a real value.

Browse Source 
This patch adds checks in various places to prevent the user from
taking a select of a real value (bit, part and indexed selects).
This commit is contained in:
Cary R
2009-04-02 18:00:36 -07:00
committed by Stephen Williams
parent caab6cab9d
commit 5852f1eb7a
4 changed files with 59 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
elab_net.cc
+15
View File
@@ -460,6 +460,14 @@ NetNet* PEIdent::elaborate_lnet_common_(Design*des, NetScope*scope,
/* The array has a part/bit select at the end. */
if (name_tail.index.size() > sig->array_dimensions()) {
if (sig->data_type() == IVL_VT_REAL) {
cerr << get_fileline() << ": error: "
<< "Can not select part of a real array word."
<< endl;
des->errors += 1;
return 0;
}
long midx_tmp, lidx_tmp;
if (! eval_part_select_(des, scope, sig, midx_tmp, lidx_tmp))
return 0;
@@ -475,6 +483,13 @@ NetNet* PEIdent::elaborate_lnet_common_(Design*des, NetScope*scope,
lidx = lidx_tmp;
}
} else if (!name_tail.index.empty()) {
if (sig->data_type() == IVL_VT_REAL) {
cerr << get_fileline() << ": error: "
<< "Can not select part of a real value." << endl;
des->errors += 1;
return 0;
}
long midx_tmp, lidx_tmp;
if (! eval_part_select_(des, scope, sig, midx_tmp, lidx_tmp))
return 0;