diff options
Diffstat (limited to 'src/systemc/core/sc_spawn.cc')
-rw-r--r-- | src/systemc/core/sc_spawn.cc | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/src/systemc/core/sc_spawn.cc b/src/systemc/core/sc_spawn.cc index b0570a663..00fe502e6 100644 --- a/src/systemc/core/sc_spawn.cc +++ b/src/systemc/core/sc_spawn.cc @@ -83,6 +83,16 @@ spawnWork(ProcessFuncWrapper *func, const char *name, proc->addStatic(new PendingSensitivityFinder(proc, f)); } + if (opts && opts->_dontInitialize && + opts->_events.empty() && opts->_ports.empty() && + opts->_exports.empty() && opts->_interfaces.empty() && + opts->_finders.empty()) { + SC_REPORT_WARNING( + "(W558) disable() or dont_initialize() called on process " + "with no static sensitivity, it will be orphaned", + proc->name()); + } + scheduler.reg(proc); if (dontInitialize) |