diff options
Diffstat (limited to 'support/splint/examples/ld/ldgramo.w')
| -rw-r--r-- | support/splint/examples/ld/ldgramo.w | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/support/splint/examples/ld/ldgramo.w b/support/splint/examples/ld/ldgramo.w index 46d46f9a1f..a036c858de 100644 --- a/support/splint/examples/ld/ldgramo.w +++ b/support/splint/examples/ld/ldgramo.w @@ -1,4 +1,4 @@ -@q Copyright 2020 Alexander Shibakov@> +@q Copyright 2012-2022 Alexander Shibakov@> @q Copyright 2002-2015 Free Software Foundation, Inc.@> @q This file is part of SPLinT@> @@ -492,17 +492,20 @@ statement_anywhere: ENTRY '(' NAME ')' { lang_add_entry ($3, FALSE); } | assignment end - | ASSERT_K {@>@[ldlex_expression ();@>@=} '(' exp ',' NAME ')' + | ASSERT_K {@>@[ldlex_expression ();@]@=} '(' exp ',' NAME ')' { @O ldlex_popstate (); -@o lang_add_assignment (exp_assert ($4, $6)); +@o } ; @g +@q using a @@[, @@> pair instead of @@[, @@] may lead to some strange spacing artefacts @> +@q due to the lack of \6; it is instructive to see its effects after replacing the @@] with @@> @> +@q in the line containing ASSERT_K @> @ \tracebadcharstrue The {\setrulecontext{wildcardname}\prodstyle{'*'}} and \prodstyle{'?'} cases are there because the lexer returns them as separate tokens rather than as \prodstyle{NAME}. |