Update warning to match devel

This commit is contained in:
Cary R 2021-01-30 14:28:06 -08:00
parent a89eab47f5
commit b613cf4bf5
1 changed files with 3 additions and 3 deletions

View File

@ -1,5 +1,5 @@
/* /*
* Copyright (c) 1998-2020 Stephen Williams (steve@icarus.com) * Copyright (c) 1998-2021 Stephen Williams (steve@icarus.com)
* Copyright CERN 2013 / Stephen Williams (steve@icarus.com) * Copyright CERN 2013 / 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
@ -6645,7 +6645,7 @@ static void check_event_probe_width(const LineInfo *info, const NetEvProbe *prb)
assert(prb->pin(0).is_linked()); assert(prb->pin(0).is_linked());
if (prb->edge() == NetEvProbe::ANYEDGE) return; if (prb->edge() == NetEvProbe::ANYEDGE) return;
if (prb->pin(0).nexus()->vector_width() > 1) { if (prb->pin(0).nexus()->vector_width() > 1) {
cerr << info->get_fileline() << " Warning: Synthesis wants " cerr << info->get_fileline() << " warning: Synthesis wants "
"the sensitivity list expressions for '"; "the sensitivity list expressions for '";
switch (prb->edge()) { switch (prb->edge()) {
case NetEvProbe::POSEDGE: case NetEvProbe::POSEDGE:
@ -6675,7 +6675,7 @@ static void check_ff_sensitivity(const NetProc* statement)
const NetEvProbe *prb = evt->probe(cprb); const NetEvProbe *prb = evt->probe(cprb);
check_event_probe_width(evwt, prb); check_event_probe_width(evwt, prb);
if (prb->edge() == NetEvProbe::ANYEDGE) { if (prb->edge() == NetEvProbe::ANYEDGE) {
cerr << evwt->get_fileline() << " Warning: Synthesis " cerr << evwt->get_fileline() << " warning: Synthesis "
"requires the sensitivity list of an " "requires the sensitivity list of an "
"always_ff process to only be edge " "always_ff process to only be edge "
"sensitive. "; "sensitive. ";