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

Mark all words as driven when assigning to an entire uwire array. 

This is needed to catch errors if individual words are also separately
driven.
This commit is contained in:
Martin Whitaker 2024-02-03 13:50:06 +00:00
parent 42c5174c8d
commit 65f552aba3
1 changed files with 19 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

31
elab_net.cc
View File

@ -1,5 +1,5 @@
/* /*
* Copyright (c) 1999-2023 Stephen Williams (steve@icarus.com) * Copyright (c) 1999-2024 Stephen Williams (steve@icarus.com)
* Copyright CERN 2012 / Stephen Williams (steve@icarus.com) * Copyright CERN 2012 / Stephen Williams (steve@icarus.com)
* *
* This source code is free software; you can redistribute it * This source code is free software; you can redistribute it
@ -870,18 +870,25 @@ NetNet* PEIdent::elaborate_lnet_common_(Design*des, NetScope*scope,
unsigned subnet_wid = midx-lidx+1; unsigned subnet_wid = midx-lidx+1;
/* Check if the l-value bits are double-driven. */ /* Check if the l-value bits are double-driven. */
if (sig->type() == NetNet::UNRESOLVED_WIRE && sig->test_and_set_part_driver(midx,lidx, widx_flag? widx : 0)) {
cerr << get_fileline() << ": error: Unresolved net/uwire " if (sig->type() == NetNet::UNRESOLVED_WIRE) {
<< sig->name() << " cannot have multiple drivers." << endl; ivl_assert(*this, widx_flag || (widx == 0));
if (debug_elaborate) { long wcount = widx_flag ? 1 : sig->pin_count();
cerr << get_fileline() << ": : Overlap in " for (long idx = 0; idx < wcount; idx += 1) {
<< "[" << midx << ":" << lidx << "] (canonical)" if (sig->test_and_set_part_driver(midx, lidx, widx + idx)) {
<< ", widx=" << (widx_flag? widx : 0) cerr << get_fileline() << ": error: Unresolved net/uwire "
<< ", vector width=" << sig->vector_width() << sig->name() << " cannot have multiple drivers." << endl;
<< endl; if (debug_elaborate) {
cerr << get_fileline() << ": : Overlap in "
<< "[" << midx << ":" << lidx << "] (canonical)"
<< ", widx=" << (widx_flag? widx : 0)
<< ", vector width=" << sig->vector_width()
<< endl;
}
des->errors += 1;
return 0;
}
} }
des->errors += 1;
return 0;
} }
if (sig->pin_count() > 1 && widx_flag) { if (sig->pin_count() > 1 && widx_flag) {