luke
/
iverilog
mirror of https://github.com/steveicarus/iverilog.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #1350 from larsclausen/array-index-real-error 

Reject `real` array indices
This commit is contained in:
Cary R. 2026-05-10 22:40:23 -07:00 committed by GitHub
parent fb6dfebcec ea57b6dd9a
commit bcc3a66657
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
4 changed files with 26 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
ivtest/ivltests/array_index_real_fail.v Normal file
View File

@ -0,0 +1,12 @@
// Check that real expressions can not be used as array indices.
module test;
reg [1:0] a[1:0];
real r;
initial begin
a[r] = 2'b10;
end
endmodule

1
ivtest/regress-vvp.list
View File

@ -6,6 +6,7 @@ always4A vvp_tests/always4A.json
always4B vvp_tests/always4B.json
analog1 vvp_tests/analog1.json
analog2 vvp_tests/analog2.json
array_index_real_fail vvp_tests/array_index_real_fail.json
array_packed_sysfunct vvp_tests/array_packed_sysfunct.json
array_packed_value_list vvp_tests/array_packed_value_list.json
array_packed_write_read vvp_tests/array_packed_write_read.json

4
ivtest/vvp_tests/array_index_real_fail.json Normal file
View File

@ -0,0 +1,4 @@
{
"type" : "CE",
"source" : "array_index_real_fail.v"
}

11
netmisc.cc
View File

@ -1,5 +1,5 @@
/*
* Copyright (c) 2001-2025 Stephen Williams (steve@icarus.com)
* Copyright (c) 2001-2026 Stephen Williams (steve@icarus.com)
*
* This source code is free software; you can redistribute it
* and/or modify it in source code form under the terms of the GNU
@ -509,8 +509,15 @@ void indices_to_expressions(Design*des, NetScope*scope,
NetExpr*word_index = elab_and_eval(des, scope, cur->msb, -1, need_const);
if (word_index == 0)
if (!word_index) {
flags.invalid = true;
} else if (word_index->expr_type() == IVL_VT_REAL) {
cerr << cur->msb->get_fileline() << ": error: "
<< "Array index expression cannot be a real value."
<< endl;
des->errors += 1;
flags.invalid = true;
}
// Track if we detect any non-constant expressions
// here. This may allow for a special case.