Raise error on unsupported port scenario

povik · Nov 21, 2024 · a2c832f · a2c832f
1 parent 4bd09eb
commit a2c832f
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 2 deletions.
diff --git a/src/diag.cc b/src/diag.cc
@@ -52,6 +52,7 @@ namespace diag {
 	slang::DiagCode BboxTypeParameter(slang::DiagSubsystem::Netlist, 1039);
 	slang::DiagCode BboxExportPortWidths(slang::DiagSubsystem::Netlist, 1040);
 	slang::DiagCode NoteIgnoreInitial(slang::DiagSubsystem::Netlist, 1041);
+	slang::DiagCode PortCorrespondence(slang::DiagSubsystem::Netlist, 1042);
 
 	slang::DiagGroup unsynthesizable("unsynthesizable", {IffUnsupported, GenericTimingUnsyn, BothEdgesUnsupported, ExpectingIfElseAload,
 														 IfElseAloadPolarity, IfElseAloadMismatch});
@@ -159,6 +160,9 @@ namespace diag {
 
 		engine.setMessage(NoteIgnoreInitial, "use option '--ignore-initial' to ignore initial blocks");
 		engine.setSeverity(NoteIgnoreInitial, slang::DiagnosticSeverity::Note);
+
+		engine.setMessage(PortCorrespondence, "ports without direct correspondence to an internal net/variable unsupported");
+		engine.setSeverity(PortCorrespondence, slang::DiagnosticSeverity::Error);
 	}
 };
 };
diff --git a/src/diag.h b/src/diag.h
@@ -49,6 +49,7 @@ extern slang::DiagCode ConnNameRequiredOnUnkBboxes;
 extern slang::DiagCode BboxTypeParameter;
 extern slang::DiagCode BboxExportPortWidths;
 extern slang::DiagCode NoteIgnoreInitial;
+extern slang::DiagCode PortCorrespondence;
 void setup_messages(slang::DiagnosticEngine &engine);
 };
 };
diff --git a/src/slang_frontend.cc b/src/slang_frontend.cc
@@ -2409,8 +2409,8 @@ struct PopulateNetlist : public TimingPatternInterpretor, public ast::ASTVisitor
 		if (sym.getParentScope()->getContainingInstance() != &netlist.realm)
 			return;
 
-		if (!sym.internalSymbol) {
-			// This can happen in case of a compilation error.
+		if (!sym.internalSymbol || sym.internalSymbol->name.compare(sym.name)) {
+			sym.getParentScope()->addDiag(diag::PortCorrespondence, sym.location);
 			return;
 		}