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

Fix GitHub issue #306 - segfault when synthesising deassign statement. 

Synthesis doesn't properly support any of the procedural continuous
assignment statements, so output a "sorry" message and abort synthesis.
This commit is contained in:
Martin Whitaker 2020-02-09 18:22:58 +00:00
parent fb29da0bd8
commit 387d18d222
1 changed files with 11 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
synth2.cc
View File

@ -1,5 +1,5 @@
/* /*
* Copyright (c) 2002-2016 Stephen Williams (steve@icarus.com) * Copyright (c) 2002-2020 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
* and/or modify it in source code form under the terms of the GNU * and/or modify it in source code form under the terms of the GNU
@ -310,6 +310,15 @@ bool NetAssignBase::synth_async(Design*des, NetScope*scope,
NexusSet&nex_map, NetBus&nex_out, NexusSet&nex_map, NetBus&nex_out,
NetBus&enables, vector<mask_t>&bitmasks) NetBus&enables, vector<mask_t>&bitmasks)
{ {
if (dynamic_cast<NetCAssign*>(this) || dynamic_cast<NetDeassign*>(this) ||
dynamic_cast<NetForce*>(this) || dynamic_cast<NetRelease*>(this)) {
cerr << get_fileline() << ": sorry: Procedural continuous "
"assignment is not currently supported in synthesis."
<< endl;
des->errors += 1;
return false;
}
/* If the lval is a concatenation, synthesise each part /* If the lval is a concatenation, synthesise each part
separately. */ separately. */
if (lval_->more ) { if (lval_->more ) {
@ -338,6 +347,7 @@ bool NetAssignBase::synth_async(Design*des, NetScope*scope,
return flag; return flag;
} }
assert(rval_);
NetNet*rsig = rval_->synthesize(des, scope, rval_); NetNet*rsig = rval_->synthesize(des, scope, rval_);
assert(rsig); assert(rsig);