1 files changed, 4 insertions, 0 deletions
diff --git a/src/main/scala/firrtl/analyses/SymbolTable.scala b/src/main/scala/firrtl/analyses/SymbolTable.scala
index 3b304bc1..e4a53444 100644
--- a/src/main/scala/firrtl/analyses/SymbolTable.scala
+++ b/src/main/scala/firrtl/analyses/SymbolTable.scala
@@ -87,6 +87,10 @@ object SymbolTable {
     case d: DefNode     => table.declare(d)
     case d: DefWire     => table.declare(d)
     case d: DefRegister => table.declare(d)
+    // Matches named statements like printf, stop, assert, assume, cover if the name is not empty.
+    // Empty names are allowed for backwards compatibility reasons and
+    // indicate that the entity has essentially no name.
+    case s: IsDeclaration if s.name.nonEmpty => table.declare(s.name, UnknownType, firrtl.UnknownKind)
     case other => other.foreachStmt(scanStatement)
   }
 }