summaryrefslogtreecommitdiffstats
path: root/src/parser_bison.y
diff options
context:
space:
mode:
authorPhil Sutter <phil@nwl.cc>2021-07-23 18:15:42 +0200
committerPhil Sutter <phil@nwl.cc>2022-03-01 10:54:03 +0100
commite554701721cc00771cbd3700e69e9af449c23ff3 (patch)
tree5b9023d8a2b82d524ddf7b7d9c094307ee0df4d9 /src/parser_bison.y
parent04c95f147c7fa221d1f438fc577c0bd84bc71316 (diff)
scanner: rt: Extend scope over rt0, rt2 and srh
These are technically all just routing headers with different types, so unify them under the same scope. Signed-off-by: Phil Sutter <phil@nwl.cc>
Diffstat (limited to 'src/parser_bison.y')
-rw-r--r--src/parser_bison.y6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/parser_bison.y b/src/parser_bison.y
index f7d74e59..cc739c47 100644
--- a/src/parser_bison.y
+++ b/src/parser_bison.y
@@ -5803,7 +5803,7 @@ rt_hdr_field : NEXTHDR { $$ = RTHDR_NEXTHDR; }
| SEG_LEFT { $$ = RTHDR_SEG_LEFT; }
;
-rt0_hdr_expr : RT0 rt0_hdr_field
+rt0_hdr_expr : RT0 rt0_hdr_field close_scope_rt
{
$$ = exthdr_expr_alloc(&@$, &exthdr_rt0, $2);
}
@@ -5815,7 +5815,7 @@ rt0_hdr_field : ADDR '[' NUM ']'
}
;
-rt2_hdr_expr : RT2 rt2_hdr_field
+rt2_hdr_expr : RT2 rt2_hdr_field close_scope_rt
{
$$ = exthdr_expr_alloc(&@$, &exthdr_rt2, $2);
}
@@ -5824,7 +5824,7 @@ rt2_hdr_expr : RT2 rt2_hdr_field
rt2_hdr_field : ADDR { $$ = RT2HDR_ADDR; }
;
-rt4_hdr_expr : RT4 rt4_hdr_field
+rt4_hdr_expr : RT4 rt4_hdr_field close_scope_rt
{
$$ = exthdr_expr_alloc(&@$, &exthdr_rt4, $2);
}