Add test

p4lang · Feb 12, 2024 · 5566a05 · 5566a05
1 parent 92edc33
commit 5566a05
Show file tree

Hide file tree

Showing 3 changed files with 27 additions and 0 deletions.
diff --git a/testdata/p4_16_errors/type-in-expr.p4 b/testdata/p4_16_errors/type-in-expr.p4
@@ -0,0 +1,8 @@
+#include <core.p4>
+
+@foo[bar=4<H]
+control p<H>(in H hdrs, out bool flag)
+{
+    apply {
+    }
+}
diff --git a/testdata/p4_16_errors_outputs/type-in-expr.p4 b/testdata/p4_16_errors_outputs/type-in-expr.p4
@@ -0,0 +1,7 @@
+#include <core.p4>
+
+@foo[bar=4 < H] control p<H>(in H hdrs, out bool flag) {
+    apply {
+    }
+}
+
diff --git a/testdata/p4_16_errors_outputs/type-in-expr.p4-stderr b/testdata/p4_16_errors_outputs/type-in-expr.p4-stderr
@@ -0,0 +1,12 @@
+type-in-expr.p4(3): [--Werror=type-error] error: H: Type cannot be used here, expecting an expression.
+@foo[bar=4<H]
+           ^
+type-in-expr.p4(3): [--Werror=type-error] error: 4 < H: structured annotation must be compile-time constant values
+@foo[bar=4<H]
+         ^^^
+type-in-expr.p4(3): [--Werror=type-error] error: H: Type cannot be used here, expecting an expression.
+@foo[bar=4<H]
+           ^
+type-in-expr.p4(4): [--Werror=type-error] error: Error while analyzing control p
+control p<H>(in H hdrs, out bool flag)
+        ^