Ignore typeless structs in unstructured annotations (#5058)

Signed-off-by: Chris Dodd <[email protected]> Co-authored-by: Emre Orbay <[email protected]>
p4lang · Dec 19, 2024 · d8c1d1b · d8c1d1b
1 parent f971ca6
commit d8c1d1b
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/frontends/p4/specializeGenericTypes.cpp b/frontends/p4/specializeGenericTypes.cpp
@@ -167,6 +167,9 @@ const IR::Node *ReplaceTypeUses::postorder(IR::Type_Specialized *type) {
 }
 
 const IR::Node *ReplaceTypeUses::postorder(IR::StructExpression *expression) {
+    const IR::Annotation *anNode = findContext<IR::Annotation>();
+    if (anNode != nullptr && !anNode->structured) return expression;
+
     auto st = getOriginal<IR::StructExpression>()->structType;
     if (!st) {
         ::P4::error(ErrorType::ERR_TYPE_ERROR,