File tree Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Expand file tree Collapse file tree 2 files changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -2790,7 +2790,8 @@ void verilog_synthesist::synth_assignments(transt &trans)
2790
2790
2791
2791
if (assignment.type ==event_guardt::COMBINATIONAL)
2792
2792
{
2793
- warning () << " Making " << symbol.name << " a wire" << eom;
2793
+ warning ().source_location = symbol.location ;
2794
+ warning () << " Making " << symbol.display_name () << " a wire" << eom;
2794
2795
symbol.is_state_var =false ;
2795
2796
}
2796
2797
Original file line number Diff line number Diff line change @@ -763,8 +763,7 @@ void verilog_typecheck_exprt::convert_symbol(exprt &expr)
763
763
{
764
764
// this should become an error
765
765
warning ().source_location =expr.source_location ();
766
- warning () << " implicit definition of wire "
767
- << full_identifier << eom;
766
+ warning () << " implicit wire " << symbol->display_name () << eom;
768
767
expr.type ()=symbol->type ;
769
768
expr.set (ID_identifier, symbol->name );
770
769
}
You can’t perform that action at this time.
0 commit comments