Require semicolon after static_assert_declaration in declaration

sim642 · sim642 · commit e36524a5a732 · 2026-03-12T15:22:07.000+02:00
Static asserts always end with one.
diff --git a/src/frontc/cparser.mly b/src/frontc/cparser.mly
@@ -998,7 +998,7 @@ declaration:                                /* ISO 6.7.*/
                                        { doDeclaration (joinLoc (snd $1) $3) (fst $1) $2 }
 |   decl_spec_list_no_attr_only SEMICOLON
                                        { doDeclaration (joinLoc (snd $1) $2) (fst $1) [] }
-|   static_assert_declaration          { let (e, m, loc) = $1 in STATIC_ASSERT (e, m, loc) }
+|   static_assert_declaration SEMICOLON { let (e, m, loc) = $1 in STATIC_ASSERT (e, m, loc) }
 ;
 
 static_assert_declaration:

Original file line number	Diff line number	Diff line change
`@@ -998,7 +998,7 @@ declaration: /* ISO 6.7.*/`
`998`	`998`	`{ doDeclaration (joinLoc (snd $1) $3) (fst $1) $2 }`
`999`	`999`	`\| decl_spec_list_no_attr_only SEMICOLON`
`1000`	`1000`	`{ doDeclaration (joinLoc (snd $1) $2) (fst $1) [] }`
`1001`		`-\| static_assert_declaration { let (e, m, loc) = $1 in STATIC_ASSERT (e, m, loc) }`
	`1001`	`+\| static_assert_declaration SEMICOLON { let (e, m, loc) = $1 in STATIC_ASSERT (e, m, loc) }`
`1002`	`1002`	`;`
`1003`	`1003`
`1004`	`1004`	`static_assert_declaration:`