diff --git a/Changes b/Changes index f4d44b32f..769aeafe8 100644 --- a/Changes +++ b/Changes @@ -7,6 +7,8 @@ indicates the contributor was also the author of the fix; Thanks! **** Fix installing missing manpages, bug908. [Ahmed El-Mahmoudy] +**** Fix core dump in sync-async warnings, bug911. [Sebastian Dressler] + * Verilator 3.872 2015-04-05 diff --git a/src/V3Gate.cpp b/src/V3Gate.cpp index e933ae4e5..7ccdb3770 100644 --- a/src/V3Gate.cpp +++ b/src/V3Gate.cpp @@ -362,6 +362,7 @@ private: nodep->iterateChildren(*this); //if (debug()>6) m_graph.dump(); if (debug()>6) m_graph.dumpDotFilePrefixed("gate_pre"); + warnSignals(); // Before loss of sync/async pointers m_graph.removeRedundantEdgesSum(&V3GraphEdge::followAlwaysTrue); m_graph.dumpDotFilePrefixed("gate_simp"); // Find gate interconnect and optimize @@ -373,8 +374,7 @@ private: // Remove redundant logic if (v3Global.opt.oDedupe()) dedupe(); if (v3Global.opt.oAssemble()) mergeAssigns(); - // Warn - warnSignals(); + // Consumption warnings consumedMark(); m_graph.dumpDotFilePrefixed("gate_opt"); // Rewrite assignments