pike.git/ src/ language.yacc

2018-09-09

2018-09-09 12:22:58 by Henrik Grubbström (Grubba) <grubba@grubba.org>

• c59560f799f22e4fe13e206f9cf7e05881516869 (17 lines) (+16/-1) ^{[ Show | Annotate ]}
  Branch: master

Compiler: _Static_assert() is now a special form.

This is analogous with C11, and makes it possible to have static
assertions in the body of classes (eg at the top-level), which
makes them much more useful.

100:   %token TOK_PUBLIC "public"   %token TOK_RSH_EQ ">>="   %token TOK_STATIC "static" + %token TOK_STATIC_ASSERT "_Static_assert"   %token TOK_STRING_ID "string"   %token TOK_SUB_EQ "-="   %token TOK_TYPEDEF "typedef"
1020:    | modifiers named_class { free_node($2); }    | modifiers enum { free_node($2); }    | typedef {} +  | static_assertion {}    | error TOK_LEX_EOF    {    reset_type_stack();
1051:    }    ;    + static_assertion: TOK_STATIC_ASSERT '(' expr0 ',' expr0 ')' expected_semicolon +  { +  Pike_compiler->init_node = +  mknode(F_COMMA_EXPR, Pike_compiler->init_node, +  mkefuncallnode("_Static_assert", +  mknode(F_ARG_LIST, $3, $5))); +  } +  ; +    optional_dot_dot_dot: TOK_DOT_DOT_DOT { $$=1; }    | TOK_DOT_DOT    {
1147:    | TOK_OPTIONAL { $$ = "optional"; }    | TOK_VARIANT { $$ = "variant"; }    | TOK_WEAK { $$ = "__weak__"; } +  | TOK_STATIC_ASSERT { $$ = "_Static_assert"; }    ;      magic_identifiers2:
1929:    }    ;    - statement_with_semicolon: unused2 expected_semicolon ; + statement_with_semicolon: unused2 expected_semicolon +  | static_assertion { $$ = 0; } +  ;      normal_label_statement: statement_with_semicolon    | import { $$=0; }