moved highlights in folder struct

.gitea/workflows/build.yml

@@ -0,0 +1,46 @@
+name: Check Build
+
+on:
+  pull_request:
+
+jobs:
+  build:
+    runs-on: ubuntu-latest
+    
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v4
+
+      - name: Setup node v.20
+        uses: actions/setup-node@v6
+        with:
+          node-version: '>=20.0.0'
+
+      - name: Install tree-sitter CLI
+        run: npm install -g tree-sitter-cli
+
+      - name: Generate parser
+        run: tree-sitter generate
+
+      - name: Build parser (C library)
+        run: make
+
+      - name: Build parser (WASM)
+        run: tree-sitter build --wasm
+
+      - name: Build Node.js bindings
+        run: npm run install
+
+      - name: Verify parser generation
+        run: |
+          test -f src/parser.c || (echo "Parser not generated" && exit 1)
+          test -f src/node-types.json || (echo "Node types not generated" && exit 1)
+
+      - name: Verify C library build
+        run: |
+          test -f libtree-sitter-mc.a || (echo "Static library not built" && exit 1)
+          test -f libtree-sitter-mc.so || (echo "Shared library not built" && exit 1)
+
+      - name: Verify WASM build
+        run: |
+          test -f tree-sitter-mc.wasm || (echo "WASM file not built" && exit 1)

.gitea/workflows/test.yml

@@ -0,0 +1,30 @@
+name: Run Tests
+
+on:
+  pull_request:
+
+jobs:
+  test:
+    runs-on: ubuntu-latest
+    
+    steps:
+      - name: Checkout code
+        uses: actions/checkout@v4
+
+      - name: Set up Node.js
+        uses: actions/setup-node@v4
+        with:
+          node-version: '20'
+          cache: 'npm'
+
+      - name: Install dependencies
+        run: npm ci
+
+      - name: Install tree-sitter CLI
+        run: npm install -g tree-sitter-cli
+
+      - name: Generate parser
+        run: tree-sitter generate
+
+      - name: Run tests
+        run: tree-sitter test

grammar.js

@@ -10,8 +10,438 @@
 module.exports = grammar({
   name: "mc",
 
+  // Whitespace and comments are skipped between tokens.
+  extras: ($) => [
+    /\s/, // space, tab, newline, etc.
+    $.comment,
+  ],
+
   rules: {
-    // TODO: add the actual grammar rules
+    // ------------------------------------------------------------------------
-    source_file: $ => "hello"
+    // Top level (Bison: program)
-  }
+    // ------------------------------------------------------------------------
+
+    source_file: ($) => repeat($.translation_entity),
+
+    translation_entity: ($) => choice($.declaration, $.function_definition),
+
+    function_definition: ($) =>
+      seq(
+        "function",
+        field("name", $.identifier),
+        field("signature", $.function_signature),
+        field("body", $.statement_block),
+      ),
+
+    // ------------------------------------------------------------------------
+    // Comments
+    // ------------------------------------------------------------------------
+
+    comment: ($) =>
+      token(
+        choice(
+          // // line comment
+          seq("//", /.*/),
+
+          // /* block comment */ (non-nested)
+          seq("/*", /[^*]*\*+([^/*][^*]*\*+)*/, "/"),
+        ),
+      ),
+
+    // ------------------------------------------------------------------------
+    // Identifiers & literals (port of Flex patterns)
+    // ------------------------------------------------------------------------
+
+    // identifier: {character}({nondigit}|{digit})*
+    identifier: ($) => /[a-zA-Z][a-zA-Z0-9_]*/,
+
+    // Signed integer with suffix: {integer}{signed_suffix}
+    // integer        : [0-9]+
+    // signed_suffix  : [iI]{bit_size}?
+    // bit_size       : 8|16|32|64
+    signed_integer_literal: ($) =>
+      token(seq(/[0-9]+/, /[iI]/, optional(choice("8", "16", "32", "64")))),
+
+    // Unsigned integer with suffix: {integer}{unsigned_suffix}
+    // unsigned_suffix: [uU]{bit_size}?
+    unsigned_integer_literal: ($) =>
+      token(seq(/[0-9]+/, /[uU]/, optional(choice("8", "16", "32", "64")))),
+
+    // Plain integer (no suffix)
+    integer_literal: ($) => token(/[0-9]+/),
+
+    // Char literal:  'c'  or  '\n'  etc.
+    char_literal: ($) =>
+      token(
+        seq(
+          "'",
+          choice(
+            /[^\\'\n]/, // c_char
+            seq(
+              "\\",
+              choice(
+                // escape
+                /[abfnrtv\\'"]/, // simple escapes
+                "0", // \0
+              ),
+            ),
+          ),
+          "'",
+        ),
+      ),
+
+    // String literal: "text" with escapes
+    string_literal: ($) =>
+      token(
+        seq(
+          '"',
+          repeat(
+            choice(
+              /[^\\\"\n]/, // s_char
+              seq(
+                "\\",
+                choice(
+                  // escape
+                  /[abfnrtv\\'"]/, // simple escapes
+                  "0", // \0
+                ),
+              ),
+            ),
+          ),
+          '"',
+        ),
+      ),
+
+    // Combined integer constant used in expressions
+    constant: ($) =>
+      choice(
+        $.signed_integer_literal,
+        $.unsigned_integer_literal,
+        $.integer_literal,
+        $.string_literal,
+        $.char_literal,
+        $.predefined_constant,
+      ),
+
+    predefined_constant: ($) => choice("NULL", "true", "false"),
+
+    // <= / =< and >= / => are both accepted
+    leq_operator: ($) => token(choice("<=", "=<")),
+    geq_operator: ($) => token(choice(">=", "=>")),
+
+    // ------------------------------------------------------------------------
+    // Expressions (port of Bison expression hierarchy)
+    // ------------------------------------------------------------------------
+
+    base_expression: ($) =>
+      choice(
+        $.identifier,
+        $.constant,
+        seq("(", field("expression", $.expression), ")"),
+      ),
+
+    // postfix_expression (Bison: left-recursive) -> base_expression plus a
+    // sequence of postfix operations.
+    postfix_expression: ($) =>
+      seq(
+        field("base", $.base_expression),
+        repeat(
+          choice(
+            seq("[", field("index", $.expression), "]"), // subscript
+            seq("(", optional(field("arguments", $.argument_expression_list)), ")"), // call
+            "++", // post-inc
+            "--", // post-dec
+          ),
+        ),
+      ),
+
+    // argument_expression_list (Bison: left-recursive list)
+    argument_expression_list: ($) =>
+      seq($.assignment_expression, repeat(seq(",", $.assignment_expression))),
+
+    unary_expression: ($) =>
+      choice(
+        $.postfix_expression,
+        seq("++", field("operand", $.unary_expression)),
+        seq("--", field("operand", $.unary_expression)),
+        seq("+", field("operand", $.unary_expression)),
+        seq("-", field("operand", $.unary_expression)),
+        seq("!", field("operand", $.unary_expression)),
+      ),
+
+    cast_expression: ($) =>
+      choice(
+        $.unary_expression,
+        seq(
+          "(",
+          field("type", $.type_specifier_qualifier),
+          ")",
+          field("value", $.cast_expression),
+        ),
+      ),
+
+    // multiplicative_expression: cast_expression (( * | / ) cast_expression)*
+    multiplicative_expression: ($) =>
+      seq(
+        field("left", $.cast_expression),
+        repeat(seq(choice("*", "/"), field("right", $.cast_expression))),
+      ),
+
+    // additive_expression: multiplicative_expression (( + | - ) multiplicative_expression)*
+    additive_expression: ($) =>
+      seq(
+        field("left", $.multiplicative_expression),
+        repeat(seq(choice("+", "-"), field("right", $.multiplicative_expression))),
+      ),
+
+    // relational_expression: additive_expression ( (< | > | <= | =< | >= | => ) additive_expression )*
+    relational_expression: ($) =>
+      seq(
+        field("left", $.additive_expression),
+        repeat(
+          seq(
+            choice("<", ">", $.leq_operator, $.geq_operator),
+            field("right", $.additive_expression),
+          ),
+        ),
+      ),
+
+    // equality_expression: relational_expression ( (== | !=) relational_expression )*
+    equality_expression: ($) =>
+      seq(
+        field("left", $.relational_expression),
+        repeat(seq(choice("==", "!="), field("right", $.relational_expression))),
+      ),
+
+    // logical_expression: equality_expression ( (&& ||) equality_expression )*
+    logical_expression: ($) =>
+      seq(
+        field("left", $.equality_expression),
+        repeat(seq(choice("&&", "||"), field("right", $.equality_expression))),
+      ),
+
+    // assignment_expression:
+    //   logical_expression
+    // | unary_expression ( = | += | -= | *= | /= ) assignment_expression
+    assignment_expression: ($) =>
+      choice(
+        $.logical_expression,
+        seq(
+          field("left", $.unary_expression),
+          field("operator", choice("=", "+=", "-=", "*=", "/=")),
+          field("right", $.assignment_expression),
+        ),
+      ),
+
+    expression: ($) => $.assignment_expression,
+
+    constant_expression: ($) => $.logical_expression,
+
+    // ------------------------------------------------------------------------
+    // Types / declarations (port of Bison decl/type rules)
+    // ------------------------------------------------------------------------
+
+    declaration: ($) =>
+      seq(
+        field("type", $.declaration_specifier),
+        field("declarator", $.init_declarator),
+        ";",
+      ),
+
+    declaration_specifier: ($) => $.type_specifier_qualifier,
+
+    type_specifier_qualifier: ($) =>
+      seq(optional($.type_qualifier_list), $.type_specifier),
+
+    type_specifier: ($) =>
+      choice(
+        "void",
+        "bool",
+        "char",
+        "string",
+        $.int_type,
+        $.uint_type,
+        $.array_specifier,
+      ),
+
+    // All signed integer type names that previously mapped to INT
+    int_type: ($) =>
+      choice(
+        "int",
+        "I8",
+        "int8_t",
+        "I16",
+        "int16_t",
+        "I32",
+        "int32_t",
+        "I64",
+        "int64_t",
+      ),
+
+    // All unsigned integer type names that previously mapped to UINT
+    uint_type: ($) =>
+      choice(
+        "uint",
+        "U8",
+        "uint8_t",
+        "U16",
+        "uint16_t",
+        "U32",
+        "uint32_t",
+        "U64",
+        "uint64_t",
+      ),
+
+    array_specifier: ($) =>
+      seq(
+        field("element", $.type_specifier),
+        "[",
+        field("size", $.constant_expression),
+        "]",
+      ),
+
+    type_qualifier_list: ($) => seq($.type_qualifier, repeat($.type_qualifier)),
+
+    type_qualifier: ($) => choice("const", "mut"),
+
+    init_declarator: ($) =>
+      seq(
+        field("name", $.identifier),
+        optional(seq("=", field("value", $.initializer))),
+      ),
+
+    braced_initializer: ($) =>
+      choice(seq("{", "}"), seq("{", $.initializer_list, "}")),
+
+    initializer: ($) => choice($.assignment_expression, $.braced_initializer),
+
+    initializer_list: ($) =>
+      seq($.initializer, repeat(seq(",", $.initializer))),
+
+    function_signature: ($) =>
+      choice(
+        // (params) -> returns
+        seq(
+          "(",
+          field("parameters", $.parameter_list),
+          ")",
+          "->",
+          field("return_type", $.return_list),
+        ),
+        // () -> returns
+        seq("(", ")", "->", field("return_type", $.return_list)),
+        // (params)        (implicit void)
+        seq("(", field("parameters", $.parameter_list), ")"),
+        // ()              (implicit void)
+        seq("(", ")"),
+      ),
+
+    parameter_list: ($) =>
+      seq($.parameter_declaration, repeat(seq(",", $.parameter_declaration))),
+
+    parameter_declaration: ($) =>
+      seq(field("type", $.declaration_specifier), field("name", $.identifier)),
+
+    return_list: ($) => $.declaration_specifier,
+
+    // ------------------------------------------------------------------------
+    // Statements (port of Bison statement rules)
+    // ------------------------------------------------------------------------
+
+    statement: ($) =>
+      choice(
+        $.expression_statement,
+        $.primary_block,
+        $.jump_statement,
+        $.print_statement,
+      ),
+
+    expression_statement: ($) =>
+      seq(optional(field("expression", $.expression)), ";"),
+
+    primary_block: ($) =>
+      choice($.statement_block, $.selection_statement, $.iteration_statement),
+
+    // secondary_block is just a single statement
+    secondary_block: ($) => $.statement,
+
+    statement_block: ($) =>
+      choice(seq("{", $.block_item_list, "}"), seq("{", "}")),
+
+    block_item_list: ($) => repeat1($.block_item),
+
+    block_item: ($) => choice($.declaration, $.statement),
+
+    // if (...) stmt [else stmt]
+    selection_statement: ($) =>
+      prec.right(
+        seq(
+          "if",
+          "(",
+          field("condition", $.expression),
+          ")",
+          field("consequence", $.statement_block),
+          optional(
+            seq(
+              "else",
+              field(
+                "alternative",
+                choice(
+                  $.statement_block,
+                  $.selection_statement, // else-if chain
+                ),
+              ),
+            ),
+          ),
+        ),
+      ),
+
+    iteration_statement: ($) =>
+      choice(
+        // while (expr) statement
+        seq(
+          "while",
+          "(",
+          field("condition", $.expression),
+          ")",
+          field("body", $.secondary_block),
+        ),
+
+        // for (opt_expr ; opt_expr ; opt_expr) statement
+        seq(
+          "for",
+          "(",
+          optional(field("initializer", $.expression)),
+          ";",
+          optional(field("condition", $.expression)),
+          ";",
+          optional(field("update", $.expression)),
+          ")",
+          field("body", $.secondary_block),
+        ),
+
+        // for (declaration opt_expr ; opt_expr) statement
+        seq(
+          "for",
+          "(",
+          field("initializer", $.declaration),
+          optional(field("condition", $.expression)),
+          ";",
+          optional(field("update", $.expression)),
+          ")",
+          field("body", $.secondary_block),
+        ),
+      ),
+
+    jump_statement: ($) =>
+      choice(
+        seq("continue", ";"),
+        seq("break", ";"),
+        seq("return", ";"),
+        seq("return", field("value", $.expression), ";"),
+      ),
+
+    print_statement: ($) =>
+      seq("print", "(", field("value", $.expression), ")", ";"),
+  },
 });

queries/mc/highlights.scm

@@ -0,0 +1,192 @@
+; Keywords
+"function" @keyword
+"if" @keyword.conditional
+"else" @keyword.conditional
+"while" @keyword.repeat
+"for" @keyword.repeat
+"return" @keyword.return
+"break" @keyword
+"continue" @keyword
+"print" @keyword
+"const" @keyword
+"mut" @keyword
+
+; Type keywords
+"void" @type.builtin
+"bool" @type.builtin
+"char" @type.builtin
+"string" @type.builtin
+"int" @type.builtin
+"uint" @type.builtin
+"I8" @type.builtin
+"int8_t" @type.builtin
+"I16" @type.builtin
+"int16_t" @type.builtin
+"I32" @type.builtin
+"int32_t" @type.builtin
+"I64" @type.builtin
+"int64_t" @type.builtin
+"U8" @type.builtin
+"uint8_t" @type.builtin
+"U16" @type.builtin
+"uint16_t" @type.builtin
+"U32" @type.builtin
+"uint32_t" @type.builtin
+"U64" @type.builtin
+"uint64_t" @type.builtin
+
+; Predefined constants
+"NULL" @constant.builtin
+"true" @boolean
+"false" @boolean
+
+; Identifiers
+(identifier) @variable
+
+; Function names
+(function_definition
+  name: (identifier) @function)
+
+; Type specifiers
+(type_specifier) @type
+(int_type) @type.builtin
+(uint_type) @type.builtin
+(array_specifier) @type
+
+; Type qualifiers
+(type_qualifier) @type.qualifier
+
+; Parameters
+(parameter_declaration
+  name: (identifier) @parameter)
+
+; Literals
+(integer_literal) @number
+(signed_integer_literal) @number
+(unsigned_integer_literal) @number
+(string_literal) @string
+(char_literal) @string.special
+
+; Operators
+[
+  "+"
+  "-"
+  "*"
+  "/"
+  "="
+  "+="
+  "-="
+  "*="
+  "/="
+  "=="
+  "!="
+  "<"
+  ">"
+  "&&"
+  "||"
+  "!"
+  "++"
+  "--"
+] @operator
+
+(leq_operator) @operator
+(geq_operator) @operator
+
+; Punctuation
+[
+  "("
+  ")"
+  "["
+  "]"
+  "{"
+  "}"
+  ","
+  ";"
+  "->"
+] @punctuation.delimiter
+
+; Comments
+(comment) @comment
+
+; Function calls
+(postfix_expression
+  (base_expression (identifier) @function.call)
+  "(" (argument_expression_list)? ")")
+
+; Array access
+(postfix_expression
+  (base_expression (identifier) @variable)
+  "[" (expression) @variable "]")
+
+; Variable declarations
+(declaration
+  declarator: (init_declarator
+    name: (identifier) @variable))
+
+; Variable assignments
+(assignment_expression
+  (unary_expression
+    (postfix_expression
+      (base_expression (identifier) @variable)))
+  _ @operator)
+
+; Return statements
+(jump_statement
+  "return" @keyword.return
+  (expression)? @variable)
+
+; Print statements
+(print_statement
+  "print" @keyword
+  (expression) @variable)
+
+; If statements
+(selection_statement
+  "if" @keyword.conditional
+  (expression) @variable
+  (statement_block) @block
+  (statement_block)? @block)
+
+; While loops
+(iteration_statement
+  "while" @keyword.repeat
+  (expression) @variable
+  (secondary_block) @block)
+
+; For loops
+(iteration_statement
+  "for" @keyword.repeat
+  (_)? @variable
+  (expression)? @variable
+  (expression)? @variable
+  (secondary_block) @block)
+
+; Function signatures
+(function_signature
+  (parameter_list)? @parameter
+  (return_list)? @type)
+
+; Cast expressions
+(cast_expression
+  (type_specifier_qualifier) @type
+  (cast_expression) @variable)
+
+; Binary expressions
+[
+  (additive_expression)
+  (multiplicative_expression)
+  (relational_expression)
+  (equality_expression)
+  (logical_expression)
+] @operator
+
+; Unary expressions
+(unary_expression
+  [
+    "++"
+    "--"
+    "+"
+    "-"
+    "!"
+  ] @operator
+  (unary_expression) @variable)

src/tree_sitter/alloc.h

@@ -0,0 +1,54 @@
+#ifndef TREE_SITTER_ALLOC_H_
+#define TREE_SITTER_ALLOC_H_
+
+#ifdef __cplusplus
+extern "C" {
+#endif
+
+#include <stdbool.h>
+#include <stdio.h>
+#include <stdlib.h>
+
+// Allow clients to override allocation functions
+#ifdef TREE_SITTER_REUSE_ALLOCATOR
+
+extern void *(*ts_current_malloc)(size_t size);
+extern void *(*ts_current_calloc)(size_t count, size_t size);
+extern void *(*ts_current_realloc)(void *ptr, size_t size);
+extern void (*ts_current_free)(void *ptr);
+
+#ifndef ts_malloc
+#define ts_malloc  ts_current_malloc
+#endif
+#ifndef ts_calloc
+#define ts_calloc  ts_current_calloc
+#endif
+#ifndef ts_realloc
+#define ts_realloc ts_current_realloc
+#endif
+#ifndef ts_free
+#define ts_free    ts_current_free
+#endif
+
+#else
+
+#ifndef ts_malloc
+#define ts_malloc  malloc
+#endif
+#ifndef ts_calloc
+#define ts_calloc  calloc
+#endif
+#ifndef ts_realloc
+#define ts_realloc realloc
+#endif
+#ifndef ts_free
+#define ts_free    free
+#endif
+
+#endif
+
+#ifdef __cplusplus
+}
+#endif
+
+#endif // TREE_SITTER_ALLOC_H_

src/tree_sitter/array.h

@@ -0,0 +1,291 @@
+#ifndef TREE_SITTER_ARRAY_H_
+#define TREE_SITTER_ARRAY_H_
+
+#ifdef __cplusplus
+extern "C" {
+#endif
+
+#include "./alloc.h"
+
+#include <assert.h>
+#include <stdbool.h>
+#include <stdint.h>
+#include <stdlib.h>
+#include <string.h>
+
+#ifdef _MSC_VER
+#pragma warning(push)
+#pragma warning(disable : 4101)
+#elif defined(__GNUC__) || defined(__clang__)
+#pragma GCC diagnostic push
+#pragma GCC diagnostic ignored "-Wunused-variable"
+#endif
+
+#define Array(T)       \
+  struct {             \
+    T *contents;       \
+    uint32_t size;     \
+    uint32_t capacity; \
+  }
+
+/// Initialize an array.
+#define array_init(self) \
+  ((self)->size = 0, (self)->capacity = 0, (self)->contents = NULL)
+
+/// Create an empty array.
+#define array_new() \
+  { NULL, 0, 0 }
+
+/// Get a pointer to the element at a given `index` in the array.
+#define array_get(self, _index) \
+  (assert((uint32_t)(_index) < (self)->size), &(self)->contents[_index])
+
+/// Get a pointer to the first element in the array.
+#define array_front(self) array_get(self, 0)
+
+/// Get a pointer to the last element in the array.
+#define array_back(self) array_get(self, (self)->size - 1)
+
+/// Clear the array, setting its size to zero. Note that this does not free any
+/// memory allocated for the array's contents.
+#define array_clear(self) ((self)->size = 0)
+
+/// Reserve `new_capacity` elements of space in the array. If `new_capacity` is
+/// less than the array's current capacity, this function has no effect.
+#define array_reserve(self, new_capacity) \
+  _array__reserve((Array *)(self), array_elem_size(self), new_capacity)
+
+/// Free any memory allocated for this array. Note that this does not free any
+/// memory allocated for the array's contents.
+#define array_delete(self) _array__delete((Array *)(self))
+
+/// Push a new `element` onto the end of the array.
+#define array_push(self, element)                            \
+  (_array__grow((Array *)(self), 1, array_elem_size(self)), \
+   (self)->contents[(self)->size++] = (element))
+
+/// Increase the array's size by `count` elements.
+/// New elements are zero-initialized.
+#define array_grow_by(self, count) \
+  do { \
+    if ((count) == 0) break; \
+    _array__grow((Array *)(self), count, array_elem_size(self)); \
+    memset((self)->contents + (self)->size, 0, (count) * array_elem_size(self)); \
+    (self)->size += (count); \
+  } while (0)
+
+/// Append all elements from one array to the end of another.
+#define array_push_all(self, other)                                       \
+  array_extend((self), (other)->size, (other)->contents)
+
+/// Append `count` elements to the end of the array, reading their values from the
+/// `contents` pointer.
+#define array_extend(self, count, contents)                    \
+  _array__splice(                                               \
+    (Array *)(self), array_elem_size(self), (self)->size, \
+    0, count,  contents                                        \
+  )
+
+/// Remove `old_count` elements from the array starting at the given `index`. At
+/// the same index, insert `new_count` new elements, reading their values from the
+/// `new_contents` pointer.
+#define array_splice(self, _index, old_count, new_count, new_contents)  \
+  _array__splice(                                                       \
+    (Array *)(self), array_elem_size(self), _index,                \
+    old_count, new_count, new_contents                                 \
+  )
+
+/// Insert one `element` into the array at the given `index`.
+#define array_insert(self, _index, element) \
+  _array__splice((Array *)(self), array_elem_size(self), _index, 0, 1, &(element))
+
+/// Remove one element from the array at the given `index`.
+#define array_erase(self, _index) \
+  _array__erase((Array *)(self), array_elem_size(self), _index)
+
+/// Pop the last element off the array, returning the element by value.
+#define array_pop(self) ((self)->contents[--(self)->size])
+
+/// Assign the contents of one array to another, reallocating if necessary.
+#define array_assign(self, other) \
+  _array__assign((Array *)(self), (const Array *)(other), array_elem_size(self))
+
+/// Swap one array with another
+#define array_swap(self, other) \
+  _array__swap((Array *)(self), (Array *)(other))
+
+/// Get the size of the array contents
+#define array_elem_size(self) (sizeof *(self)->contents)
+
+/// Search a sorted array for a given `needle` value, using the given `compare`
+/// callback to determine the order.
+///
+/// If an existing element is found to be equal to `needle`, then the `index`
+/// out-parameter is set to the existing value's index, and the `exists`
+/// out-parameter is set to true. Otherwise, `index` is set to an index where
+/// `needle` should be inserted in order to preserve the sorting, and `exists`
+/// is set to false.
+#define array_search_sorted_with(self, compare, needle, _index, _exists) \
+  _array__search_sorted(self, 0, compare, , needle, _index, _exists)
+
+/// Search a sorted array for a given `needle` value, using integer comparisons
+/// of a given struct field (specified with a leading dot) to determine the order.
+///
+/// See also `array_search_sorted_with`.
+#define array_search_sorted_by(self, field, needle, _index, _exists) \
+  _array__search_sorted(self, 0, _compare_int, field, needle, _index, _exists)
+
+/// Insert a given `value` into a sorted array, using the given `compare`
+/// callback to determine the order.
+#define array_insert_sorted_with(self, compare, value) \
+  do { \
+    unsigned _index, _exists; \
+    array_search_sorted_with(self, compare, &(value), &_index, &_exists); \
+    if (!_exists) array_insert(self, _index, value); \
+  } while (0)
+
+/// Insert a given `value` into a sorted array, using integer comparisons of
+/// a given struct field (specified with a leading dot) to determine the order.
+///
+/// See also `array_search_sorted_by`.
+#define array_insert_sorted_by(self, field, value) \
+  do { \
+    unsigned _index, _exists; \
+    array_search_sorted_by(self, field, (value) field, &_index, &_exists); \
+    if (!_exists) array_insert(self, _index, value); \
+  } while (0)
+
+// Private
+
+typedef Array(void) Array;
+
+/// This is not what you're looking for, see `array_delete`.
+static inline void _array__delete(Array *self) {
+  if (self->contents) {
+    ts_free(self->contents);
+    self->contents = NULL;
+    self->size = 0;
+    self->capacity = 0;
+  }
+}
+
+/// This is not what you're looking for, see `array_erase`.
+static inline void _array__erase(Array *self, size_t element_size,
+                                uint32_t index) {
+  assert(index < self->size);
+  char *contents = (char *)self->contents;
+  memmove(contents + index * element_size, contents + (index + 1) * element_size,
+          (self->size - index - 1) * element_size);
+  self->size--;
+}
+
+/// This is not what you're looking for, see `array_reserve`.
+static inline void _array__reserve(Array *self, size_t element_size, uint32_t new_capacity) {
+  if (new_capacity > self->capacity) {
+    if (self->contents) {
+      self->contents = ts_realloc(self->contents, new_capacity * element_size);
+    } else {
+      self->contents = ts_malloc(new_capacity * element_size);
+    }
+    self->capacity = new_capacity;
+  }
+}
+
+/// This is not what you're looking for, see `array_assign`.
+static inline void _array__assign(Array *self, const Array *other, size_t element_size) {
+  _array__reserve(self, element_size, other->size);
+  self->size = other->size;
+  memcpy(self->contents, other->contents, self->size * element_size);
+}
+
+/// This is not what you're looking for, see `array_swap`.
+static inline void _array__swap(Array *self, Array *other) {
+  Array swap = *other;
+  *other = *self;
+  *self = swap;
+}
+
+/// This is not what you're looking for, see `array_push` or `array_grow_by`.
+static inline void _array__grow(Array *self, uint32_t count, size_t element_size) {
+  uint32_t new_size = self->size + count;
+  if (new_size > self->capacity) {
+    uint32_t new_capacity = self->capacity * 2;
+    if (new_capacity < 8) new_capacity = 8;
+    if (new_capacity < new_size) new_capacity = new_size;
+    _array__reserve(self, element_size, new_capacity);
+  }
+}
+
+/// This is not what you're looking for, see `array_splice`.
+static inline void _array__splice(Array *self, size_t element_size,
+                                 uint32_t index, uint32_t old_count,
+                                 uint32_t new_count, const void *elements) {
+  uint32_t new_size = self->size + new_count - old_count;
+  uint32_t old_end = index + old_count;
+  uint32_t new_end = index + new_count;
+  assert(old_end <= self->size);
+
+  _array__reserve(self, element_size, new_size);
+
+  char *contents = (char *)self->contents;
+  if (self->size > old_end) {
+    memmove(
+      contents + new_end * element_size,
+      contents + old_end * element_size,
+      (self->size - old_end) * element_size
+    );
+  }
+  if (new_count > 0) {
+    if (elements) {
+      memcpy(
+        (contents + index * element_size),
+        elements,
+        new_count * element_size
+      );
+    } else {
+      memset(
+        (contents + index * element_size),
+        0,
+        new_count * element_size
+      );
+    }
+  }
+  self->size += new_count - old_count;
+}
+
+/// A binary search routine, based on Rust's `std::slice::binary_search_by`.
+/// This is not what you're looking for, see `array_search_sorted_with` or `array_search_sorted_by`.
+#define _array__search_sorted(self, start, compare, suffix, needle, _index, _exists) \
+  do { \
+    *(_index) = start; \
+    *(_exists) = false; \
+    uint32_t size = (self)->size - *(_index); \
+    if (size == 0) break; \
+    int comparison; \
+    while (size > 1) { \
+      uint32_t half_size = size / 2; \
+      uint32_t mid_index = *(_index) + half_size; \
+      comparison = compare(&((self)->contents[mid_index] suffix), (needle)); \
+      if (comparison <= 0) *(_index) = mid_index; \
+      size -= half_size; \
+    } \
+    comparison = compare(&((self)->contents[*(_index)] suffix), (needle)); \
+    if (comparison == 0) *(_exists) = true; \
+    else if (comparison < 0) *(_index) += 1; \
+  } while (0)
+
+/// Helper macro for the `_sorted_by` routines below. This takes the left (existing)
+/// parameter by reference in order to work with the generic sorting function above.
+#define _compare_int(a, b) ((int)*(a) - (int)(b))
+
+#ifdef _MSC_VER
+#pragma warning(pop)
+#elif defined(__GNUC__) || defined(__clang__)
+#pragma GCC diagnostic pop
+#endif
+
+#ifdef __cplusplus
+}
+#endif
+
+#endif  // TREE_SITTER_ARRAY_H_

src/tree_sitter/parser.h

@@ -0,0 +1,286 @@
+#ifndef TREE_SITTER_PARSER_H_
+#define TREE_SITTER_PARSER_H_
+
+#ifdef __cplusplus
+extern "C" {
+#endif
+
+#include <stdbool.h>
+#include <stdint.h>
+#include <stdlib.h>
+
+#define ts_builtin_sym_error ((TSSymbol)-1)
+#define ts_builtin_sym_end 0
+#define TREE_SITTER_SERIALIZATION_BUFFER_SIZE 1024
+
+#ifndef TREE_SITTER_API_H_
+typedef uint16_t TSStateId;
+typedef uint16_t TSSymbol;
+typedef uint16_t TSFieldId;
+typedef struct TSLanguage TSLanguage;
+typedef struct TSLanguageMetadata {
+  uint8_t major_version;
+  uint8_t minor_version;
+  uint8_t patch_version;
+} TSLanguageMetadata;
+#endif
+
+typedef struct {
+  TSFieldId field_id;
+  uint8_t child_index;
+  bool inherited;
+} TSFieldMapEntry;
+
+// Used to index the field and supertype maps.
+typedef struct {
+  uint16_t index;
+  uint16_t length;
+} TSMapSlice;
+
+typedef struct {
+  bool visible;
+  bool named;
+  bool supertype;
+} TSSymbolMetadata;
+
+typedef struct TSLexer TSLexer;
+
+struct TSLexer {
+  int32_t lookahead;
+  TSSymbol result_symbol;
+  void (*advance)(TSLexer *, bool);
+  void (*mark_end)(TSLexer *);
+  uint32_t (*get_column)(TSLexer *);
+  bool (*is_at_included_range_start)(const TSLexer *);
+  bool (*eof)(const TSLexer *);
+  void (*log)(const TSLexer *, const char *, ...);
+};
+
+typedef enum {
+  TSParseActionTypeShift,
+  TSParseActionTypeReduce,
+  TSParseActionTypeAccept,
+  TSParseActionTypeRecover,
+} TSParseActionType;
+
+typedef union {
+  struct {
+    uint8_t type;
+    TSStateId state;
+    bool extra;
+    bool repetition;
+  } shift;
+  struct {
+    uint8_t type;
+    uint8_t child_count;
+    TSSymbol symbol;
+    int16_t dynamic_precedence;
+    uint16_t production_id;
+  } reduce;
+  uint8_t type;
+} TSParseAction;
+
+typedef struct {
+  uint16_t lex_state;
+  uint16_t external_lex_state;
+} TSLexMode;
+
+typedef struct {
+  uint16_t lex_state;
+  uint16_t external_lex_state;
+  uint16_t reserved_word_set_id;
+} TSLexerMode;
+
+typedef union {
+  TSParseAction action;
+  struct {
+    uint8_t count;
+    bool reusable;
+  } entry;
+} TSParseActionEntry;
+
+typedef struct {
+  int32_t start;
+  int32_t end;
+} TSCharacterRange;
+
+struct TSLanguage {
+  uint32_t abi_version;
+  uint32_t symbol_count;
+  uint32_t alias_count;
+  uint32_t token_count;
+  uint32_t external_token_count;
+  uint32_t state_count;
+  uint32_t large_state_count;
+  uint32_t production_id_count;
+  uint32_t field_count;
+  uint16_t max_alias_sequence_length;
+  const uint16_t *parse_table;
+  const uint16_t *small_parse_table;
+  const uint32_t *small_parse_table_map;
+  const TSParseActionEntry *parse_actions;
+  const char * const *symbol_names;
+  const char * const *field_names;
+  const TSMapSlice *field_map_slices;
+  const TSFieldMapEntry *field_map_entries;
+  const TSSymbolMetadata *symbol_metadata;
+  const TSSymbol *public_symbol_map;
+  const uint16_t *alias_map;
+  const TSSymbol *alias_sequences;
+  const TSLexerMode *lex_modes;
+  bool (*lex_fn)(TSLexer *, TSStateId);
+  bool (*keyword_lex_fn)(TSLexer *, TSStateId);
+  TSSymbol keyword_capture_token;
+  struct {
+    const bool *states;
+    const TSSymbol *symbol_map;
+    void *(*create)(void);
+    void (*destroy)(void *);
+    bool (*scan)(void *, TSLexer *, const bool *symbol_whitelist);
+    unsigned (*serialize)(void *, char *);
+    void (*deserialize)(void *, const char *, unsigned);
+  } external_scanner;
+  const TSStateId *primary_state_ids;
+  const char *name;
+  const TSSymbol *reserved_words;
+  uint16_t max_reserved_word_set_size;
+  uint32_t supertype_count;
+  const TSSymbol *supertype_symbols;
+  const TSMapSlice *supertype_map_slices;
+  const TSSymbol *supertype_map_entries;
+  TSLanguageMetadata metadata;
+};
+
+static inline bool set_contains(const TSCharacterRange *ranges, uint32_t len, int32_t lookahead) {
+  uint32_t index = 0;
+  uint32_t size = len - index;
+  while (size > 1) {
+    uint32_t half_size = size / 2;
+    uint32_t mid_index = index + half_size;
+    const TSCharacterRange *range = &ranges[mid_index];
+    if (lookahead >= range->start && lookahead <= range->end) {
+      return true;
+    } else if (lookahead > range->end) {
+      index = mid_index;
+    }
+    size -= half_size;
+  }
+  const TSCharacterRange *range = &ranges[index];
+  return (lookahead >= range->start && lookahead <= range->end);
+}
+
+/*
+ *  Lexer Macros
+ */
+
+#ifdef _MSC_VER
+#define UNUSED __pragma(warning(suppress : 4101))
+#else
+#define UNUSED __attribute__((unused))
+#endif
+
+#define START_LEXER()           \
+  bool result = false;          \
+  bool skip = false;            \
+  UNUSED                        \
+  bool eof = false;             \
+  int32_t lookahead;            \
+  goto start;                   \
+  next_state:                   \
+  lexer->advance(lexer, skip);  \
+  start:                        \
+  skip = false;                 \
+  lookahead = lexer->lookahead;
+
+#define ADVANCE(state_value) \
+  {                          \
+    state = state_value;     \
+    goto next_state;         \
+  }
+
+#define ADVANCE_MAP(...)                                              \
+  {                                                                   \
+    static const uint16_t map[] = { __VA_ARGS__ };                    \
+    for (uint32_t i = 0; i < sizeof(map) / sizeof(map[0]); i += 2) {  \
+      if (map[i] == lookahead) {                                      \
+        state = map[i + 1];                                           \
+        goto next_state;                                              \
+      }                                                               \
+    }                                                                 \
+  }
+
+#define SKIP(state_value) \
+  {                       \
+    skip = true;          \
+    state = state_value;  \
+    goto next_state;      \
+  }
+
+#define ACCEPT_TOKEN(symbol_value)     \
+  result = true;                       \
+  lexer->result_symbol = symbol_value; \
+  lexer->mark_end(lexer);
+
+#define END_STATE() return result;
+
+/*
+ *  Parse Table Macros
+ */
+
+#define SMALL_STATE(id) ((id) - LARGE_STATE_COUNT)
+
+#define STATE(id) id
+
+#define ACTIONS(id) id
+
+#define SHIFT(state_value)            \
+  {{                                  \
+    .shift = {                        \
+      .type = TSParseActionTypeShift, \
+      .state = (state_value)          \
+    }                                 \
+  }}
+
+#define SHIFT_REPEAT(state_value)     \
+  {{                                  \
+    .shift = {                        \
+      .type = TSParseActionTypeShift, \
+      .state = (state_value),         \
+      .repetition = true              \
+    }                                 \
+  }}
+
+#define SHIFT_EXTRA()                 \
+  {{                                  \
+    .shift = {                        \
+      .type = TSParseActionTypeShift, \
+      .extra = true                   \
+    }                                 \
+  }}
+
+#define REDUCE(symbol_name, children, precedence, prod_id) \
+  {{                                                       \
+    .reduce = {                                            \
+      .type = TSParseActionTypeReduce,                     \
+      .symbol = symbol_name,                               \
+      .child_count = children,                             \
+      .dynamic_precedence = precedence,                    \
+      .production_id = prod_id                             \
+    },                                                     \
+  }}
+
+#define RECOVER()                    \
+  {{                                 \
+    .type = TSParseActionTypeRecover \
+  }}
+
+#define ACCEPT_INPUT()              \
+  {{                                \
+    .type = TSParseActionTypeAccept \
+  }}
+
+#ifdef __cplusplus
+}
+#endif
+
+#endif  // TREE_SITTER_PARSER_H_

test/corpus/negative/ArrayExpression1.txt

@@ -0,0 +1,12 @@
+====================
+ArrayExpression1
+:error
+====================
+
+function main() {
+        x[] = 3;
+
+        return;
+}
+
+--------------------

test/corpus/negative/ArrayExpression2.txt

@@ -0,0 +1,12 @@
+====================
+ArrayExpression2
+:error
+====================
+
+function main() {
+        x[1, 3] = 3;
+
+        return;
+}
+
+--------------------

test/corpus/negative/ArrayExpression3.txt

@@ -0,0 +1,12 @@
+====================
+ArrayExpression3
+:error
+====================
+
+function main() {
+        x[[13]] = 3;
+
+        return;
+}
+
+--------------------

test/corpus/negative/ArrayExpression4.txt

@@ -0,0 +1,12 @@
+====================
+ArrayExpression4
+:error
+====================
+
+function main() {
+        x[13 3] = 3;
+
+        return;
+}
+
+--------------------

test/corpus/negative/ArrayExpression5.txt

@@ -0,0 +1,12 @@
+====================
+ArrayExpression5
+:error
+====================
+
+function main() {
+        x[13]3 = 3;
+
+        return;
+}
+
+--------------------

test/corpus/negative/ArrayExpression6.txt

@@ -0,0 +1,12 @@
+====================
+ArrayExpression6
+:error
+====================
+
+function main() {
+        x 3[13] = 3;
+
+        return;
+}
+
+--------------------

test/corpus/negative/Assignments1.txt

@@ -0,0 +1,8 @@
+====================
+Assignments1
+:error
+====================
+
+int x += 3;
+
+--------------------

test/corpus/negative/ForStatement1.txt

@@ -0,0 +1,15 @@
+====================
+ForStatement1
+:error
+====================
+
+function main() -> int {
+        I32 x = 0;
+
+        for (;;;) {
+        }
+
+        return 0;
+}
+
+--------------------

test/corpus/negative/ForStatement2.txt

@@ -0,0 +1,13 @@
+====================
+ForStatement2
+:error
+====================
+
+function main() -> int {
+        for (while (true){};;) {
+        }
+
+        return 0;
+}
+
+--------------------

test/corpus/negative/FunctionCall1.txt

@@ -0,0 +1,10 @@
+====================
+FunctionCall1
+:error
+====================
+
+function main() {
+        f(3 3);
+}
+
+--------------------

test/corpus/negative/FunctionDeclaration1.txt

@@ -0,0 +1,9 @@
+====================
+FunctionDeclaration1
+:error
+====================
+
+int main() {
+}
+
+--------------------

test/corpus/negative/FunctionDeclaration2.txt

@@ -0,0 +1,9 @@
+====================
+FunctionDeclaration2
+:error
+====================
+
+function main() : int {
+}
+
+--------------------

test/corpus/negative/FunctionDeclaration3.txt

@@ -0,0 +1,9 @@
+====================
+FunctionDeclaration3
+:error
+====================
+
+function main() -> {
+}
+
+--------------------

test/corpus/negative/FunctionDeclaration4.txt

@@ -0,0 +1,9 @@
+====================
+FunctionDeclaration4
+:error
+====================
+
+function main(int a int b) {
+}
+
+--------------------

test/corpus/negative/FunctionDeclaration5.txt

@@ -0,0 +1,9 @@
+====================
+FunctionDeclaration5
+:error
+====================
+
+function main(a) {
+}
+
+--------------------

test/corpus/negative/FunctionDeclaration6.txt

@@ -0,0 +1,9 @@
+====================
+FunctionDeclaration6
+:error
+====================
+
+function main(, ) {
+}
+
+--------------------

test/corpus/negative/FunctionDeclaration7.txt

@@ -0,0 +1,9 @@
+====================
+FunctionDeclaration7
+:error
+====================
+
+function main(int a, ) {
+}
+
+--------------------

test/corpus/negative/FunctionDeclaration8.txt

@@ -0,0 +1,9 @@
+====================
+FunctionDeclaration8
+:error
+====================
+
+function main(, int a) {
+}
+
+--------------------

test/corpus/negative/FunctionDeclaration9.txt

@@ -0,0 +1,9 @@
+====================
+FunctionDeclaration9
+:error
+====================
+
+function main(a, int b) {
+}
+
+--------------------

test/corpus/negative/ReturnStatement1.txt

@@ -0,0 +1,10 @@
+====================
+ReturnStatement1
+:error
+====================
+
+function main() -> int {
+        return 1, 4;
+}
+
+--------------------

test/corpus/negative/ReturnStatement2.txt

@@ -0,0 +1,10 @@
+====================
+ReturnStatement2
+:error
+====================
+
+function main() -> int {
+        return 1 4;
+}
+
+--------------------

test/corpus/negative/ReturnStatement3.txt

@@ -0,0 +1,10 @@
+====================
+ReturnStatement3
+:error
+====================
+
+function main() -> int {
+        return (1, 4);
+}
+
+--------------------

test/corpus/negative/WhileStatement1.txt

@@ -0,0 +1,10 @@
+====================
+WhileStatement1
+:error
+====================
+
+function main() {
+        while (true) {
+        }
+
+--------------------

test/corpus/negative/WhileStatement2.txt

@@ -0,0 +1,11 @@
+====================
+WhileStatement2
+:error
+====================
+
+function main() {
+        while (true)
+}
+}
+
+--------------------

test/corpus/negative/WhileStatement3.txt

@@ -0,0 +1,11 @@
+====================
+WhileStatement3
+:error
+====================
+
+function main() {
+        while () {
+        }
+}
+
+--------------------

test/corpus/negative/WhileStatement4.txt

@@ -0,0 +1,12 @@
+====================
+WhileStatement4
+:error
+====================
+
+function main() {
+        while
+                true {
+                }
+}
+
+--------------------

test/corpus/positive/ArithmeticExpression1.txt

@@ -0,0 +1,35 @@
+====================
+ArithmeticExpression1
+====================
+
+int x = a + b;
+
+--------------------
+
+(source_file
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_specifier
+            (int_type))))
+      (init_declarator
+        (identifier)
+        (initializer
+          (assignment_expression
+            (logical_expression
+              (equality_expression
+                (relational_expression
+                  (additive_expression
+                    (multiplicative_expression
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (identifier))))))
+                    (multiplicative_expression
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (identifier))))))))))))))))

test/corpus/positive/ArithmeticExpression2.txt

@@ -0,0 +1,51 @@
+====================
+ArithmeticExpression2
+====================
+
+int x = (a * b) + c;
+
+--------------------
+
+(source_file
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_specifier
+            (int_type))))
+      (init_declarator
+        (identifier)
+        (initializer
+          (assignment_expression
+            (logical_expression
+              (equality_expression
+                (relational_expression
+                  (additive_expression
+                    (multiplicative_expression
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (expression
+                                (assignment_expression
+                                  (logical_expression
+                                    (equality_expression
+                                      (relational_expression
+                                        (additive_expression
+                                          (multiplicative_expression
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (identifier)))))
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (identifier)))))))))))))))))
+                    (multiplicative_expression
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (identifier))))))))))))))))

test/corpus/positive/ArithmeticExpression3.txt

@@ -0,0 +1,51 @@
+====================
+ArithmeticExpression3
+====================
+
+int x = a * (b + c);
+
+--------------------
+
+(source_file
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_specifier
+            (int_type))))
+      (init_declarator
+        (identifier)
+        (initializer
+          (assignment_expression
+            (logical_expression
+              (equality_expression
+                (relational_expression
+                  (additive_expression
+                    (multiplicative_expression
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (identifier)))))
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (expression
+                                (assignment_expression
+                                  (logical_expression
+                                    (equality_expression
+                                      (relational_expression
+                                        (additive_expression
+                                          (multiplicative_expression
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (identifier))))))
+                                          (multiplicative_expression
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (identifier)))))))))))))))))))))))))))

test/corpus/positive/ArithmeticExpression4.txt

@@ -0,0 +1,51 @@
+====================
+ArithmeticExpression4
+====================
+
+int x = a / (b - c);
+
+--------------------
+
+(source_file
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_specifier
+            (int_type))))
+      (init_declarator
+        (identifier)
+        (initializer
+          (assignment_expression
+            (logical_expression
+              (equality_expression
+                (relational_expression
+                  (additive_expression
+                    (multiplicative_expression
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (identifier)))))
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (expression
+                                (assignment_expression
+                                  (logical_expression
+                                    (equality_expression
+                                      (relational_expression
+                                        (additive_expression
+                                          (multiplicative_expression
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (identifier))))))
+                                          (multiplicative_expression
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (identifier)))))))))))))))))))))))))))

test/corpus/positive/ArithmeticExpression5.txt

@@ -0,0 +1,76 @@
+====================
+ArithmeticExpression5
+====================
+
+int x = (4I) - (5i) / (2U);
+
+--------------------
+
+(source_file
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_specifier
+            (int_type))))
+      (init_declarator
+        (identifier)
+        (initializer
+          (assignment_expression
+            (logical_expression
+              (equality_expression
+                (relational_expression
+                  (additive_expression
+                    (multiplicative_expression
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (expression
+                                (assignment_expression
+                                  (logical_expression
+                                    (equality_expression
+                                      (relational_expression
+                                        (additive_expression
+                                          (multiplicative_expression
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (constant
+                                                      (signed_integer_literal))))))))))))))))))
+                    (multiplicative_expression
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (expression
+                                (assignment_expression
+                                  (logical_expression
+                                    (equality_expression
+                                      (relational_expression
+                                        (additive_expression
+                                          (multiplicative_expression
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (constant
+                                                      (signed_integer_literal)))))))))))))))))
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (expression
+                                (assignment_expression
+                                  (logical_expression
+                                    (equality_expression
+                                      (relational_expression
+                                        (additive_expression
+                                          (multiplicative_expression
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (constant
+                                                      (unsigned_integer_literal))))))))))))))))))))))))))))

test/corpus/positive/ArrayExpression1.txt

@@ -0,0 +1,42 @@
+====================
+ArrayExpression1
+====================
+
+int x = y[3u];
+
+--------------------
+
+(source_file
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_specifier
+            (int_type))))
+      (init_declarator
+        (identifier)
+        (initializer
+          (assignment_expression
+            (logical_expression
+              (equality_expression
+                (relational_expression
+                  (additive_expression
+                    (multiplicative_expression
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (identifier))
+                            (expression
+                              (assignment_expression
+                                (logical_expression
+                                  (equality_expression
+                                    (relational_expression
+                                      (additive_expression
+                                        (multiplicative_expression
+                                          (cast_expression
+                                            (unary_expression
+                                              (postfix_expression
+                                                (base_expression
+                                                  (constant
+                                                    (unsigned_integer_literal)))))))))))))))))))))))))))

test/corpus/positive/ArrayExpression2.txt

@@ -0,0 +1,67 @@
+====================
+ArrayExpression2
+====================
+
+int x = y[3u][a][9];
+
+--------------------
+
+(source_file
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_specifier
+            (int_type))))
+      (init_declarator
+        (identifier)
+        (initializer
+          (assignment_expression
+            (logical_expression
+              (equality_expression
+                (relational_expression
+                  (additive_expression
+                    (multiplicative_expression
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (identifier))
+                            (expression
+                              (assignment_expression
+                                (logical_expression
+                                  (equality_expression
+                                    (relational_expression
+                                      (additive_expression
+                                        (multiplicative_expression
+                                          (cast_expression
+                                            (unary_expression
+                                              (postfix_expression
+                                                (base_expression
+                                                  (constant
+                                                    (unsigned_integer_literal)))))))))))))
+                            (expression
+                              (assignment_expression
+                                (logical_expression
+                                  (equality_expression
+                                    (relational_expression
+                                      (additive_expression
+                                        (multiplicative_expression
+                                          (cast_expression
+                                            (unary_expression
+                                              (postfix_expression
+                                                (base_expression
+                                                  (identifier))))))))))))
+                            (expression
+                              (assignment_expression
+                                (logical_expression
+                                  (equality_expression
+                                    (relational_expression
+                                      (additive_expression
+                                        (multiplicative_expression
+                                          (cast_expression
+                                            (unary_expression
+                                              (postfix_expression
+                                                (base_expression
+                                                  (constant
+                                                    (integer_literal)))))))))))))))))))))))))))

test/corpus/positive/ArrayExpression3.txt

@@ -0,0 +1,447 @@
+====================
+ArrayExpression3
+====================
+
+int x = (a[(e / 11 - (h + 12)) * ((e * f) * 13)][12][f]) -
+        ((f[13 * 12]) * (f + ((b - 3) - (11 - e)))) /
+            (((11 / a - (3 + g)) * ((c - d) / 12)) / (13 - (d[0][12])));
+
+--------------------
+
+(source_file
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_specifier
+            (int_type))))
+      (init_declarator
+        (identifier)
+        (initializer
+          (assignment_expression
+            (logical_expression
+              (equality_expression
+                (relational_expression
+                  (additive_expression
+                    (multiplicative_expression
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (expression
+                                (assignment_expression
+                                  (logical_expression
+                                    (equality_expression
+                                      (relational_expression
+                                        (additive_expression
+                                          (multiplicative_expression
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (identifier))
+                                                  (expression
+                                                    (assignment_expression
+                                                      (logical_expression
+                                                        (equality_expression
+                                                          (relational_expression
+                                                            (additive_expression
+                                                              (multiplicative_expression
+                                                                (cast_expression
+                                                                  (unary_expression
+                                                                    (postfix_expression
+                                                                      (base_expression
+                                                                        (expression
+                                                                          (assignment_expression
+                                                                            (logical_expression
+                                                                              (equality_expression
+                                                                                (relational_expression
+                                                                                  (additive_expression
+                                                                                    (multiplicative_expression
+                                                                                      (cast_expression
+                                                                                        (unary_expression
+                                                                                          (postfix_expression
+                                                                                            (base_expression
+                                                                                              (identifier)))))
+                                                                                      (cast_expression
+                                                                                        (unary_expression
+                                                                                          (postfix_expression
+                                                                                            (base_expression
+                                                                                              (constant
+                                                                                                (integer_literal)))))))
+                                                                                    (multiplicative_expression
+                                                                                      (cast_expression
+                                                                                        (unary_expression
+                                                                                          (postfix_expression
+                                                                                            (base_expression
+                                                                                              (expression
+                                                                                                (assignment_expression
+                                                                                                  (logical_expression
+                                                                                                    (equality_expression
+                                                                                                      (relational_expression
+                                                                                                        (additive_expression
+                                                                                                          (multiplicative_expression
+                                                                                                            (cast_expression
+                                                                                                              (unary_expression
+                                                                                                                (postfix_expression
+                                                                                                                  (base_expression
+                                                                                                                    (identifier))))))
+                                                                                                          (multiplicative_expression
+                                                                                                            (cast_expression
+                                                                                                              (unary_expression
+                                                                                                                (postfix_expression
+                                                                                                                  (base_expression
+                                                                                                                    (constant
+                                                                                                                      (integer_literal))))))))))))))))))))))))))))
+                                                                (cast_expression
+                                                                  (unary_expression
+                                                                    (postfix_expression
+                                                                      (base_expression
+                                                                        (expression
+                                                                          (assignment_expression
+                                                                            (logical_expression
+                                                                              (equality_expression
+                                                                                (relational_expression
+                                                                                  (additive_expression
+                                                                                    (multiplicative_expression
+                                                                                      (cast_expression
+                                                                                        (unary_expression
+                                                                                          (postfix_expression
+                                                                                            (base_expression
+                                                                                              (expression
+                                                                                                (assignment_expression
+                                                                                                  (logical_expression
+                                                                                                    (equality_expression
+                                                                                                      (relational_expression
+                                                                                                        (additive_expression
+                                                                                                          (multiplicative_expression
+                                                                                                            (cast_expression
+                                                                                                              (unary_expression
+                                                                                                                (postfix_expression
+                                                                                                                  (base_expression
+                                                                                                                    (identifier)))))
+                                                                                                            (cast_expression
+                                                                                                              (unary_expression
+                                                                                                                (postfix_expression
+                                                                                                                  (base_expression
+                                                                                                                    (identifier))))))))))))))))
+                                                                                      (cast_expression
+                                                                                        (unary_expression
+                                                                                          (postfix_expression
+                                                                                            (base_expression
+                                                                                              (constant
+                                                                                                (integer_literal))))))))))))))))))))))))
+                                                  (expression
+                                                    (assignment_expression
+                                                      (logical_expression
+                                                        (equality_expression
+                                                          (relational_expression
+                                                            (additive_expression
+                                                              (multiplicative_expression
+                                                                (cast_expression
+                                                                  (unary_expression
+                                                                    (postfix_expression
+                                                                      (base_expression
+                                                                        (constant
+                                                                          (integer_literal)))))))))))))
+                                                  (expression
+                                                    (assignment_expression
+                                                      (logical_expression
+                                                        (equality_expression
+                                                          (relational_expression
+                                                            (additive_expression
+                                                              (multiplicative_expression
+                                                                (cast_expression
+                                                                  (unary_expression
+                                                                    (postfix_expression
+                                                                      (base_expression
+                                                                        (identifier)))))))))))))))))))))))))))
+                    (multiplicative_expression
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (expression
+                                (assignment_expression
+                                  (logical_expression
+                                    (equality_expression
+                                      (relational_expression
+                                        (additive_expression
+                                          (multiplicative_expression
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (expression
+                                                      (assignment_expression
+                                                        (logical_expression
+                                                          (equality_expression
+                                                            (relational_expression
+                                                              (additive_expression
+                                                                (multiplicative_expression
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (identifier))
+                                                                        (expression
+                                                                          (assignment_expression
+                                                                            (logical_expression
+                                                                              (equality_expression
+                                                                                (relational_expression
+                                                                                  (additive_expression
+                                                                                    (multiplicative_expression
+                                                                                      (cast_expression
+                                                                                        (unary_expression
+                                                                                          (postfix_expression
+                                                                                            (base_expression
+                                                                                              (constant
+                                                                                                (integer_literal))))))
+                                                                                      (cast_expression
+                                                                                        (unary_expression
+                                                                                          (postfix_expression
+                                                                                            (base_expression
+                                                                                              (constant
+                                                                                                (integer_literal)))))))))))))))))))))))))))
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (expression
+                                                      (assignment_expression
+                                                        (logical_expression
+                                                          (equality_expression
+                                                            (relational_expression
+                                                              (additive_expression
+                                                                (multiplicative_expression
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (identifier))))))
+                                                                (multiplicative_expression
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (expression
+                                                                            (assignment_expression
+                                                                              (logical_expression
+                                                                                (equality_expression
+                                                                                  (relational_expression
+                                                                                    (additive_expression
+                                                                                      (multiplicative_expression
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (expression
+                                                                                                  (assignment_expression
+                                                                                                    (logical_expression
+                                                                                                      (equality_expression
+                                                                                                        (relational_expression
+                                                                                                          (additive_expression
+                                                                                                            (multiplicative_expression
+                                                                                                              (cast_expression
+                                                                                                                (unary_expression
+                                                                                                                  (postfix_expression
+                                                                                                                    (base_expression
+                                                                                                                      (identifier))))))
+                                                                                                            (multiplicative_expression
+                                                                                                              (cast_expression
+                                                                                                                (unary_expression
+                                                                                                                  (postfix_expression
+                                                                                                                    (base_expression
+                                                                                                                      (constant
+                                                                                                                        (integer_literal))))))))))))))))))
+                                                                                      (multiplicative_expression
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (expression
+                                                                                                  (assignment_expression
+                                                                                                    (logical_expression
+                                                                                                      (equality_expression
+                                                                                                        (relational_expression
+                                                                                                          (additive_expression
+                                                                                                            (multiplicative_expression
+                                                                                                              (cast_expression
+                                                                                                                (unary_expression
+                                                                                                                  (postfix_expression
+                                                                                                                    (base_expression
+                                                                                                                      (constant
+                                                                                                                        (integer_literal)))))))
+                                                                                                            (multiplicative_expression
+                                                                                                              (cast_expression
+                                                                                                                (unary_expression
+                                                                                                                  (postfix_expression
+                                                                                                                    (base_expression
+                                                                                                                      (identifier)))))))))))))))))))))))))))))))))))))))))))))))))
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (expression
+                                (assignment_expression
+                                  (logical_expression
+                                    (equality_expression
+                                      (relational_expression
+                                        (additive_expression
+                                          (multiplicative_expression
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (expression
+                                                      (assignment_expression
+                                                        (logical_expression
+                                                          (equality_expression
+                                                            (relational_expression
+                                                              (additive_expression
+                                                                (multiplicative_expression
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (expression
+                                                                            (assignment_expression
+                                                                              (logical_expression
+                                                                                (equality_expression
+                                                                                  (relational_expression
+                                                                                    (additive_expression
+                                                                                      (multiplicative_expression
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (constant
+                                                                                                  (integer_literal))))))
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (identifier))))))
+                                                                                      (multiplicative_expression
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (expression
+                                                                                                  (assignment_expression
+                                                                                                    (logical_expression
+                                                                                                      (equality_expression
+                                                                                                        (relational_expression
+                                                                                                          (additive_expression
+                                                                                                            (multiplicative_expression
+                                                                                                              (cast_expression
+                                                                                                                (unary_expression
+                                                                                                                  (postfix_expression
+                                                                                                                    (base_expression
+                                                                                                                      (constant
+                                                                                                                        (integer_literal)))))))
+                                                                                                            (multiplicative_expression
+                                                                                                              (cast_expression
+                                                                                                                (unary_expression
+                                                                                                                  (postfix_expression
+                                                                                                                    (base_expression
+                                                                                                                      (identifier)))))))))))))))))))))))))))
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (expression
+                                                                            (assignment_expression
+                                                                              (logical_expression
+                                                                                (equality_expression
+                                                                                  (relational_expression
+                                                                                    (additive_expression
+                                                                                      (multiplicative_expression
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (expression
+                                                                                                  (assignment_expression
+                                                                                                    (logical_expression
+                                                                                                      (equality_expression
+                                                                                                        (relational_expression
+                                                                                                          (additive_expression
+                                                                                                            (multiplicative_expression
+                                                                                                              (cast_expression
+                                                                                                                (unary_expression
+                                                                                                                  (postfix_expression
+                                                                                                                    (base_expression
+                                                                                                                      (identifier))))))
+                                                                                                            (multiplicative_expression
+                                                                                                              (cast_expression
+                                                                                                                (unary_expression
+                                                                                                                  (postfix_expression
+                                                                                                                    (base_expression
+                                                                                                                      (identifier))))))))))))))))
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (constant
+                                                                                                  (integer_literal))))))))))))))))))))))))))))
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (expression
+                                                      (assignment_expression
+                                                        (logical_expression
+                                                          (equality_expression
+                                                            (relational_expression
+                                                              (additive_expression
+                                                                (multiplicative_expression
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (constant
+                                                                            (integer_literal)))))))
+                                                                (multiplicative_expression
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (expression
+                                                                            (assignment_expression
+                                                                              (logical_expression
+                                                                                (equality_expression
+                                                                                  (relational_expression
+                                                                                    (additive_expression
+                                                                                      (multiplicative_expression
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (identifier))
+                                                                                              (expression
+                                                                                                (assignment_expression
+                                                                                                  (logical_expression
+                                                                                                    (equality_expression
+                                                                                                      (relational_expression
+                                                                                                        (additive_expression
+                                                                                                          (multiplicative_expression
+                                                                                                            (cast_expression
+                                                                                                              (unary_expression
+                                                                                                                (postfix_expression
+                                                                                                                  (base_expression
+                                                                                                                    (constant
+                                                                                                                      (integer_literal)))))))))))))
+                                                                                              (expression
+                                                                                                (assignment_expression
+                                                                                                  (logical_expression
+                                                                                                    (equality_expression
+                                                                                                      (relational_expression
+                                                                                                        (additive_expression
+                                                                                                          (multiplicative_expression
+                                                                                                            (cast_expression
+                                                                                                              (unary_expression
+                                                                                                                (postfix_expression
+                                                                                                                  (base_expression
+                                                                                                                    (constant
+                                                                                                                      (integer_literal))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))

test/corpus/positive/ArrayExpression4.txt

@@ -0,0 +1,205 @@
+====================
+ArrayExpression4
+====================
+
+int x = h[(((f - h) - 11i8) - (d / 0i64) / (11u16 - b)) +
+          (a[g / f][f - e][d - 12I32])];
+
+--------------------
+
+(source_file
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_specifier
+            (int_type))))
+      (init_declarator
+        (identifier)
+        (initializer
+          (assignment_expression
+            (logical_expression
+              (equality_expression
+                (relational_expression
+                  (additive_expression
+                    (multiplicative_expression
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (identifier))
+                            (expression
+                              (assignment_expression
+                                (logical_expression
+                                  (equality_expression
+                                    (relational_expression
+                                      (additive_expression
+                                        (multiplicative_expression
+                                          (cast_expression
+                                            (unary_expression
+                                              (postfix_expression
+                                                (base_expression
+                                                  (expression
+                                                    (assignment_expression
+                                                      (logical_expression
+                                                        (equality_expression
+                                                          (relational_expression
+                                                            (additive_expression
+                                                              (multiplicative_expression
+                                                                (cast_expression
+                                                                  (unary_expression
+                                                                    (postfix_expression
+                                                                      (base_expression
+                                                                        (expression
+                                                                          (assignment_expression
+                                                                            (logical_expression
+                                                                              (equality_expression
+                                                                                (relational_expression
+                                                                                  (additive_expression
+                                                                                    (multiplicative_expression
+                                                                                      (cast_expression
+                                                                                        (unary_expression
+                                                                                          (postfix_expression
+                                                                                            (base_expression
+                                                                                              (expression
+                                                                                                (assignment_expression
+                                                                                                  (logical_expression
+                                                                                                    (equality_expression
+                                                                                                      (relational_expression
+                                                                                                        (additive_expression
+                                                                                                          (multiplicative_expression
+                                                                                                            (cast_expression
+                                                                                                              (unary_expression
+                                                                                                                (postfix_expression
+                                                                                                                  (base_expression
+                                                                                                                    (identifier))))))
+                                                                                                          (multiplicative_expression
+                                                                                                            (cast_expression
+                                                                                                              (unary_expression
+                                                                                                                (postfix_expression
+                                                                                                                  (base_expression
+                                                                                                                    (identifier)))))))))))))))))
+                                                                                    (multiplicative_expression
+                                                                                      (cast_expression
+                                                                                        (unary_expression
+                                                                                          (postfix_expression
+                                                                                            (base_expression
+                                                                                              (constant
+                                                                                                (signed_integer_literal))))))))))))))))))
+                                                              (multiplicative_expression
+                                                                (cast_expression
+                                                                  (unary_expression
+                                                                    (postfix_expression
+                                                                      (base_expression
+                                                                        (expression
+                                                                          (assignment_expression
+                                                                            (logical_expression
+                                                                              (equality_expression
+                                                                                (relational_expression
+                                                                                  (additive_expression
+                                                                                    (multiplicative_expression
+                                                                                      (cast_expression
+                                                                                        (unary_expression
+                                                                                          (postfix_expression
+                                                                                            (base_expression
+                                                                                              (identifier)))))
+                                                                                      (cast_expression
+                                                                                        (unary_expression
+                                                                                          (postfix_expression
+                                                                                            (base_expression
+                                                                                              (constant
+                                                                                                (signed_integer_literal)))))))))))))))))
+                                                                (cast_expression
+                                                                  (unary_expression
+                                                                    (postfix_expression
+                                                                      (base_expression
+                                                                        (expression
+                                                                          (assignment_expression
+                                                                            (logical_expression
+                                                                              (equality_expression
+                                                                                (relational_expression
+                                                                                  (additive_expression
+                                                                                    (multiplicative_expression
+                                                                                      (cast_expression
+                                                                                        (unary_expression
+                                                                                          (postfix_expression
+                                                                                            (base_expression
+                                                                                              (constant
+                                                                                                (unsigned_integer_literal)))))))
+                                                                                    (multiplicative_expression
+                                                                                      (cast_expression
+                                                                                        (unary_expression
+                                                                                          (postfix_expression
+                                                                                            (base_expression
+                                                                                              (identifier))))))))))))))))))))))))))))
+                                        (multiplicative_expression
+                                          (cast_expression
+                                            (unary_expression
+                                              (postfix_expression
+                                                (base_expression
+                                                  (expression
+                                                    (assignment_expression
+                                                      (logical_expression
+                                                        (equality_expression
+                                                          (relational_expression
+                                                            (additive_expression
+                                                              (multiplicative_expression
+                                                                (cast_expression
+                                                                  (unary_expression
+                                                                    (postfix_expression
+                                                                      (base_expression
+                                                                        (identifier))
+                                                                      (expression
+                                                                        (assignment_expression
+                                                                          (logical_expression
+                                                                            (equality_expression
+                                                                              (relational_expression
+                                                                                (additive_expression
+                                                                                  (multiplicative_expression
+                                                                                    (cast_expression
+                                                                                      (unary_expression
+                                                                                        (postfix_expression
+                                                                                          (base_expression
+                                                                                            (identifier)))))
+                                                                                    (cast_expression
+                                                                                      (unary_expression
+                                                                                        (postfix_expression
+                                                                                          (base_expression
+                                                                                            (identifier))))))))))))
+                                                                      (expression
+                                                                        (assignment_expression
+                                                                          (logical_expression
+                                                                            (equality_expression
+                                                                              (relational_expression
+                                                                                (additive_expression
+                                                                                  (multiplicative_expression
+                                                                                    (cast_expression
+                                                                                      (unary_expression
+                                                                                        (postfix_expression
+                                                                                          (base_expression
+                                                                                            (identifier))))))
+                                                                                  (multiplicative_expression
+                                                                                    (cast_expression
+                                                                                      (unary_expression
+                                                                                        (postfix_expression
+                                                                                          (base_expression
+                                                                                            (identifier))))))))))))
+                                                                      (expression
+                                                                        (assignment_expression
+                                                                          (logical_expression
+                                                                            (equality_expression
+                                                                              (relational_expression
+                                                                                (additive_expression
+                                                                                  (multiplicative_expression
+                                                                                    (cast_expression
+                                                                                      (unary_expression
+                                                                                        (postfix_expression
+                                                                                          (base_expression
+                                                                                            (identifier))))))
+                                                                                  (multiplicative_expression
+                                                                                    (cast_expression
+                                                                                      (unary_expression
+                                                                                        (postfix_expression
+                                                                                          (base_expression
+                                                                                            (constant
+                                                                                              (signed_integer_literal))))))))))))))))))))))))))))))))))))))))))))))))

test/corpus/positive/ArrayExpression5.txt

@@ -0,0 +1,233 @@
+====================
+ArrayExpression5
+====================
+
+int x = (e[(c[13u16]) - 11i16 / f][(e / e) / 13U16 + (c + 0I16) * b]) /
+        (e - (11I8 - (a[12U8 * a][d])));
+
+--------------------
+
+(source_file
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_specifier
+            (int_type))))
+      (init_declarator
+        (identifier)
+        (initializer
+          (assignment_expression
+            (logical_expression
+              (equality_expression
+                (relational_expression
+                  (additive_expression
+                    (multiplicative_expression
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (expression
+                                (assignment_expression
+                                  (logical_expression
+                                    (equality_expression
+                                      (relational_expression
+                                        (additive_expression
+                                          (multiplicative_expression
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (identifier))
+                                                  (expression
+                                                    (assignment_expression
+                                                      (logical_expression
+                                                        (equality_expression
+                                                          (relational_expression
+                                                            (additive_expression
+                                                              (multiplicative_expression
+                                                                (cast_expression
+                                                                  (unary_expression
+                                                                    (postfix_expression
+                                                                      (base_expression
+                                                                        (expression
+                                                                          (assignment_expression
+                                                                            (logical_expression
+                                                                              (equality_expression
+                                                                                (relational_expression
+                                                                                  (additive_expression
+                                                                                    (multiplicative_expression
+                                                                                      (cast_expression
+                                                                                        (unary_expression
+                                                                                          (postfix_expression
+                                                                                            (base_expression
+                                                                                              (identifier))
+                                                                                            (expression
+                                                                                              (assignment_expression
+                                                                                                (logical_expression
+                                                                                                  (equality_expression
+                                                                                                    (relational_expression
+                                                                                                      (additive_expression
+                                                                                                        (multiplicative_expression
+                                                                                                          (cast_expression
+                                                                                                            (unary_expression
+                                                                                                              (postfix_expression
+                                                                                                                (base_expression
+                                                                                                                  (constant
+                                                                                                                    (unsigned_integer_literal))))))))))))))))))))))))))))
+                                                              (multiplicative_expression
+                                                                (cast_expression
+                                                                  (unary_expression
+                                                                    (postfix_expression
+                                                                      (base_expression
+                                                                        (constant
+                                                                          (signed_integer_literal))))))
+                                                                (cast_expression
+                                                                  (unary_expression
+                                                                    (postfix_expression
+                                                                      (base_expression
+                                                                        (identifier))))))))))))
+                                                  (expression
+                                                    (assignment_expression
+                                                      (logical_expression
+                                                        (equality_expression
+                                                          (relational_expression
+                                                            (additive_expression
+                                                              (multiplicative_expression
+                                                                (cast_expression
+                                                                  (unary_expression
+                                                                    (postfix_expression
+                                                                      (base_expression
+                                                                        (expression
+                                                                          (assignment_expression
+                                                                            (logical_expression
+                                                                              (equality_expression
+                                                                                (relational_expression
+                                                                                  (additive_expression
+                                                                                    (multiplicative_expression
+                                                                                      (cast_expression
+                                                                                        (unary_expression
+                                                                                          (postfix_expression
+                                                                                            (base_expression
+                                                                                              (identifier)))))
+                                                                                      (cast_expression
+                                                                                        (unary_expression
+                                                                                          (postfix_expression
+                                                                                            (base_expression
+                                                                                              (identifier))))))))))))))))
+                                                                (cast_expression
+                                                                  (unary_expression
+                                                                    (postfix_expression
+                                                                      (base_expression
+                                                                        (constant
+                                                                          (unsigned_integer_literal)))))))
+                                                              (multiplicative_expression
+                                                                (cast_expression
+                                                                  (unary_expression
+                                                                    (postfix_expression
+                                                                      (base_expression
+                                                                        (expression
+                                                                          (assignment_expression
+                                                                            (logical_expression
+                                                                              (equality_expression
+                                                                                (relational_expression
+                                                                                  (additive_expression
+                                                                                    (multiplicative_expression
+                                                                                      (cast_expression
+                                                                                        (unary_expression
+                                                                                          (postfix_expression
+                                                                                            (base_expression
+                                                                                              (identifier))))))
+                                                                                    (multiplicative_expression
+                                                                                      (cast_expression
+                                                                                        (unary_expression
+                                                                                          (postfix_expression
+                                                                                            (base_expression
+                                                                                              (constant
+                                                                                                (signed_integer_literal)))))))))))))))))
+                                                                (cast_expression
+                                                                  (unary_expression
+                                                                    (postfix_expression
+                                                                      (base_expression
+                                                                        (identifier))))))))))))))))))))))))))
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (expression
+                                (assignment_expression
+                                  (logical_expression
+                                    (equality_expression
+                                      (relational_expression
+                                        (additive_expression
+                                          (multiplicative_expression
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (identifier))))))
+                                          (multiplicative_expression
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (expression
+                                                      (assignment_expression
+                                                        (logical_expression
+                                                          (equality_expression
+                                                            (relational_expression
+                                                              (additive_expression
+                                                                (multiplicative_expression
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (constant
+                                                                            (signed_integer_literal)))))))
+                                                                (multiplicative_expression
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (expression
+                                                                            (assignment_expression
+                                                                              (logical_expression
+                                                                                (equality_expression
+                                                                                  (relational_expression
+                                                                                    (additive_expression
+                                                                                      (multiplicative_expression
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (identifier))
+                                                                                              (expression
+                                                                                                (assignment_expression
+                                                                                                  (logical_expression
+                                                                                                    (equality_expression
+                                                                                                      (relational_expression
+                                                                                                        (additive_expression
+                                                                                                          (multiplicative_expression
+                                                                                                            (cast_expression
+                                                                                                              (unary_expression
+                                                                                                                (postfix_expression
+                                                                                                                  (base_expression
+                                                                                                                    (constant
+                                                                                                                      (unsigned_integer_literal))))))
+                                                                                                            (cast_expression
+                                                                                                              (unary_expression
+                                                                                                                (postfix_expression
+                                                                                                                  (base_expression
+                                                                                                                    (identifier))))))))))))
+                                                                                              (expression
+                                                                                                (assignment_expression
+                                                                                                  (logical_expression
+                                                                                                    (equality_expression
+                                                                                                      (relational_expression
+                                                                                                        (additive_expression
+                                                                                                          (multiplicative_expression
+                                                                                                            (cast_expression
+                                                                                                              (unary_expression
+                                                                                                                (postfix_expression
+                                                                                                                  (base_expression
+                                                                                                                    (identifier)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))

test/corpus/positive/ArrayExpression6.txt

@@ -0,0 +1,555 @@
+====================
+ArrayExpression6
+====================
+
+
+int x = (((h[3][a]) / (3 / 13 + 12 * 3)) * ((a[13][e][b]) * 13) +
+         ((13 * 12) / 0 + 3 / (d * 3)) * (13 - c)) /
+        (((d[i]) / 12 + (h + (12 + 12)) * f) +
+         (0 * (3 - (0 - 3))) / ((12 - g) / (a + 0) + (i + a) / (g * 12)));
+
+--------------------
+
+(source_file
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_specifier
+            (int_type))))
+      (init_declarator
+        (identifier)
+        (initializer
+          (assignment_expression
+            (logical_expression
+              (equality_expression
+                (relational_expression
+                  (additive_expression
+                    (multiplicative_expression
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (expression
+                                (assignment_expression
+                                  (logical_expression
+                                    (equality_expression
+                                      (relational_expression
+                                        (additive_expression
+                                          (multiplicative_expression
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (expression
+                                                      (assignment_expression
+                                                        (logical_expression
+                                                          (equality_expression
+                                                            (relational_expression
+                                                              (additive_expression
+                                                                (multiplicative_expression
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (expression
+                                                                            (assignment_expression
+                                                                              (logical_expression
+                                                                                (equality_expression
+                                                                                  (relational_expression
+                                                                                    (additive_expression
+                                                                                      (multiplicative_expression
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (identifier))
+                                                                                              (expression
+                                                                                                (assignment_expression
+                                                                                                  (logical_expression
+                                                                                                    (equality_expression
+                                                                                                      (relational_expression
+                                                                                                        (additive_expression
+                                                                                                          (multiplicative_expression
+                                                                                                            (cast_expression
+                                                                                                              (unary_expression
+                                                                                                                (postfix_expression
+                                                                                                                  (base_expression
+                                                                                                                    (constant
+                                                                                                                      (integer_literal)))))))))))))
+                                                                                              (expression
+                                                                                                (assignment_expression
+                                                                                                  (logical_expression
+                                                                                                    (equality_expression
+                                                                                                      (relational_expression
+                                                                                                        (additive_expression
+                                                                                                          (multiplicative_expression
+                                                                                                            (cast_expression
+                                                                                                              (unary_expression
+                                                                                                                (postfix_expression
+                                                                                                                  (base_expression
+                                                                                                                    (identifier))))))))))))))))))))))))))
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (expression
+                                                                            (assignment_expression
+                                                                              (logical_expression
+                                                                                (equality_expression
+                                                                                  (relational_expression
+                                                                                    (additive_expression
+                                                                                      (multiplicative_expression
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (constant
+                                                                                                  (integer_literal))))))
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (constant
+                                                                                                  (integer_literal)))))))
+                                                                                      (multiplicative_expression
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (constant
+                                                                                                  (integer_literal))))))
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (constant
+                                                                                                  (integer_literal))))))))))))))))))))))))))))
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (expression
+                                                      (assignment_expression
+                                                        (logical_expression
+                                                          (equality_expression
+                                                            (relational_expression
+                                                              (additive_expression
+                                                                (multiplicative_expression
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (expression
+                                                                            (assignment_expression
+                                                                              (logical_expression
+                                                                                (equality_expression
+                                                                                  (relational_expression
+                                                                                    (additive_expression
+                                                                                      (multiplicative_expression
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (identifier))
+                                                                                              (expression
+                                                                                                (assignment_expression
+                                                                                                  (logical_expression
+                                                                                                    (equality_expression
+                                                                                                      (relational_expression
+                                                                                                        (additive_expression
+                                                                                                          (multiplicative_expression
+                                                                                                            (cast_expression
+                                                                                                              (unary_expression
+                                                                                                                (postfix_expression
+                                                                                                                  (base_expression
+                                                                                                                    (constant
+                                                                                                                      (integer_literal)))))))))))))
+                                                                                              (expression
+                                                                                                (assignment_expression
+                                                                                                  (logical_expression
+                                                                                                    (equality_expression
+                                                                                                      (relational_expression
+                                                                                                        (additive_expression
+                                                                                                          (multiplicative_expression
+                                                                                                            (cast_expression
+                                                                                                              (unary_expression
+                                                                                                                (postfix_expression
+                                                                                                                  (base_expression
+                                                                                                                    (identifier))))))))))))
+                                                                                              (expression
+                                                                                                (assignment_expression
+                                                                                                  (logical_expression
+                                                                                                    (equality_expression
+                                                                                                      (relational_expression
+                                                                                                        (additive_expression
+                                                                                                          (multiplicative_expression
+                                                                                                            (cast_expression
+                                                                                                              (unary_expression
+                                                                                                                (postfix_expression
+                                                                                                                  (base_expression
+                                                                                                                    (identifier))))))))))))))))))))))))))
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (constant
+                                                                            (integer_literal))))))))))))))))))
+                                          (multiplicative_expression
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (expression
+                                                      (assignment_expression
+                                                        (logical_expression
+                                                          (equality_expression
+                                                            (relational_expression
+                                                              (additive_expression
+                                                                (multiplicative_expression
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (expression
+                                                                            (assignment_expression
+                                                                              (logical_expression
+                                                                                (equality_expression
+                                                                                  (relational_expression
+                                                                                    (additive_expression
+                                                                                      (multiplicative_expression
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (constant
+                                                                                                  (integer_literal))))))
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (constant
+                                                                                                  (integer_literal)))))))))))))))))
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (constant
+                                                                            (integer_literal)))))))
+                                                                (multiplicative_expression
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (constant
+                                                                            (integer_literal))))))
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (expression
+                                                                            (assignment_expression
+                                                                              (logical_expression
+                                                                                (equality_expression
+                                                                                  (relational_expression
+                                                                                    (additive_expression
+                                                                                      (multiplicative_expression
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (identifier)))))
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (constant
+                                                                                                  (integer_literal))))))))))))))))))))))))))))
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (expression
+                                                      (assignment_expression
+                                                        (logical_expression
+                                                          (equality_expression
+                                                            (relational_expression
+                                                              (additive_expression
+                                                                (multiplicative_expression
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (constant
+                                                                            (integer_literal)))))))
+                                                                (multiplicative_expression
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (identifier)))))))))))))))))))))))))))
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (expression
+                                (assignment_expression
+                                  (logical_expression
+                                    (equality_expression
+                                      (relational_expression
+                                        (additive_expression
+                                          (multiplicative_expression
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (expression
+                                                      (assignment_expression
+                                                        (logical_expression
+                                                          (equality_expression
+                                                            (relational_expression
+                                                              (additive_expression
+                                                                (multiplicative_expression
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (expression
+                                                                            (assignment_expression
+                                                                              (logical_expression
+                                                                                (equality_expression
+                                                                                  (relational_expression
+                                                                                    (additive_expression
+                                                                                      (multiplicative_expression
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (identifier))
+                                                                                              (expression
+                                                                                                (assignment_expression
+                                                                                                  (logical_expression
+                                                                                                    (equality_expression
+                                                                                                      (relational_expression
+                                                                                                        (additive_expression
+                                                                                                          (multiplicative_expression
+                                                                                                            (cast_expression
+                                                                                                              (unary_expression
+                                                                                                                (postfix_expression
+                                                                                                                  (base_expression
+                                                                                                                    (identifier))))))))))))))))))))))))))
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (constant
+                                                                            (integer_literal)))))))
+                                                                (multiplicative_expression
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (expression
+                                                                            (assignment_expression
+                                                                              (logical_expression
+                                                                                (equality_expression
+                                                                                  (relational_expression
+                                                                                    (additive_expression
+                                                                                      (multiplicative_expression
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (identifier))))))
+                                                                                      (multiplicative_expression
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (expression
+                                                                                                  (assignment_expression
+                                                                                                    (logical_expression
+                                                                                                      (equality_expression
+                                                                                                        (relational_expression
+                                                                                                          (additive_expression
+                                                                                                            (multiplicative_expression
+                                                                                                              (cast_expression
+                                                                                                                (unary_expression
+                                                                                                                  (postfix_expression
+                                                                                                                    (base_expression
+                                                                                                                      (constant
+                                                                                                                        (integer_literal)))))))
+                                                                                                            (multiplicative_expression
+                                                                                                              (cast_expression
+                                                                                                                (unary_expression
+                                                                                                                  (postfix_expression
+                                                                                                                    (base_expression
+                                                                                                                      (constant
+                                                                                                                        (integer_literal))))))))))))))))))))))))))))
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (identifier)))))))))))))))))
+                                          (multiplicative_expression
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (expression
+                                                      (assignment_expression
+                                                        (logical_expression
+                                                          (equality_expression
+                                                            (relational_expression
+                                                              (additive_expression
+                                                                (multiplicative_expression
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (constant
+                                                                            (integer_literal))))))
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (expression
+                                                                            (assignment_expression
+                                                                              (logical_expression
+                                                                                (equality_expression
+                                                                                  (relational_expression
+                                                                                    (additive_expression
+                                                                                      (multiplicative_expression
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (constant
+                                                                                                  (integer_literal)))))))
+                                                                                      (multiplicative_expression
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (expression
+                                                                                                  (assignment_expression
+                                                                                                    (logical_expression
+                                                                                                      (equality_expression
+                                                                                                        (relational_expression
+                                                                                                          (additive_expression
+                                                                                                            (multiplicative_expression
+                                                                                                              (cast_expression
+                                                                                                                (unary_expression
+                                                                                                                  (postfix_expression
+                                                                                                                    (base_expression
+                                                                                                                      (constant
+                                                                                                                        (integer_literal)))))))
+                                                                                                            (multiplicative_expression
+                                                                                                              (cast_expression
+                                                                                                                (unary_expression
+                                                                                                                  (postfix_expression
+                                                                                                                    (base_expression
+                                                                                                                      (constant
+                                                                                                                        (integer_literal)))))))))))))))))))))))))))))))))))))))
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (expression
+                                                      (assignment_expression
+                                                        (logical_expression
+                                                          (equality_expression
+                                                            (relational_expression
+                                                              (additive_expression
+                                                                (multiplicative_expression
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (expression
+                                                                            (assignment_expression
+                                                                              (logical_expression
+                                                                                (equality_expression
+                                                                                  (relational_expression
+                                                                                    (additive_expression
+                                                                                      (multiplicative_expression
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (constant
+                                                                                                  (integer_literal)))))))
+                                                                                      (multiplicative_expression
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (identifier))))))))))))))))
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (expression
+                                                                            (assignment_expression
+                                                                              (logical_expression
+                                                                                (equality_expression
+                                                                                  (relational_expression
+                                                                                    (additive_expression
+                                                                                      (multiplicative_expression
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (identifier))))))
+                                                                                      (multiplicative_expression
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (constant
+                                                                                                  (integer_literal))))))))))))))))))
+                                                                (multiplicative_expression
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (expression
+                                                                            (assignment_expression
+                                                                              (logical_expression
+                                                                                (equality_expression
+                                                                                  (relational_expression
+                                                                                    (additive_expression
+                                                                                      (multiplicative_expression
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (identifier))))))
+                                                                                      (multiplicative_expression
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (identifier))))))))))))))))
+                                                                  (cast_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (expression
+                                                                            (assignment_expression
+                                                                              (logical_expression
+                                                                                (equality_expression
+                                                                                  (relational_expression
+                                                                                    (additive_expression
+                                                                                      (multiplicative_expression
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (identifier)))))
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (constant
+                                                                                                  (integer_literal))))))))))))))))))))))))))))))))))))))))))))))))))

test/corpus/positive/ArrayExpression7.txt

@@ -0,0 +1,307 @@
+====================
+ArrayExpression7
+====================
+
+function main() {
+        x[24][a / 4 * 3 + 3][x[3][b[1]]] =
+            (12 + (c[13 + 12][11][12]) * (((12 + 13) - (13 + g)) - i)) *
+            (12 / 11);
+}
+
+--------------------
+
+(source_file
+  (translation_entity
+    (function_definition
+      (identifier)
+      (function_signature)
+      (statement_block
+        (block_item_list
+          (block_item
+            (statement
+              (expression_statement
+                (expression
+                  (assignment_expression
+                    (unary_expression
+                      (postfix_expression
+                        (base_expression
+                          (identifier))
+                        (expression
+                          (assignment_expression
+                            (logical_expression
+                              (equality_expression
+                                (relational_expression
+                                  (additive_expression
+                                    (multiplicative_expression
+                                      (cast_expression
+                                        (unary_expression
+                                          (postfix_expression
+                                            (base_expression
+                                              (constant
+                                                (integer_literal)))))))))))))
+                        (expression
+                          (assignment_expression
+                            (logical_expression
+                              (equality_expression
+                                (relational_expression
+                                  (additive_expression
+                                    (multiplicative_expression
+                                      (cast_expression
+                                        (unary_expression
+                                          (postfix_expression
+                                            (base_expression
+                                              (identifier)))))
+                                      (cast_expression
+                                        (unary_expression
+                                          (postfix_expression
+                                            (base_expression
+                                              (constant
+                                                (integer_literal))))))
+                                      (cast_expression
+                                        (unary_expression
+                                          (postfix_expression
+                                            (base_expression
+                                              (constant
+                                                (integer_literal)))))))
+                                    (multiplicative_expression
+                                      (cast_expression
+                                        (unary_expression
+                                          (postfix_expression
+                                            (base_expression
+                                              (constant
+                                                (integer_literal)))))))))))))
+                        (expression
+                          (assignment_expression
+                            (logical_expression
+                              (equality_expression
+                                (relational_expression
+                                  (additive_expression
+                                    (multiplicative_expression
+                                      (cast_expression
+                                        (unary_expression
+                                          (postfix_expression
+                                            (base_expression
+                                              (identifier))
+                                            (expression
+                                              (assignment_expression
+                                                (logical_expression
+                                                  (equality_expression
+                                                    (relational_expression
+                                                      (additive_expression
+                                                        (multiplicative_expression
+                                                          (cast_expression
+                                                            (unary_expression
+                                                              (postfix_expression
+                                                                (base_expression
+                                                                  (constant
+                                                                    (integer_literal)))))))))))))
+                                            (expression
+                                              (assignment_expression
+                                                (logical_expression
+                                                  (equality_expression
+                                                    (relational_expression
+                                                      (additive_expression
+                                                        (multiplicative_expression
+                                                          (cast_expression
+                                                            (unary_expression
+                                                              (postfix_expression
+                                                                (base_expression
+                                                                  (identifier))
+                                                                (expression
+                                                                  (assignment_expression
+                                                                    (logical_expression
+                                                                      (equality_expression
+                                                                        (relational_expression
+                                                                          (additive_expression
+                                                                            (multiplicative_expression
+                                                                              (cast_expression
+                                                                                (unary_expression
+                                                                                  (postfix_expression
+                                                                                    (base_expression
+                                                                                      (constant
+                                                                                        (integer_literal)))))))))))))))))))))))))))))))))))
+                    (assignment_expression
+                      (logical_expression
+                        (equality_expression
+                          (relational_expression
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (expression
+                                          (assignment_expression
+                                            (logical_expression
+                                              (equality_expression
+                                                (relational_expression
+                                                  (additive_expression
+                                                    (multiplicative_expression
+                                                      (cast_expression
+                                                        (unary_expression
+                                                          (postfix_expression
+                                                            (base_expression
+                                                              (constant
+                                                                (integer_literal)))))))
+                                                    (multiplicative_expression
+                                                      (cast_expression
+                                                        (unary_expression
+                                                          (postfix_expression
+                                                            (base_expression
+                                                              (expression
+                                                                (assignment_expression
+                                                                  (logical_expression
+                                                                    (equality_expression
+                                                                      (relational_expression
+                                                                        (additive_expression
+                                                                          (multiplicative_expression
+                                                                            (cast_expression
+                                                                              (unary_expression
+                                                                                (postfix_expression
+                                                                                  (base_expression
+                                                                                    (identifier))
+                                                                                  (expression
+                                                                                    (assignment_expression
+                                                                                      (logical_expression
+                                                                                        (equality_expression
+                                                                                          (relational_expression
+                                                                                            (additive_expression
+                                                                                              (multiplicative_expression
+                                                                                                (cast_expression
+                                                                                                  (unary_expression
+                                                                                                    (postfix_expression
+                                                                                                      (base_expression
+                                                                                                        (constant
+                                                                                                          (integer_literal)))))))
+                                                                                              (multiplicative_expression
+                                                                                                (cast_expression
+                                                                                                  (unary_expression
+                                                                                                    (postfix_expression
+                                                                                                      (base_expression
+                                                                                                        (constant
+                                                                                                          (integer_literal)))))))))))))
+                                                                                  (expression
+                                                                                    (assignment_expression
+                                                                                      (logical_expression
+                                                                                        (equality_expression
+                                                                                          (relational_expression
+                                                                                            (additive_expression
+                                                                                              (multiplicative_expression
+                                                                                                (cast_expression
+                                                                                                  (unary_expression
+                                                                                                    (postfix_expression
+                                                                                                      (base_expression
+                                                                                                        (constant
+                                                                                                          (integer_literal)))))))))))))
+                                                                                  (expression
+                                                                                    (assignment_expression
+                                                                                      (logical_expression
+                                                                                        (equality_expression
+                                                                                          (relational_expression
+                                                                                            (additive_expression
+                                                                                              (multiplicative_expression
+                                                                                                (cast_expression
+                                                                                                  (unary_expression
+                                                                                                    (postfix_expression
+                                                                                                      (base_expression
+                                                                                                        (constant
+                                                                                                          (integer_literal)))))))))))))))))))))))))))
+                                                      (cast_expression
+                                                        (unary_expression
+                                                          (postfix_expression
+                                                            (base_expression
+                                                              (expression
+                                                                (assignment_expression
+                                                                  (logical_expression
+                                                                    (equality_expression
+                                                                      (relational_expression
+                                                                        (additive_expression
+                                                                          (multiplicative_expression
+                                                                            (cast_expression
+                                                                              (unary_expression
+                                                                                (postfix_expression
+                                                                                  (base_expression
+                                                                                    (expression
+                                                                                      (assignment_expression
+                                                                                        (logical_expression
+                                                                                          (equality_expression
+                                                                                            (relational_expression
+                                                                                              (additive_expression
+                                                                                                (multiplicative_expression
+                                                                                                  (cast_expression
+                                                                                                    (unary_expression
+                                                                                                      (postfix_expression
+                                                                                                        (base_expression
+                                                                                                          (expression
+                                                                                                            (assignment_expression
+                                                                                                              (logical_expression
+                                                                                                                (equality_expression
+                                                                                                                  (relational_expression
+                                                                                                                    (additive_expression
+                                                                                                                      (multiplicative_expression
+                                                                                                                        (cast_expression
+                                                                                                                          (unary_expression
+                                                                                                                            (postfix_expression
+                                                                                                                              (base_expression
+                                                                                                                                (constant
+                                                                                                                                  (integer_literal)))))))
+                                                                                                                      (multiplicative_expression
+                                                                                                                        (cast_expression
+                                                                                                                          (unary_expression
+                                                                                                                            (postfix_expression
+                                                                                                                              (base_expression
+                                                                                                                                (constant
+                                                                                                                                  (integer_literal))))))))))))))))))
+                                                                                                (multiplicative_expression
+                                                                                                  (cast_expression
+                                                                                                    (unary_expression
+                                                                                                      (postfix_expression
+                                                                                                        (base_expression
+                                                                                                          (expression
+                                                                                                            (assignment_expression
+                                                                                                              (logical_expression
+                                                                                                                (equality_expression
+                                                                                                                  (relational_expression
+                                                                                                                    (additive_expression
+                                                                                                                      (multiplicative_expression
+                                                                                                                        (cast_expression
+                                                                                                                          (unary_expression
+                                                                                                                            (postfix_expression
+                                                                                                                              (base_expression
+                                                                                                                                (constant
+                                                                                                                                  (integer_literal)))))))
+                                                                                                                      (multiplicative_expression
+                                                                                                                        (cast_expression
+                                                                                                                          (unary_expression
+                                                                                                                            (postfix_expression
+                                                                                                                              (base_expression
+                                                                                                                                (identifier))))))))))))))))))))))))))))
+                                                                          (multiplicative_expression
+                                                                            (cast_expression
+                                                                              (unary_expression
+                                                                                (postfix_expression
+                                                                                  (base_expression
+                                                                                    (identifier)))))))))))))))))))))))))))
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (expression
+                                          (assignment_expression
+                                            (logical_expression
+                                              (equality_expression
+                                                (relational_expression
+                                                  (additive_expression
+                                                    (multiplicative_expression
+                                                      (cast_expression
+                                                        (unary_expression
+                                                          (postfix_expression
+                                                            (base_expression
+                                                              (constant
+                                                                (integer_literal))))))
+                                                      (cast_expression
+                                                        (unary_expression
+                                                          (postfix_expression
+                                                            (base_expression
+                                                              (constant
+                                                                (integer_literal)))))))))))))))))))))))))))))))))

test/corpus/positive/ArrayExpression8.txt

@@ -0,0 +1,94 @@
+====================
+ArrayExpression8
+====================
+
+function main() {
+        int b;
+        int[10] x;
+
+        x[b = 4] = 4;
+
+        return;
+}
+
+--------------------
+
+(source_file
+  (translation_entity
+    (function_definition
+      (identifier)
+      (function_signature)
+      (statement_block
+        (block_item_list
+          (block_item
+            (declaration
+              (declaration_specifier
+                (type_specifier_qualifier
+                  (type_specifier
+                    (int_type))))
+              (init_declarator
+                (identifier))))
+          (block_item
+            (declaration
+              (declaration_specifier
+                (type_specifier_qualifier
+                  (type_specifier
+                    (array_specifier
+                      (type_specifier
+                        (int_type))
+                      (constant_expression
+                        (logical_expression
+                          (equality_expression
+                            (relational_expression
+                              (additive_expression
+                                (multiplicative_expression
+                                  (cast_expression
+                                    (unary_expression
+                                      (postfix_expression
+                                        (base_expression
+                                          (constant
+                                            (integer_literal))))))))))))))))
+              (init_declarator
+                (identifier))))
+          (block_item
+            (statement
+              (expression_statement
+                (expression
+                  (assignment_expression
+                    (unary_expression
+                      (postfix_expression
+                        (base_expression
+                          (identifier))
+                        (expression
+                          (assignment_expression
+                            (unary_expression
+                              (postfix_expression
+                                (base_expression
+                                  (identifier))))
+                            (assignment_expression
+                              (logical_expression
+                                (equality_expression
+                                  (relational_expression
+                                    (additive_expression
+                                      (multiplicative_expression
+                                        (cast_expression
+                                          (unary_expression
+                                            (postfix_expression
+                                              (base_expression
+                                                (constant
+                                                  (integer_literal))))))))))))))))
+                    (assignment_expression
+                      (logical_expression
+                        (equality_expression
+                          (relational_expression
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (constant
+                                          (integer_literal)))))))))))))))))
+          (block_item
+            (statement
+              (jump_statement))))))))

test/corpus/positive/Assignments1.txt

@@ -0,0 +1,171 @@
+====================
+Assignments1
+====================
+
+
+function main() {
+        int x = 0;
+        int y = 3;
+
+        x += 3;
+        y -= x + 3;
+        x *= y * y - 3;
+        y /= x;
+
+        return;
+}
+
+--------------------
+
+(source_file
+  (translation_entity
+    (function_definition
+      (identifier)
+      (function_signature)
+      (statement_block
+        (block_item_list
+          (block_item
+            (declaration
+              (declaration_specifier
+                (type_specifier_qualifier
+                  (type_specifier
+                    (int_type))))
+              (init_declarator
+                (identifier)
+                (initializer
+                  (assignment_expression
+                    (logical_expression
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (unary_expression
+                                  (postfix_expression
+                                    (base_expression
+                                      (constant
+                                        (integer_literal))))))))))))))))
+          (block_item
+            (declaration
+              (declaration_specifier
+                (type_specifier_qualifier
+                  (type_specifier
+                    (int_type))))
+              (init_declarator
+                (identifier)
+                (initializer
+                  (assignment_expression
+                    (logical_expression
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (unary_expression
+                                  (postfix_expression
+                                    (base_expression
+                                      (constant
+                                        (integer_literal))))))))))))))))
+          (block_item
+            (statement
+              (expression_statement
+                (expression
+                  (assignment_expression
+                    (unary_expression
+                      (postfix_expression
+                        (base_expression
+                          (identifier))))
+                    (assignment_expression
+                      (logical_expression
+                        (equality_expression
+                          (relational_expression
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (constant
+                                          (integer_literal)))))))))))))))))
+          (block_item
+            (statement
+              (expression_statement
+                (expression
+                  (assignment_expression
+                    (unary_expression
+                      (postfix_expression
+                        (base_expression
+                          (identifier))))
+                    (assignment_expression
+                      (logical_expression
+                        (equality_expression
+                          (relational_expression
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier))))))
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (constant
+                                          (integer_literal)))))))))))))))))
+          (block_item
+            (statement
+              (expression_statement
+                (expression
+                  (assignment_expression
+                    (unary_expression
+                      (postfix_expression
+                        (base_expression
+                          (identifier))))
+                    (assignment_expression
+                      (logical_expression
+                        (equality_expression
+                          (relational_expression
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier)))))
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier))))))
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (constant
+                                          (integer_literal)))))))))))))))))
+          (block_item
+            (statement
+              (expression_statement
+                (expression
+                  (assignment_expression
+                    (unary_expression
+                      (postfix_expression
+                        (base_expression
+                          (identifier))))
+                    (assignment_expression
+                      (logical_expression
+                        (equality_expression
+                          (relational_expression
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier))))))))))))))))
+          (block_item
+            (statement
+              (jump_statement))))))))

test/corpus/positive/BooleanExpression1.txt

@@ -0,0 +1,68 @@
+====================
+BooleanExpression1
+====================
+
+function main() {
+
+        bool b = true && false || false && true;
+}
+
+--------------------
+
+(source_file
+  (translation_entity
+    (function_definition
+      (identifier)
+      (function_signature)
+      (statement_block
+        (block_item_list
+          (block_item
+            (declaration
+              (declaration_specifier
+                (type_specifier_qualifier
+                  (type_specifier)))
+              (init_declarator
+                (identifier)
+                (initializer
+                  (assignment_expression
+                    (logical_expression
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (unary_expression
+                                  (postfix_expression
+                                    (base_expression
+                                      (constant
+                                        (predefined_constant))))))))))
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (unary_expression
+                                  (postfix_expression
+                                    (base_expression
+                                      (constant
+                                        (predefined_constant))))))))))
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (unary_expression
+                                  (postfix_expression
+                                    (base_expression
+                                      (constant
+                                        (predefined_constant))))))))))
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (unary_expression
+                                  (postfix_expression
+                                    (base_expression
+                                      (constant
+                                        (predefined_constant)))))))))))))))))))))

test/corpus/positive/BooleanExpression2.txt

@@ -0,0 +1,184 @@
+====================
+BooleanExpression2
+====================
+
+function main() {
+        bool b =
+            ((x < 9) || (y >= -1)) || (9 == z) && (x + c > 10 || x - c <= 4);
+}
+
+--------------------
+
+(source_file
+  (translation_entity
+    (function_definition
+      (identifier)
+      (function_signature)
+      (statement_block
+        (block_item_list
+          (block_item
+            (declaration
+              (declaration_specifier
+                (type_specifier_qualifier
+                  (type_specifier)))
+              (init_declarator
+                (identifier)
+                (initializer
+                  (assignment_expression
+                    (logical_expression
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (unary_expression
+                                  (postfix_expression
+                                    (base_expression
+                                      (expression
+                                        (assignment_expression
+                                          (logical_expression
+                                            (equality_expression
+                                              (relational_expression
+                                                (additive_expression
+                                                  (multiplicative_expression
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (expression
+                                                              (assignment_expression
+                                                                (logical_expression
+                                                                  (equality_expression
+                                                                    (relational_expression
+                                                                      (additive_expression
+                                                                        (multiplicative_expression
+                                                                          (cast_expression
+                                                                            (unary_expression
+                                                                              (postfix_expression
+                                                                                (base_expression
+                                                                                  (identifier)))))))
+                                                                      (additive_expression
+                                                                        (multiplicative_expression
+                                                                          (cast_expression
+                                                                            (unary_expression
+                                                                              (postfix_expression
+                                                                                (base_expression
+                                                                                  (constant
+                                                                                    (integer_literal)))))))))))))))))))))
+                                            (equality_expression
+                                              (relational_expression
+                                                (additive_expression
+                                                  (multiplicative_expression
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (expression
+                                                              (assignment_expression
+                                                                (logical_expression
+                                                                  (equality_expression
+                                                                    (relational_expression
+                                                                      (additive_expression
+                                                                        (multiplicative_expression
+                                                                          (cast_expression
+                                                                            (unary_expression
+                                                                              (postfix_expression
+                                                                                (base_expression
+                                                                                  (identifier)))))))
+                                                                      (geq_operator)
+                                                                      (additive_expression
+                                                                        (multiplicative_expression
+                                                                          (cast_expression
+                                                                            (unary_expression
+                                                                              (unary_expression
+                                                                                (postfix_expression
+                                                                                  (base_expression
+                                                                                    (constant
+                                                                                      (integer_literal)))))))))))))))))))))))))))))))))
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (unary_expression
+                                  (postfix_expression
+                                    (base_expression
+                                      (expression
+                                        (assignment_expression
+                                          (logical_expression
+                                            (equality_expression
+                                              (relational_expression
+                                                (additive_expression
+                                                  (multiplicative_expression
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (constant
+                                                              (integer_literal)))))))))
+                                              (relational_expression
+                                                (additive_expression
+                                                  (multiplicative_expression
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (identifier))))))))))))))))))))
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (unary_expression
+                                  (postfix_expression
+                                    (base_expression
+                                      (expression
+                                        (assignment_expression
+                                          (logical_expression
+                                            (equality_expression
+                                              (relational_expression
+                                                (additive_expression
+                                                  (multiplicative_expression
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (identifier))))))
+                                                  (multiplicative_expression
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (identifier)))))))
+                                                (additive_expression
+                                                  (multiplicative_expression
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (constant
+                                                              (integer_literal))))))))))
+                                            (equality_expression
+                                              (relational_expression
+                                                (additive_expression
+                                                  (multiplicative_expression
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (identifier))))))
+                                                  (multiplicative_expression
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (identifier)))))))
+                                                (leq_operator)
+                                                (additive_expression
+                                                  (multiplicative_expression
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (constant
+                                                              (integer_literal))))))))))))))))))))))))))))))))

test/corpus/positive/CastingExpression1.txt

@@ -0,0 +1,102 @@
+====================
+CastingExpression1
+====================
+
+function main() {
+        int x = (int)b;
+        int y = (int)(uint)b;
+        int z = (int)(char)(uint)b;
+}
+
+--------------------
+
+(source_file
+  (translation_entity
+    (function_definition
+      (identifier)
+      (function_signature)
+      (statement_block
+        (block_item_list
+          (block_item
+            (declaration
+              (declaration_specifier
+                (type_specifier_qualifier
+                  (type_specifier
+                    (int_type))))
+              (init_declarator
+                (identifier)
+                (initializer
+                  (assignment_expression
+                    (logical_expression
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (type_specifier_qualifier
+                                  (type_specifier
+                                    (int_type)))
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier))))))))))))))))
+          (block_item
+            (declaration
+              (declaration_specifier
+                (type_specifier_qualifier
+                  (type_specifier
+                    (int_type))))
+              (init_declarator
+                (identifier)
+                (initializer
+                  (assignment_expression
+                    (logical_expression
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (type_specifier_qualifier
+                                  (type_specifier
+                                    (int_type)))
+                                (cast_expression
+                                  (type_specifier_qualifier
+                                    (type_specifier
+                                      (uint_type)))
+                                  (cast_expression
+                                    (unary_expression
+                                      (postfix_expression
+                                        (base_expression
+                                          (identifier)))))))))))))))))
+          (block_item
+            (declaration
+              (declaration_specifier
+                (type_specifier_qualifier
+                  (type_specifier
+                    (int_type))))
+              (init_declarator
+                (identifier)
+                (initializer
+                  (assignment_expression
+                    (logical_expression
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (type_specifier_qualifier
+                                  (type_specifier
+                                    (int_type)))
+                                (cast_expression
+                                  (type_specifier_qualifier
+                                    (type_specifier))
+                                  (cast_expression
+                                    (type_specifier_qualifier
+                                      (type_specifier
+                                        (uint_type)))
+                                    (cast_expression
+                                      (unary_expression
+                                        (postfix_expression
+                                          (base_expression
+                                            (identifier)))))))))))))))))))))))

test/corpus/positive/Character1.txt

@@ -0,0 +1,113 @@
+====================
+Character1
+====================
+
+char a = 'a';
+char b = '\n';
+char c = '\v';
+char d = '=';
+char e = '\'';
+
+--------------------
+
+(source_file
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_specifier)))
+      (init_declarator
+        (identifier)
+        (initializer
+          (assignment_expression
+            (logical_expression
+              (equality_expression
+                (relational_expression
+                  (additive_expression
+                    (multiplicative_expression
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (constant
+                                (char_literal))))))))))))))))
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_specifier)))
+      (init_declarator
+        (identifier)
+        (initializer
+          (assignment_expression
+            (logical_expression
+              (equality_expression
+                (relational_expression
+                  (additive_expression
+                    (multiplicative_expression
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (constant
+                                (char_literal))))))))))))))))
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_specifier)))
+      (init_declarator
+        (identifier)
+        (initializer
+          (assignment_expression
+            (logical_expression
+              (equality_expression
+                (relational_expression
+                  (additive_expression
+                    (multiplicative_expression
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (constant
+                                (char_literal))))))))))))))))
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_specifier)))
+      (init_declarator
+        (identifier)
+        (initializer
+          (assignment_expression
+            (logical_expression
+              (equality_expression
+                (relational_expression
+                  (additive_expression
+                    (multiplicative_expression
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (constant
+                                (char_literal))))))))))))))))
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_specifier)))
+      (init_declarator
+        (identifier)
+        (initializer
+          (assignment_expression
+            (logical_expression
+              (equality_expression
+                (relational_expression
+                  (additive_expression
+                    (multiplicative_expression
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (constant
+                                (char_literal)))))))))))))))))

test/corpus/positive/ForStatement1.txt

@@ -0,0 +1,321 @@
+====================
+ForStatement1
+====================
+
+function e() {
+        int d;
+        i = 12 * (0 * (d - 13 * e));
+        for (; 0 * ((12 / h) / 3) != 13 + g;)
+                ++d;
+        for (int i = 0; f > 0 && 12 == a; i++) {
+                int d;
+                i = b;
+        }
+
+        d = h + 12;
+}
+
+--------------------
+
+(source_file
+  (translation_entity
+    (function_definition
+      (identifier)
+      (function_signature)
+      (statement_block
+        (block_item_list
+          (block_item
+            (declaration
+              (declaration_specifier
+                (type_specifier_qualifier
+                  (type_specifier
+                    (int_type))))
+              (init_declarator
+                (identifier))))
+          (block_item
+            (statement
+              (expression_statement
+                (expression
+                  (assignment_expression
+                    (unary_expression
+                      (postfix_expression
+                        (base_expression
+                          (identifier))))
+                    (assignment_expression
+                      (logical_expression
+                        (equality_expression
+                          (relational_expression
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (constant
+                                          (integer_literal))))))
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (expression
+                                          (assignment_expression
+                                            (logical_expression
+                                              (equality_expression
+                                                (relational_expression
+                                                  (additive_expression
+                                                    (multiplicative_expression
+                                                      (cast_expression
+                                                        (unary_expression
+                                                          (postfix_expression
+                                                            (base_expression
+                                                              (constant
+                                                                (integer_literal))))))
+                                                      (cast_expression
+                                                        (unary_expression
+                                                          (postfix_expression
+                                                            (base_expression
+                                                              (expression
+                                                                (assignment_expression
+                                                                  (logical_expression
+                                                                    (equality_expression
+                                                                      (relational_expression
+                                                                        (additive_expression
+                                                                          (multiplicative_expression
+                                                                            (cast_expression
+                                                                              (unary_expression
+                                                                                (postfix_expression
+                                                                                  (base_expression
+                                                                                    (identifier))))))
+                                                                          (multiplicative_expression
+                                                                            (cast_expression
+                                                                              (unary_expression
+                                                                                (postfix_expression
+                                                                                  (base_expression
+                                                                                    (constant
+                                                                                      (integer_literal))))))
+                                                                            (cast_expression
+                                                                              (unary_expression
+                                                                                (postfix_expression
+                                                                                  (base_expression
+                                                                                    (identifier))))))))))))))))))))))))))))))))))))))
+          (block_item
+            (statement
+              (primary_block
+                (iteration_statement
+                  (expression
+                    (assignment_expression
+                      (logical_expression
+                        (equality_expression
+                          (relational_expression
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (constant
+                                          (integer_literal))))))
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (expression
+                                          (assignment_expression
+                                            (logical_expression
+                                              (equality_expression
+                                                (relational_expression
+                                                  (additive_expression
+                                                    (multiplicative_expression
+                                                      (cast_expression
+                                                        (unary_expression
+                                                          (postfix_expression
+                                                            (base_expression
+                                                              (expression
+                                                                (assignment_expression
+                                                                  (logical_expression
+                                                                    (equality_expression
+                                                                      (relational_expression
+                                                                        (additive_expression
+                                                                          (multiplicative_expression
+                                                                            (cast_expression
+                                                                              (unary_expression
+                                                                                (postfix_expression
+                                                                                  (base_expression
+                                                                                    (constant
+                                                                                      (integer_literal))))))
+                                                                            (cast_expression
+                                                                              (unary_expression
+                                                                                (postfix_expression
+                                                                                  (base_expression
+                                                                                    (identifier))))))))))))))))
+                                                      (cast_expression
+                                                        (unary_expression
+                                                          (postfix_expression
+                                                            (base_expression
+                                                              (constant
+                                                                (integer_literal))))))))))))))))))))
+                          (relational_expression
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (constant
+                                          (integer_literal)))))))
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier))))))))))))
+                  (secondary_block
+                    (statement
+                      (expression_statement
+                        (expression
+                          (assignment_expression
+                            (logical_expression
+                              (equality_expression
+                                (relational_expression
+                                  (additive_expression
+                                    (multiplicative_expression
+                                      (cast_expression
+                                        (unary_expression
+                                          (unary_expression
+                                            (postfix_expression
+                                              (base_expression
+                                                (identifier))))))))))))))))))))
+          (block_item
+            (statement
+              (primary_block
+                (iteration_statement
+                  (declaration
+                    (declaration_specifier
+                      (type_specifier_qualifier
+                        (type_specifier
+                          (int_type))))
+                    (init_declarator
+                      (identifier)
+                      (initializer
+                        (assignment_expression
+                          (logical_expression
+                            (equality_expression
+                              (relational_expression
+                                (additive_expression
+                                  (multiplicative_expression
+                                    (cast_expression
+                                      (unary_expression
+                                        (postfix_expression
+                                          (base_expression
+                                            (constant
+                                              (integer_literal)))))))))))))))
+                  (expression
+                    (assignment_expression
+                      (logical_expression
+                        (equality_expression
+                          (relational_expression
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier)))))))
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (constant
+                                          (integer_literal))))))))))
+                        (equality_expression
+                          (relational_expression
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (constant
+                                          (integer_literal)))))))))
+                          (relational_expression
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier))))))))))))
+                  (expression
+                    (assignment_expression
+                      (logical_expression
+                        (equality_expression
+                          (relational_expression
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier))))))))))))
+                  (secondary_block
+                    (statement
+                      (primary_block
+                        (statement_block
+                          (block_item_list
+                            (block_item
+                              (declaration
+                                (declaration_specifier
+                                  (type_specifier_qualifier
+                                    (type_specifier
+                                      (int_type))))
+                                (init_declarator
+                                  (identifier))))
+                            (block_item
+                              (statement
+                                (expression_statement
+                                  (expression
+                                    (assignment_expression
+                                      (unary_expression
+                                        (postfix_expression
+                                          (base_expression
+                                            (identifier))))
+                                      (assignment_expression
+                                        (logical_expression
+                                          (equality_expression
+                                            (relational_expression
+                                              (additive_expression
+                                                (multiplicative_expression
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (identifier)))))))))))))))))))))))))
+          (block_item
+            (statement
+              (expression_statement
+                (expression
+                  (assignment_expression
+                    (unary_expression
+                      (postfix_expression
+                        (base_expression
+                          (identifier))))
+                    (assignment_expression
+                      (logical_expression
+                        (equality_expression
+                          (relational_expression
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier))))))
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (constant
+                                          (integer_literal))))))))))))))))))))))

test/corpus/positive/ForStatement2.txt

@@ -0,0 +1,579 @@
+====================
+ForStatement2
+====================
+
+function a() {
+        int f;
+        uint64_t b;
+        for (;;) {
+                if ((11 + g) * (3 + d) - (i / 13) / (e - 13) <
+                    (13 * (a + d)) * ((f - 11) + (b - 11))) {
+                        break;
+                } else if (f[d] == 3) {
+                        uint h;
+                        for (; b != 11 || d >= 0;) {
+                                int a;
+                                uint d;
+                                f = 12;
+                                a = 13;
+                        }
+                        e = d;
+                } else {
+                        for (int i = 0;;)
+                                break;
+                }
+
+                int d;
+                for (;; d--) {
+                        for (;;) {
+                                d += 9;
+                        }
+                        g[3][d] = d;
+                }
+        }
+}
+
+--------------------
+
+(source_file
+  (translation_entity
+    (function_definition
+      (identifier)
+      (function_signature)
+      (statement_block
+        (block_item_list
+          (block_item
+            (declaration
+              (declaration_specifier
+                (type_specifier_qualifier
+                  (type_specifier
+                    (int_type))))
+              (init_declarator
+                (identifier))))
+          (block_item
+            (declaration
+              (declaration_specifier
+                (type_specifier_qualifier
+                  (type_specifier
+                    (uint_type))))
+              (init_declarator
+                (identifier))))
+          (block_item
+            (statement
+              (primary_block
+                (iteration_statement
+                  (secondary_block
+                    (statement
+                      (primary_block
+                        (statement_block
+                          (block_item_list
+                            (block_item
+                              (statement
+                                (primary_block
+                                  (selection_statement
+                                    (expression
+                                      (assignment_expression
+                                        (logical_expression
+                                          (equality_expression
+                                            (relational_expression
+                                              (additive_expression
+                                                (multiplicative_expression
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (expression
+                                                            (assignment_expression
+                                                              (logical_expression
+                                                                (equality_expression
+                                                                  (relational_expression
+                                                                    (additive_expression
+                                                                      (multiplicative_expression
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (constant
+                                                                                  (integer_literal)))))))
+                                                                      (multiplicative_expression
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (identifier))))))))))))))))
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (expression
+                                                            (assignment_expression
+                                                              (logical_expression
+                                                                (equality_expression
+                                                                  (relational_expression
+                                                                    (additive_expression
+                                                                      (multiplicative_expression
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (constant
+                                                                                  (integer_literal)))))))
+                                                                      (multiplicative_expression
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (identifier)))))))))))))))))
+                                                (multiplicative_expression
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (expression
+                                                            (assignment_expression
+                                                              (logical_expression
+                                                                (equality_expression
+                                                                  (relational_expression
+                                                                    (additive_expression
+                                                                      (multiplicative_expression
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (identifier)))))
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (constant
+                                                                                  (integer_literal)))))))))))))))))
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (expression
+                                                            (assignment_expression
+                                                              (logical_expression
+                                                                (equality_expression
+                                                                  (relational_expression
+                                                                    (additive_expression
+                                                                      (multiplicative_expression
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (identifier))))))
+                                                                      (multiplicative_expression
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (constant
+                                                                                  (integer_literal)))))))))))))))))))
+                                              (additive_expression
+                                                (multiplicative_expression
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (expression
+                                                            (assignment_expression
+                                                              (logical_expression
+                                                                (equality_expression
+                                                                  (relational_expression
+                                                                    (additive_expression
+                                                                      (multiplicative_expression
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (constant
+                                                                                  (integer_literal))))))
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (expression
+                                                                                  (assignment_expression
+                                                                                    (logical_expression
+                                                                                      (equality_expression
+                                                                                        (relational_expression
+                                                                                          (additive_expression
+                                                                                            (multiplicative_expression
+                                                                                              (cast_expression
+                                                                                                (unary_expression
+                                                                                                  (postfix_expression
+                                                                                                    (base_expression
+                                                                                                      (identifier))))))
+                                                                                            (multiplicative_expression
+                                                                                              (cast_expression
+                                                                                                (unary_expression
+                                                                                                  (postfix_expression
+                                                                                                    (base_expression
+                                                                                                      (identifier)))))))))))))))))))))))))))
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (expression
+                                                            (assignment_expression
+                                                              (logical_expression
+                                                                (equality_expression
+                                                                  (relational_expression
+                                                                    (additive_expression
+                                                                      (multiplicative_expression
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (expression
+                                                                                  (assignment_expression
+                                                                                    (logical_expression
+                                                                                      (equality_expression
+                                                                                        (relational_expression
+                                                                                          (additive_expression
+                                                                                            (multiplicative_expression
+                                                                                              (cast_expression
+                                                                                                (unary_expression
+                                                                                                  (postfix_expression
+                                                                                                    (base_expression
+                                                                                                      (identifier))))))
+                                                                                            (multiplicative_expression
+                                                                                              (cast_expression
+                                                                                                (unary_expression
+                                                                                                  (postfix_expression
+                                                                                                    (base_expression
+                                                                                                      (constant
+                                                                                                        (integer_literal))))))))))))))))))
+                                                                      (multiplicative_expression
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (expression
+                                                                                  (assignment_expression
+                                                                                    (logical_expression
+                                                                                      (equality_expression
+                                                                                        (relational_expression
+                                                                                          (additive_expression
+                                                                                            (multiplicative_expression
+                                                                                              (cast_expression
+                                                                                                (unary_expression
+                                                                                                  (postfix_expression
+                                                                                                    (base_expression
+                                                                                                      (identifier))))))
+                                                                                            (multiplicative_expression
+                                                                                              (cast_expression
+                                                                                                (unary_expression
+                                                                                                  (postfix_expression
+                                                                                                    (base_expression
+                                                                                                      (constant
+                                                                                                        (integer_literal)))))))))))))))))))))))))))))))))))
+                                    (statement_block
+                                      (block_item_list
+                                        (block_item
+                                          (statement
+                                            (jump_statement)))))
+                                    (selection_statement
+                                      (expression
+                                        (assignment_expression
+                                          (logical_expression
+                                            (equality_expression
+                                              (relational_expression
+                                                (additive_expression
+                                                  (multiplicative_expression
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (identifier))
+                                                          (expression
+                                                            (assignment_expression
+                                                              (logical_expression
+                                                                (equality_expression
+                                                                  (relational_expression
+                                                                    (additive_expression
+                                                                      (multiplicative_expression
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (identifier))))))))))))))))))
+                                              (relational_expression
+                                                (additive_expression
+                                                  (multiplicative_expression
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (constant
+                                                              (integer_literal)))))))))))))
+                                      (statement_block
+                                        (block_item_list
+                                          (block_item
+                                            (declaration
+                                              (declaration_specifier
+                                                (type_specifier_qualifier
+                                                  (type_specifier
+                                                    (uint_type))))
+                                              (init_declarator
+                                                (identifier))))
+                                          (block_item
+                                            (statement
+                                              (primary_block
+                                                (iteration_statement
+                                                  (expression
+                                                    (assignment_expression
+                                                      (logical_expression
+                                                        (equality_expression
+                                                          (relational_expression
+                                                            (additive_expression
+                                                              (multiplicative_expression
+                                                                (cast_expression
+                                                                  (unary_expression
+                                                                    (postfix_expression
+                                                                      (base_expression
+                                                                        (identifier))))))))
+                                                          (relational_expression
+                                                            (additive_expression
+                                                              (multiplicative_expression
+                                                                (cast_expression
+                                                                  (unary_expression
+                                                                    (postfix_expression
+                                                                      (base_expression
+                                                                        (constant
+                                                                          (integer_literal))))))))))
+                                                        (equality_expression
+                                                          (relational_expression
+                                                            (additive_expression
+                                                              (multiplicative_expression
+                                                                (cast_expression
+                                                                  (unary_expression
+                                                                    (postfix_expression
+                                                                      (base_expression
+                                                                        (identifier)))))))
+                                                            (geq_operator)
+                                                            (additive_expression
+                                                              (multiplicative_expression
+                                                                (cast_expression
+                                                                  (unary_expression
+                                                                    (postfix_expression
+                                                                      (base_expression
+                                                                        (constant
+                                                                          (integer_literal)))))))))))))
+                                                  (secondary_block
+                                                    (statement
+                                                      (primary_block
+                                                        (statement_block
+                                                          (block_item_list
+                                                            (block_item
+                                                              (declaration
+                                                                (declaration_specifier
+                                                                  (type_specifier_qualifier
+                                                                    (type_specifier
+                                                                      (int_type))))
+                                                                (init_declarator
+                                                                  (identifier))))
+                                                            (block_item
+                                                              (declaration
+                                                                (declaration_specifier
+                                                                  (type_specifier_qualifier
+                                                                    (type_specifier
+                                                                      (uint_type))))
+                                                                (init_declarator
+                                                                  (identifier))))
+                                                            (block_item
+                                                              (statement
+                                                                (expression_statement
+                                                                  (expression
+                                                                    (assignment_expression
+                                                                      (unary_expression
+                                                                        (postfix_expression
+                                                                          (base_expression
+                                                                            (identifier))))
+                                                                      (assignment_expression
+                                                                        (logical_expression
+                                                                          (equality_expression
+                                                                            (relational_expression
+                                                                              (additive_expression
+                                                                                (multiplicative_expression
+                                                                                  (cast_expression
+                                                                                    (unary_expression
+                                                                                      (postfix_expression
+                                                                                        (base_expression
+                                                                                          (constant
+                                                                                            (integer_literal)))))))))))))))))
+                                                            (block_item
+                                                              (statement
+                                                                (expression_statement
+                                                                  (expression
+                                                                    (assignment_expression
+                                                                      (unary_expression
+                                                                        (postfix_expression
+                                                                          (base_expression
+                                                                            (identifier))))
+                                                                      (assignment_expression
+                                                                        (logical_expression
+                                                                          (equality_expression
+                                                                            (relational_expression
+                                                                              (additive_expression
+                                                                                (multiplicative_expression
+                                                                                  (cast_expression
+                                                                                    (unary_expression
+                                                                                      (postfix_expression
+                                                                                        (base_expression
+                                                                                          (constant
+                                                                                            (integer_literal))))))))))))))))))))))))))
+                                          (block_item
+                                            (statement
+                                              (expression_statement
+                                                (expression
+                                                  (assignment_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (identifier))))
+                                                    (assignment_expression
+                                                      (logical_expression
+                                                        (equality_expression
+                                                          (relational_expression
+                                                            (additive_expression
+                                                              (multiplicative_expression
+                                                                (cast_expression
+                                                                  (unary_expression
+                                                                    (postfix_expression
+                                                                      (base_expression
+                                                                        (identifier))))))))))))))))))
+                                      (statement_block
+                                        (block_item_list
+                                          (block_item
+                                            (statement
+                                              (primary_block
+                                                (iteration_statement
+                                                  (declaration
+                                                    (declaration_specifier
+                                                      (type_specifier_qualifier
+                                                        (type_specifier
+                                                          (int_type))))
+                                                    (init_declarator
+                                                      (identifier)
+                                                      (initializer
+                                                        (assignment_expression
+                                                          (logical_expression
+                                                            (equality_expression
+                                                              (relational_expression
+                                                                (additive_expression
+                                                                  (multiplicative_expression
+                                                                    (cast_expression
+                                                                      (unary_expression
+                                                                        (postfix_expression
+                                                                          (base_expression
+                                                                            (constant
+                                                                              (integer_literal)))))))))))))))
+                                                  (secondary_block
+                                                    (statement
+                                                      (jump_statement))))))))))))))
+                            (block_item
+                              (declaration
+                                (declaration_specifier
+                                  (type_specifier_qualifier
+                                    (type_specifier
+                                      (int_type))))
+                                (init_declarator
+                                  (identifier))))
+                            (block_item
+                              (statement
+                                (primary_block
+                                  (iteration_statement
+                                    (expression
+                                      (assignment_expression
+                                        (logical_expression
+                                          (equality_expression
+                                            (relational_expression
+                                              (additive_expression
+                                                (multiplicative_expression
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (identifier))))))))))))
+                                    (secondary_block
+                                      (statement
+                                        (primary_block
+                                          (statement_block
+                                            (block_item_list
+                                              (block_item
+                                                (statement
+                                                  (primary_block
+                                                    (iteration_statement
+                                                      (secondary_block
+                                                        (statement
+                                                          (primary_block
+                                                            (statement_block
+                                                              (block_item_list
+                                                                (block_item
+                                                                  (statement
+                                                                    (expression_statement
+                                                                      (expression
+                                                                        (assignment_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (identifier))))
+                                                                          (assignment_expression
+                                                                            (logical_expression
+                                                                              (equality_expression
+                                                                                (relational_expression
+                                                                                  (additive_expression
+                                                                                    (multiplicative_expression
+                                                                                      (cast_expression
+                                                                                        (unary_expression
+                                                                                          (postfix_expression
+                                                                                            (base_expression
+                                                                                              (constant
+                                                                                                (integer_literal))))))))))))))))))))))))))
+                                              (block_item
+                                                (statement
+                                                  (expression_statement
+                                                    (expression
+                                                      (assignment_expression
+                                                        (unary_expression
+                                                          (postfix_expression
+                                                            (base_expression
+                                                              (identifier))
+                                                            (expression
+                                                              (assignment_expression
+                                                                (logical_expression
+                                                                  (equality_expression
+                                                                    (relational_expression
+                                                                      (additive_expression
+                                                                        (multiplicative_expression
+                                                                          (cast_expression
+                                                                            (unary_expression
+                                                                              (postfix_expression
+                                                                                (base_expression
+                                                                                  (constant
+                                                                                    (integer_literal)))))))))))))
+                                                            (expression
+                                                              (assignment_expression
+                                                                (logical_expression
+                                                                  (equality_expression
+                                                                    (relational_expression
+                                                                      (additive_expression
+                                                                        (multiplicative_expression
+                                                                          (cast_expression
+                                                                            (unary_expression
+                                                                              (postfix_expression
+                                                                                (base_expression
+                                                                                  (identifier))))))))))))))
+                                                        (assignment_expression
+                                                          (logical_expression
+                                                            (equality_expression
+                                                              (relational_expression
+                                                                (additive_expression
+                                                                  (multiplicative_expression
+                                                                    (cast_expression
+                                                                      (unary_expression
+                                                                        (postfix_expression
+                                                                          (base_expression
+                                                                            (identifier)))))))))))))))))))))))))))))))))))))))

test/corpus/positive/ForStatement3.txt

@@ -0,0 +1,72 @@
+====================
+ForStatement3
+====================
+
+function main() -> int {
+        I32 x = 0;
+
+        for (;;) {
+        }
+
+        return 0;
+}
+
+--------------------
+
+(source_file
+  (translation_entity
+    (function_definition
+      (identifier)
+      (function_signature
+        (return_list
+          (declaration_specifier
+            (type_specifier_qualifier
+              (type_specifier
+                (int_type))))))
+      (statement_block
+        (block_item_list
+          (block_item
+            (declaration
+              (declaration_specifier
+                (type_specifier_qualifier
+                  (type_specifier
+                    (int_type))))
+              (init_declarator
+                (identifier)
+                (initializer
+                  (assignment_expression
+                    (logical_expression
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (unary_expression
+                                  (postfix_expression
+                                    (base_expression
+                                      (constant
+                                        (integer_literal))))))))))))))))
+          (block_item
+            (statement
+              (primary_block
+                (iteration_statement
+                  (secondary_block
+                    (statement
+                      (primary_block
+                        (statement_block))))))))
+          (block_item
+            (statement
+              (jump_statement
+                (expression
+                  (assignment_expression
+                    (logical_expression
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (unary_expression
+                                  (postfix_expression
+                                    (base_expression
+                                      (constant
+                                        (integer_literal)))))))))))))))))))))

test/corpus/positive/ForStatement4.txt

@@ -0,0 +1,48 @@
+====================
+ForStatement4
+====================
+
+function main() -> int {
+        for (;;)
+                ;
+
+        return 0;
+}
+
+--------------------
+
+(source_file
+  (translation_entity
+    (function_definition
+      (identifier)
+      (function_signature
+        (return_list
+          (declaration_specifier
+            (type_specifier_qualifier
+              (type_specifier
+                (int_type))))))
+      (statement_block
+        (block_item_list
+          (block_item
+            (statement
+              (primary_block
+                (iteration_statement
+                  (secondary_block
+                    (statement
+                      (expression_statement)))))))
+          (block_item
+            (statement
+              (jump_statement
+                (expression
+                  (assignment_expression
+                    (logical_expression
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (unary_expression
+                                  (postfix_expression
+                                    (base_expression
+                                      (constant
+                                        (integer_literal)))))))))))))))))))))

test/corpus/positive/InitializerDeclaration1.txt

@@ -0,0 +1,164 @@
+====================
+InitializerDeclaration1
+====================
+
+int[10] x = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9};
+
+--------------------
+
+(source_file
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_specifier
+            (array_specifier
+              (type_specifier
+                (int_type))
+              (constant_expression
+                (logical_expression
+                  (equality_expression
+                    (relational_expression
+                      (additive_expression
+                        (multiplicative_expression
+                          (cast_expression
+                            (unary_expression
+                              (postfix_expression
+                                (base_expression
+                                  (constant
+                                    (integer_literal))))))))))))))))
+      (init_declarator
+        (identifier)
+        (initializer
+          (braced_initializer
+            (initializer_list
+              (initializer
+                (assignment_expression
+                  (logical_expression
+                    (equality_expression
+                      (relational_expression
+                        (additive_expression
+                          (multiplicative_expression
+                            (cast_expression
+                              (unary_expression
+                                (postfix_expression
+                                  (base_expression
+                                    (constant
+                                      (integer_literal)))))))))))))
+              (initializer
+                (assignment_expression
+                  (logical_expression
+                    (equality_expression
+                      (relational_expression
+                        (additive_expression
+                          (multiplicative_expression
+                            (cast_expression
+                              (unary_expression
+                                (postfix_expression
+                                  (base_expression
+                                    (constant
+                                      (integer_literal)))))))))))))
+              (initializer
+                (assignment_expression
+                  (logical_expression
+                    (equality_expression
+                      (relational_expression
+                        (additive_expression
+                          (multiplicative_expression
+                            (cast_expression
+                              (unary_expression
+                                (postfix_expression
+                                  (base_expression
+                                    (constant
+                                      (integer_literal)))))))))))))
+              (initializer
+                (assignment_expression
+                  (logical_expression
+                    (equality_expression
+                      (relational_expression
+                        (additive_expression
+                          (multiplicative_expression
+                            (cast_expression
+                              (unary_expression
+                                (postfix_expression
+                                  (base_expression
+                                    (constant
+                                      (integer_literal)))))))))))))
+              (initializer
+                (assignment_expression
+                  (logical_expression
+                    (equality_expression
+                      (relational_expression
+                        (additive_expression
+                          (multiplicative_expression
+                            (cast_expression
+                              (unary_expression
+                                (postfix_expression
+                                  (base_expression
+                                    (constant
+                                      (integer_literal)))))))))))))
+              (initializer
+                (assignment_expression
+                  (logical_expression
+                    (equality_expression
+                      (relational_expression
+                        (additive_expression
+                          (multiplicative_expression
+                            (cast_expression
+                              (unary_expression
+                                (postfix_expression
+                                  (base_expression
+                                    (constant
+                                      (integer_literal)))))))))))))
+              (initializer
+                (assignment_expression
+                  (logical_expression
+                    (equality_expression
+                      (relational_expression
+                        (additive_expression
+                          (multiplicative_expression
+                            (cast_expression
+                              (unary_expression
+                                (postfix_expression
+                                  (base_expression
+                                    (constant
+                                      (integer_literal)))))))))))))
+              (initializer
+                (assignment_expression
+                  (logical_expression
+                    (equality_expression
+                      (relational_expression
+                        (additive_expression
+                          (multiplicative_expression
+                            (cast_expression
+                              (unary_expression
+                                (postfix_expression
+                                  (base_expression
+                                    (constant
+                                      (integer_literal)))))))))))))
+              (initializer
+                (assignment_expression
+                  (logical_expression
+                    (equality_expression
+                      (relational_expression
+                        (additive_expression
+                          (multiplicative_expression
+                            (cast_expression
+                              (unary_expression
+                                (postfix_expression
+                                  (base_expression
+                                    (constant
+                                      (integer_literal)))))))))))))
+              (initializer
+                (assignment_expression
+                  (logical_expression
+                    (equality_expression
+                      (relational_expression
+                        (additive_expression
+                          (multiplicative_expression
+                            (cast_expression
+                              (unary_expression
+                                (postfix_expression
+                                  (base_expression
+                                    (constant
+                                      (integer_literal))))))))))))))))))))

test/corpus/positive/Limits1.txt

@@ -0,0 +1,75 @@
+====================
+Limits1
+====================
+
+I64 x = 9223372036854775807;
+I64 y = -9223372036854775808;
+U64 z = 18446744073709551615;
+
+--------------------
+
+(source_file
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_specifier
+            (int_type))))
+      (init_declarator
+        (identifier)
+        (initializer
+          (assignment_expression
+            (logical_expression
+              (equality_expression
+                (relational_expression
+                  (additive_expression
+                    (multiplicative_expression
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (constant
+                                (integer_literal))))))))))))))))
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_specifier
+            (int_type))))
+      (init_declarator
+        (identifier)
+        (initializer
+          (assignment_expression
+            (logical_expression
+              (equality_expression
+                (relational_expression
+                  (additive_expression
+                    (multiplicative_expression
+                      (cast_expression
+                        (unary_expression
+                          (unary_expression
+                            (postfix_expression
+                              (base_expression
+                                (constant
+                                  (integer_literal)))))))))))))))))
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_specifier
+            (uint_type))))
+      (init_declarator
+        (identifier)
+        (initializer
+          (assignment_expression
+            (logical_expression
+              (equality_expression
+                (relational_expression
+                  (additive_expression
+                    (multiplicative_expression
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (constant
+                                (integer_literal)))))))))))))))))

test/corpus/positive/Program1.txt

@@ -0,0 +1,648 @@
+====================
+Program1
+====================
+
+
+function y(int x, uint32_t z) -> int16_t {
+        mut int[3][13][3] x;
+        const int a = 3;
+        x           = y(3, z(y, y));
+        x(x(13, z) - (z / 3 + a + x), y(y, 13) / (13 / 3 - y / x));
+}
+
+// ----------
+
+function x(int z, int x) -> int {
+        mut int x;
+        int b = 45;
+        return y(13 + (-b) + y, y * y - z / y);
+        y(((y - 13) / (3 - x)) / (13 * (13 + 13)), y(3 - 3, 3 * x));
+}
+
+--------------------
+
+(source_file
+  (translation_entity
+    (function_definition
+      (identifier)
+      (function_signature
+        (parameter_list
+          (parameter_declaration
+            (declaration_specifier
+              (type_specifier_qualifier
+                (type_specifier
+                  (int_type))))
+            (identifier))
+          (parameter_declaration
+            (declaration_specifier
+              (type_specifier_qualifier
+                (type_specifier
+                  (uint_type))))
+            (identifier)))
+        (return_list
+          (declaration_specifier
+            (type_specifier_qualifier
+              (type_specifier
+                (int_type))))))
+      (statement_block
+        (block_item_list
+          (block_item
+            (declaration
+              (declaration_specifier
+                (type_specifier_qualifier
+                  (type_qualifier_list
+                    (type_qualifier))
+                  (type_specifier
+                    (array_specifier
+                      (type_specifier
+                        (array_specifier
+                          (type_specifier
+                            (array_specifier
+                              (type_specifier
+                                (int_type))
+                              (constant_expression
+                                (logical_expression
+                                  (equality_expression
+                                    (relational_expression
+                                      (additive_expression
+                                        (multiplicative_expression
+                                          (cast_expression
+                                            (unary_expression
+                                              (postfix_expression
+                                                (base_expression
+                                                  (constant
+                                                    (integer_literal))))))))))))))
+                          (constant_expression
+                            (logical_expression
+                              (equality_expression
+                                (relational_expression
+                                  (additive_expression
+                                    (multiplicative_expression
+                                      (cast_expression
+                                        (unary_expression
+                                          (postfix_expression
+                                            (base_expression
+                                              (constant
+                                                (integer_literal))))))))))))))
+                      (constant_expression
+                        (logical_expression
+                          (equality_expression
+                            (relational_expression
+                              (additive_expression
+                                (multiplicative_expression
+                                  (cast_expression
+                                    (unary_expression
+                                      (postfix_expression
+                                        (base_expression
+                                          (constant
+                                            (integer_literal))))))))))))))))
+              (init_declarator
+                (identifier))))
+          (block_item
+            (declaration
+              (declaration_specifier
+                (type_specifier_qualifier
+                  (type_qualifier_list
+                    (type_qualifier))
+                  (type_specifier
+                    (int_type))))
+              (init_declarator
+                (identifier)
+                (initializer
+                  (assignment_expression
+                    (logical_expression
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (unary_expression
+                                  (postfix_expression
+                                    (base_expression
+                                      (constant
+                                        (integer_literal))))))))))))))))
+          (block_item
+            (statement
+              (expression_statement
+                (expression
+                  (assignment_expression
+                    (unary_expression
+                      (postfix_expression
+                        (base_expression
+                          (identifier))))
+                    (assignment_expression
+                      (logical_expression
+                        (equality_expression
+                          (relational_expression
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier))
+                                      (argument_expression_list
+                                        (assignment_expression
+                                          (logical_expression
+                                            (equality_expression
+                                              (relational_expression
+                                                (additive_expression
+                                                  (multiplicative_expression
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (constant
+                                                              (integer_literal))))))))))))
+                                        (assignment_expression
+                                          (logical_expression
+                                            (equality_expression
+                                              (relational_expression
+                                                (additive_expression
+                                                  (multiplicative_expression
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (identifier))
+                                                          (argument_expression_list
+                                                            (assignment_expression
+                                                              (logical_expression
+                                                                (equality_expression
+                                                                  (relational_expression
+                                                                    (additive_expression
+                                                                      (multiplicative_expression
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (identifier)))))))))))
+                                                            (assignment_expression
+                                                              (logical_expression
+                                                                (equality_expression
+                                                                  (relational_expression
+                                                                    (additive_expression
+                                                                      (multiplicative_expression
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (identifier))))))))))))))))))))))))))))))))))))
+          (block_item
+            (statement
+              (expression_statement
+                (expression
+                  (assignment_expression
+                    (logical_expression
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (unary_expression
+                                  (postfix_expression
+                                    (base_expression
+                                      (identifier))
+                                    (argument_expression_list
+                                      (assignment_expression
+                                        (logical_expression
+                                          (equality_expression
+                                            (relational_expression
+                                              (additive_expression
+                                                (multiplicative_expression
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (identifier))
+                                                        (argument_expression_list
+                                                          (assignment_expression
+                                                            (logical_expression
+                                                              (equality_expression
+                                                                (relational_expression
+                                                                  (additive_expression
+                                                                    (multiplicative_expression
+                                                                      (cast_expression
+                                                                        (unary_expression
+                                                                          (postfix_expression
+                                                                            (base_expression
+                                                                              (constant
+                                                                                (integer_literal))))))))))))
+                                                          (assignment_expression
+                                                            (logical_expression
+                                                              (equality_expression
+                                                                (relational_expression
+                                                                  (additive_expression
+                                                                    (multiplicative_expression
+                                                                      (cast_expression
+                                                                        (unary_expression
+                                                                          (postfix_expression
+                                                                            (base_expression
+                                                                              (identifier))))))))))))))))
+                                                (multiplicative_expression
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (expression
+                                                            (assignment_expression
+                                                              (logical_expression
+                                                                (equality_expression
+                                                                  (relational_expression
+                                                                    (additive_expression
+                                                                      (multiplicative_expression
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (identifier)))))
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (constant
+                                                                                  (integer_literal)))))))
+                                                                      (multiplicative_expression
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (identifier))))))
+                                                                      (multiplicative_expression
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (identifier))))))))))))))))))))))
+                                      (assignment_expression
+                                        (logical_expression
+                                          (equality_expression
+                                            (relational_expression
+                                              (additive_expression
+                                                (multiplicative_expression
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (identifier))
+                                                        (argument_expression_list
+                                                          (assignment_expression
+                                                            (logical_expression
+                                                              (equality_expression
+                                                                (relational_expression
+                                                                  (additive_expression
+                                                                    (multiplicative_expression
+                                                                      (cast_expression
+                                                                        (unary_expression
+                                                                          (postfix_expression
+                                                                            (base_expression
+                                                                              (identifier)))))))))))
+                                                          (assignment_expression
+                                                            (logical_expression
+                                                              (equality_expression
+                                                                (relational_expression
+                                                                  (additive_expression
+                                                                    (multiplicative_expression
+                                                                      (cast_expression
+                                                                        (unary_expression
+                                                                          (postfix_expression
+                                                                            (base_expression
+                                                                              (constant
+                                                                                (integer_literal))))))))))))))))
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (expression
+                                                            (assignment_expression
+                                                              (logical_expression
+                                                                (equality_expression
+                                                                  (relational_expression
+                                                                    (additive_expression
+                                                                      (multiplicative_expression
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (constant
+                                                                                  (integer_literal))))))
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (constant
+                                                                                  (integer_literal)))))))
+                                                                      (multiplicative_expression
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (identifier)))))
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (identifier))))))))))))))))))))))))))))))))))))))))
+  (comment)
+  (translation_entity
+    (function_definition
+      (identifier)
+      (function_signature
+        (parameter_list
+          (parameter_declaration
+            (declaration_specifier
+              (type_specifier_qualifier
+                (type_specifier
+                  (int_type))))
+            (identifier))
+          (parameter_declaration
+            (declaration_specifier
+              (type_specifier_qualifier
+                (type_specifier
+                  (int_type))))
+            (identifier)))
+        (return_list
+          (declaration_specifier
+            (type_specifier_qualifier
+              (type_specifier
+                (int_type))))))
+      (statement_block
+        (block_item_list
+          (block_item
+            (declaration
+              (declaration_specifier
+                (type_specifier_qualifier
+                  (type_qualifier_list
+                    (type_qualifier))
+                  (type_specifier
+                    (int_type))))
+              (init_declarator
+                (identifier))))
+          (block_item
+            (declaration
+              (declaration_specifier
+                (type_specifier_qualifier
+                  (type_specifier
+                    (int_type))))
+              (init_declarator
+                (identifier)
+                (initializer
+                  (assignment_expression
+                    (logical_expression
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (unary_expression
+                                  (postfix_expression
+                                    (base_expression
+                                      (constant
+                                        (integer_literal))))))))))))))))
+          (block_item
+            (statement
+              (jump_statement
+                (expression
+                  (assignment_expression
+                    (logical_expression
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (unary_expression
+                                  (postfix_expression
+                                    (base_expression
+                                      (identifier))
+                                    (argument_expression_list
+                                      (assignment_expression
+                                        (logical_expression
+                                          (equality_expression
+                                            (relational_expression
+                                              (additive_expression
+                                                (multiplicative_expression
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (constant
+                                                            (integer_literal)))))))
+                                                (multiplicative_expression
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (expression
+                                                            (assignment_expression
+                                                              (logical_expression
+                                                                (equality_expression
+                                                                  (relational_expression
+                                                                    (additive_expression
+                                                                      (multiplicative_expression
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (unary_expression
+                                                                              (postfix_expression
+                                                                                (base_expression
+                                                                                  (identifier))))))))))))))))))
+                                                (multiplicative_expression
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (identifier)))))))))))
+                                      (assignment_expression
+                                        (logical_expression
+                                          (equality_expression
+                                            (relational_expression
+                                              (additive_expression
+                                                (multiplicative_expression
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (identifier)))))
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (identifier))))))
+                                                (multiplicative_expression
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (identifier)))))
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (identifier)))))))))))))))))))))))))
+          (block_item
+            (statement
+              (expression_statement
+                (expression
+                  (assignment_expression
+                    (logical_expression
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (unary_expression
+                                  (postfix_expression
+                                    (base_expression
+                                      (identifier))
+                                    (argument_expression_list
+                                      (assignment_expression
+                                        (logical_expression
+                                          (equality_expression
+                                            (relational_expression
+                                              (additive_expression
+                                                (multiplicative_expression
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (expression
+                                                            (assignment_expression
+                                                              (logical_expression
+                                                                (equality_expression
+                                                                  (relational_expression
+                                                                    (additive_expression
+                                                                      (multiplicative_expression
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (expression
+                                                                                  (assignment_expression
+                                                                                    (logical_expression
+                                                                                      (equality_expression
+                                                                                        (relational_expression
+                                                                                          (additive_expression
+                                                                                            (multiplicative_expression
+                                                                                              (cast_expression
+                                                                                                (unary_expression
+                                                                                                  (postfix_expression
+                                                                                                    (base_expression
+                                                                                                      (identifier))))))
+                                                                                            (multiplicative_expression
+                                                                                              (cast_expression
+                                                                                                (unary_expression
+                                                                                                  (postfix_expression
+                                                                                                    (base_expression
+                                                                                                      (constant
+                                                                                                        (integer_literal)))))))))))))))))
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (expression
+                                                                                  (assignment_expression
+                                                                                    (logical_expression
+                                                                                      (equality_expression
+                                                                                        (relational_expression
+                                                                                          (additive_expression
+                                                                                            (multiplicative_expression
+                                                                                              (cast_expression
+                                                                                                (unary_expression
+                                                                                                  (postfix_expression
+                                                                                                    (base_expression
+                                                                                                      (constant
+                                                                                                        (integer_literal)))))))
+                                                                                            (multiplicative_expression
+                                                                                              (cast_expression
+                                                                                                (unary_expression
+                                                                                                  (postfix_expression
+                                                                                                    (base_expression
+                                                                                                      (identifier)))))))))))))))))))))))))))
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (expression
+                                                            (assignment_expression
+                                                              (logical_expression
+                                                                (equality_expression
+                                                                  (relational_expression
+                                                                    (additive_expression
+                                                                      (multiplicative_expression
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (constant
+                                                                                  (integer_literal))))))
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (expression
+                                                                                  (assignment_expression
+                                                                                    (logical_expression
+                                                                                      (equality_expression
+                                                                                        (relational_expression
+                                                                                          (additive_expression
+                                                                                            (multiplicative_expression
+                                                                                              (cast_expression
+                                                                                                (unary_expression
+                                                                                                  (postfix_expression
+                                                                                                    (base_expression
+                                                                                                      (constant
+                                                                                                        (integer_literal)))))))
+                                                                                            (multiplicative_expression
+                                                                                              (cast_expression
+                                                                                                (unary_expression
+                                                                                                  (postfix_expression
+                                                                                                    (base_expression
+                                                                                                      (constant
+                                                                                                        (integer_literal))))))))))))))))))))))))))))))))))
+                                      (assignment_expression
+                                        (logical_expression
+                                          (equality_expression
+                                            (relational_expression
+                                              (additive_expression
+                                                (multiplicative_expression
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (identifier))
+                                                        (argument_expression_list
+                                                          (assignment_expression
+                                                            (logical_expression
+                                                              (equality_expression
+                                                                (relational_expression
+                                                                  (additive_expression
+                                                                    (multiplicative_expression
+                                                                      (cast_expression
+                                                                        (unary_expression
+                                                                          (postfix_expression
+                                                                            (base_expression
+                                                                              (constant
+                                                                                (integer_literal)))))))
+                                                                    (multiplicative_expression
+                                                                      (cast_expression
+                                                                        (unary_expression
+                                                                          (postfix_expression
+                                                                            (base_expression
+                                                                              (constant
+                                                                                (integer_literal))))))))))))
+                                                          (assignment_expression
+                                                            (logical_expression
+                                                              (equality_expression
+                                                                (relational_expression
+                                                                  (additive_expression
+                                                                    (multiplicative_expression
+                                                                      (cast_expression
+                                                                        (unary_expression
+                                                                          (postfix_expression
+                                                                            (base_expression
+                                                                              (constant
+                                                                                (integer_literal))))))
+                                                                      (cast_expression
+                                                                        (unary_expression
+                                                                          (postfix_expression
+                                                                            (base_expression
+                                                                              (identifier))))))))))))))))))))))))))))))))))))))))

test/corpus/positive/Program2.txt

@@ -0,0 +1,906 @@
+====================
+Program2
+====================
+
+function x(int y, int x) -> int {
+        const int y;
+        z = x(3 / 3, y) * y(3 + z, z);
+        while (y > 13 / x) {
+                int[13][3][3] x;
+                y = (z - 3) * 3;
+                y(z * y, 3 + 3);
+        }
+}
+
+//----------
+
+function y(int y, char z) -> int[3u] {
+        mut bool z;
+        if (y * ((z - 13) - z) >= ((z * 3) / (y - y)) * ((x - z) * x)) {
+                U64 y;
+                if (y + y <= 3 + x) {
+                        I32 z;
+                        return y;
+                        return;
+                }
+                z(13 / x, z);
+        } else if (x * 3 > 0) {
+                const uint32_t a = y(y * x, 3);
+                return a;
+        } else {
+                z(13i32);
+        }
+        x = x(13 - y, 13 * 3) * ((z * 3 - 3) - (13 - 13) / z);
+}
+
+--------------------
+
+(source_file
+  (translation_entity
+    (function_definition
+      (identifier)
+      (function_signature
+        (parameter_list
+          (parameter_declaration
+            (declaration_specifier
+              (type_specifier_qualifier
+                (type_specifier
+                  (int_type))))
+            (identifier))
+          (parameter_declaration
+            (declaration_specifier
+              (type_specifier_qualifier
+                (type_specifier
+                  (int_type))))
+            (identifier)))
+        (return_list
+          (declaration_specifier
+            (type_specifier_qualifier
+              (type_specifier
+                (int_type))))))
+      (statement_block
+        (block_item_list
+          (block_item
+            (declaration
+              (declaration_specifier
+                (type_specifier_qualifier
+                  (type_qualifier_list
+                    (type_qualifier))
+                  (type_specifier
+                    (int_type))))
+              (init_declarator
+                (identifier))))
+          (block_item
+            (statement
+              (expression_statement
+                (expression
+                  (assignment_expression
+                    (unary_expression
+                      (postfix_expression
+                        (base_expression
+                          (identifier))))
+                    (assignment_expression
+                      (logical_expression
+                        (equality_expression
+                          (relational_expression
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier))
+                                      (argument_expression_list
+                                        (assignment_expression
+                                          (logical_expression
+                                            (equality_expression
+                                              (relational_expression
+                                                (additive_expression
+                                                  (multiplicative_expression
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (constant
+                                                              (integer_literal))))))
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (constant
+                                                              (integer_literal))))))))))))
+                                        (assignment_expression
+                                          (logical_expression
+                                            (equality_expression
+                                              (relational_expression
+                                                (additive_expression
+                                                  (multiplicative_expression
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (identifier)))))))))))))))
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier))
+                                      (argument_expression_list
+                                        (assignment_expression
+                                          (logical_expression
+                                            (equality_expression
+                                              (relational_expression
+                                                (additive_expression
+                                                  (multiplicative_expression
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (constant
+                                                              (integer_literal)))))))
+                                                  (multiplicative_expression
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (identifier)))))))))))
+                                        (assignment_expression
+                                          (logical_expression
+                                            (equality_expression
+                                              (relational_expression
+                                                (additive_expression
+                                                  (multiplicative_expression
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (identifier))))))))))))))))))))))))))
+          (block_item
+            (statement
+              (primary_block
+                (iteration_statement
+                  (expression
+                    (assignment_expression
+                      (logical_expression
+                        (equality_expression
+                          (relational_expression
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier)))))))
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (constant
+                                          (integer_literal))))))
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier))))))))))))
+                  (secondary_block
+                    (statement
+                      (primary_block
+                        (statement_block
+                          (block_item_list
+                            (block_item
+                              (declaration
+                                (declaration_specifier
+                                  (type_specifier_qualifier
+                                    (type_specifier
+                                      (array_specifier
+                                        (type_specifier
+                                          (array_specifier
+                                            (type_specifier
+                                              (array_specifier
+                                                (type_specifier
+                                                  (int_type))
+                                                (constant_expression
+                                                  (logical_expression
+                                                    (equality_expression
+                                                      (relational_expression
+                                                        (additive_expression
+                                                          (multiplicative_expression
+                                                            (cast_expression
+                                                              (unary_expression
+                                                                (postfix_expression
+                                                                  (base_expression
+                                                                    (constant
+                                                                      (integer_literal))))))))))))))
+                                            (constant_expression
+                                              (logical_expression
+                                                (equality_expression
+                                                  (relational_expression
+                                                    (additive_expression
+                                                      (multiplicative_expression
+                                                        (cast_expression
+                                                          (unary_expression
+                                                            (postfix_expression
+                                                              (base_expression
+                                                                (constant
+                                                                  (integer_literal))))))))))))))
+                                        (constant_expression
+                                          (logical_expression
+                                            (equality_expression
+                                              (relational_expression
+                                                (additive_expression
+                                                  (multiplicative_expression
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (constant
+                                                              (integer_literal))))))))))))))))
+                                (init_declarator
+                                  (identifier))))
+                            (block_item
+                              (statement
+                                (expression_statement
+                                  (expression
+                                    (assignment_expression
+                                      (unary_expression
+                                        (postfix_expression
+                                          (base_expression
+                                            (identifier))))
+                                      (assignment_expression
+                                        (logical_expression
+                                          (equality_expression
+                                            (relational_expression
+                                              (additive_expression
+                                                (multiplicative_expression
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (expression
+                                                            (assignment_expression
+                                                              (logical_expression
+                                                                (equality_expression
+                                                                  (relational_expression
+                                                                    (additive_expression
+                                                                      (multiplicative_expression
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (identifier))))))
+                                                                      (multiplicative_expression
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (constant
+                                                                                  (integer_literal)))))))))))))))))
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (constant
+                                                            (integer_literal)))))))))))))))))
+                            (block_item
+                              (statement
+                                (expression_statement
+                                  (expression
+                                    (assignment_expression
+                                      (logical_expression
+                                        (equality_expression
+                                          (relational_expression
+                                            (additive_expression
+                                              (multiplicative_expression
+                                                (cast_expression
+                                                  (unary_expression
+                                                    (postfix_expression
+                                                      (base_expression
+                                                        (identifier))
+                                                      (argument_expression_list
+                                                        (assignment_expression
+                                                          (logical_expression
+                                                            (equality_expression
+                                                              (relational_expression
+                                                                (additive_expression
+                                                                  (multiplicative_expression
+                                                                    (cast_expression
+                                                                      (unary_expression
+                                                                        (postfix_expression
+                                                                          (base_expression
+                                                                            (identifier)))))
+                                                                    (cast_expression
+                                                                      (unary_expression
+                                                                        (postfix_expression
+                                                                          (base_expression
+                                                                            (identifier)))))))))))
+                                                        (assignment_expression
+                                                          (logical_expression
+                                                            (equality_expression
+                                                              (relational_expression
+                                                                (additive_expression
+                                                                  (multiplicative_expression
+                                                                    (cast_expression
+                                                                      (unary_expression
+                                                                        (postfix_expression
+                                                                          (base_expression
+                                                                            (constant
+                                                                              (integer_literal)))))))
+                                                                  (multiplicative_expression
+                                                                    (cast_expression
+                                                                      (unary_expression
+                                                                        (postfix_expression
+                                                                          (base_expression
+                                                                            (constant
+                                                                              (integer_literal)))))))))))))))))))))))))))))))))))))))
+  (comment)
+  (translation_entity
+    (function_definition
+      (identifier)
+      (function_signature
+        (parameter_list
+          (parameter_declaration
+            (declaration_specifier
+              (type_specifier_qualifier
+                (type_specifier
+                  (int_type))))
+            (identifier))
+          (parameter_declaration
+            (declaration_specifier
+              (type_specifier_qualifier
+                (type_specifier)))
+            (identifier)))
+        (return_list
+          (declaration_specifier
+            (type_specifier_qualifier
+              (type_specifier
+                (array_specifier
+                  (type_specifier
+                    (int_type))
+                  (constant_expression
+                    (logical_expression
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (unary_expression
+                                  (postfix_expression
+                                    (base_expression
+                                      (constant
+                                        (unsigned_integer_literal))))))))))))))))))
+      (statement_block
+        (block_item_list
+          (block_item
+            (declaration
+              (declaration_specifier
+                (type_specifier_qualifier
+                  (type_qualifier_list
+                    (type_qualifier))
+                  (type_specifier)))
+              (init_declarator
+                (identifier))))
+          (block_item
+            (statement
+              (primary_block
+                (selection_statement
+                  (expression
+                    (assignment_expression
+                      (logical_expression
+                        (equality_expression
+                          (relational_expression
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier)))))
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (expression
+                                          (assignment_expression
+                                            (logical_expression
+                                              (equality_expression
+                                                (relational_expression
+                                                  (additive_expression
+                                                    (multiplicative_expression
+                                                      (cast_expression
+                                                        (unary_expression
+                                                          (postfix_expression
+                                                            (base_expression
+                                                              (expression
+                                                                (assignment_expression
+                                                                  (logical_expression
+                                                                    (equality_expression
+                                                                      (relational_expression
+                                                                        (additive_expression
+                                                                          (multiplicative_expression
+                                                                            (cast_expression
+                                                                              (unary_expression
+                                                                                (postfix_expression
+                                                                                  (base_expression
+                                                                                    (identifier))))))
+                                                                          (multiplicative_expression
+                                                                            (cast_expression
+                                                                              (unary_expression
+                                                                                (postfix_expression
+                                                                                  (base_expression
+                                                                                    (constant
+                                                                                      (integer_literal))))))))))))))))))
+                                                    (multiplicative_expression
+                                                      (cast_expression
+                                                        (unary_expression
+                                                          (postfix_expression
+                                                            (base_expression
+                                                              (identifier))))))))))))))))))
+                            (geq_operator)
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (expression
+                                          (assignment_expression
+                                            (logical_expression
+                                              (equality_expression
+                                                (relational_expression
+                                                  (additive_expression
+                                                    (multiplicative_expression
+                                                      (cast_expression
+                                                        (unary_expression
+                                                          (postfix_expression
+                                                            (base_expression
+                                                              (expression
+                                                                (assignment_expression
+                                                                  (logical_expression
+                                                                    (equality_expression
+                                                                      (relational_expression
+                                                                        (additive_expression
+                                                                          (multiplicative_expression
+                                                                            (cast_expression
+                                                                              (unary_expression
+                                                                                (postfix_expression
+                                                                                  (base_expression
+                                                                                    (identifier)))))
+                                                                            (cast_expression
+                                                                              (unary_expression
+                                                                                (postfix_expression
+                                                                                  (base_expression
+                                                                                    (constant
+                                                                                      (integer_literal)))))))))))))))))
+                                                      (cast_expression
+                                                        (unary_expression
+                                                          (postfix_expression
+                                                            (base_expression
+                                                              (expression
+                                                                (assignment_expression
+                                                                  (logical_expression
+                                                                    (equality_expression
+                                                                      (relational_expression
+                                                                        (additive_expression
+                                                                          (multiplicative_expression
+                                                                            (cast_expression
+                                                                              (unary_expression
+                                                                                (postfix_expression
+                                                                                  (base_expression
+                                                                                    (identifier))))))
+                                                                          (multiplicative_expression
+                                                                            (cast_expression
+                                                                              (unary_expression
+                                                                                (postfix_expression
+                                                                                  (base_expression
+                                                                                    (identifier)))))))))))))))))))))))))))
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (expression
+                                          (assignment_expression
+                                            (logical_expression
+                                              (equality_expression
+                                                (relational_expression
+                                                  (additive_expression
+                                                    (multiplicative_expression
+                                                      (cast_expression
+                                                        (unary_expression
+                                                          (postfix_expression
+                                                            (base_expression
+                                                              (expression
+                                                                (assignment_expression
+                                                                  (logical_expression
+                                                                    (equality_expression
+                                                                      (relational_expression
+                                                                        (additive_expression
+                                                                          (multiplicative_expression
+                                                                            (cast_expression
+                                                                              (unary_expression
+                                                                                (postfix_expression
+                                                                                  (base_expression
+                                                                                    (identifier))))))
+                                                                          (multiplicative_expression
+                                                                            (cast_expression
+                                                                              (unary_expression
+                                                                                (postfix_expression
+                                                                                  (base_expression
+                                                                                    (identifier))))))))))))))))
+                                                      (cast_expression
+                                                        (unary_expression
+                                                          (postfix_expression
+                                                            (base_expression
+                                                              (identifier)))))))))))))))))))))))
+                  (statement_block
+                    (block_item_list
+                      (block_item
+                        (declaration
+                          (declaration_specifier
+                            (type_specifier_qualifier
+                              (type_specifier
+                                (uint_type))))
+                          (init_declarator
+                            (identifier))))
+                      (block_item
+                        (statement
+                          (primary_block
+                            (selection_statement
+                              (expression
+                                (assignment_expression
+                                  (logical_expression
+                                    (equality_expression
+                                      (relational_expression
+                                        (additive_expression
+                                          (multiplicative_expression
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (identifier))))))
+                                          (multiplicative_expression
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (identifier)))))))
+                                        (leq_operator)
+                                        (additive_expression
+                                          (multiplicative_expression
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (constant
+                                                      (integer_literal)))))))
+                                          (multiplicative_expression
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (identifier))))))))))))
+                              (statement_block
+                                (block_item_list
+                                  (block_item
+                                    (declaration
+                                      (declaration_specifier
+                                        (type_specifier_qualifier
+                                          (type_specifier
+                                            (int_type))))
+                                      (init_declarator
+                                        (identifier))))
+                                  (block_item
+                                    (statement
+                                      (jump_statement
+                                        (expression
+                                          (assignment_expression
+                                            (logical_expression
+                                              (equality_expression
+                                                (relational_expression
+                                                  (additive_expression
+                                                    (multiplicative_expression
+                                                      (cast_expression
+                                                        (unary_expression
+                                                          (postfix_expression
+                                                            (base_expression
+                                                              (identifier)))))))))))))))
+                                  (block_item
+                                    (statement
+                                      (jump_statement)))))))))
+                      (block_item
+                        (statement
+                          (expression_statement
+                            (expression
+                              (assignment_expression
+                                (logical_expression
+                                  (equality_expression
+                                    (relational_expression
+                                      (additive_expression
+                                        (multiplicative_expression
+                                          (cast_expression
+                                            (unary_expression
+                                              (postfix_expression
+                                                (base_expression
+                                                  (identifier))
+                                                (argument_expression_list
+                                                  (assignment_expression
+                                                    (logical_expression
+                                                      (equality_expression
+                                                        (relational_expression
+                                                          (additive_expression
+                                                            (multiplicative_expression
+                                                              (cast_expression
+                                                                (unary_expression
+                                                                  (postfix_expression
+                                                                    (base_expression
+                                                                      (constant
+                                                                        (integer_literal))))))
+                                                              (cast_expression
+                                                                (unary_expression
+                                                                  (postfix_expression
+                                                                    (base_expression
+                                                                      (identifier)))))))))))
+                                                  (assignment_expression
+                                                    (logical_expression
+                                                      (equality_expression
+                                                        (relational_expression
+                                                          (additive_expression
+                                                            (multiplicative_expression
+                                                              (cast_expression
+                                                                (unary_expression
+                                                                  (postfix_expression
+                                                                    (base_expression
+                                                                      (identifier)))))))))))))))))))))))))))
+                  (selection_statement
+                    (expression
+                      (assignment_expression
+                        (logical_expression
+                          (equality_expression
+                            (relational_expression
+                              (additive_expression
+                                (multiplicative_expression
+                                  (cast_expression
+                                    (unary_expression
+                                      (postfix_expression
+                                        (base_expression
+                                          (identifier)))))
+                                  (cast_expression
+                                    (unary_expression
+                                      (postfix_expression
+                                        (base_expression
+                                          (constant
+                                            (integer_literal))))))))
+                              (additive_expression
+                                (multiplicative_expression
+                                  (cast_expression
+                                    (unary_expression
+                                      (postfix_expression
+                                        (base_expression
+                                          (constant
+                                            (integer_literal)))))))))))))
+                    (statement_block
+                      (block_item_list
+                        (block_item
+                          (declaration
+                            (declaration_specifier
+                              (type_specifier_qualifier
+                                (type_qualifier_list
+                                  (type_qualifier))
+                                (type_specifier
+                                  (uint_type))))
+                            (init_declarator
+                              (identifier)
+                              (initializer
+                                (assignment_expression
+                                  (logical_expression
+                                    (equality_expression
+                                      (relational_expression
+                                        (additive_expression
+                                          (multiplicative_expression
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (identifier))
+                                                  (argument_expression_list
+                                                    (assignment_expression
+                                                      (logical_expression
+                                                        (equality_expression
+                                                          (relational_expression
+                                                            (additive_expression
+                                                              (multiplicative_expression
+                                                                (cast_expression
+                                                                  (unary_expression
+                                                                    (postfix_expression
+                                                                      (base_expression
+                                                                        (identifier)))))
+                                                                (cast_expression
+                                                                  (unary_expression
+                                                                    (postfix_expression
+                                                                      (base_expression
+                                                                        (identifier)))))))))))
+                                                    (assignment_expression
+                                                      (logical_expression
+                                                        (equality_expression
+                                                          (relational_expression
+                                                            (additive_expression
+                                                              (multiplicative_expression
+                                                                (cast_expression
+                                                                  (unary_expression
+                                                                    (postfix_expression
+                                                                      (base_expression
+                                                                        (constant
+                                                                          (integer_literal))))))))))))))))))))))))))
+                        (block_item
+                          (statement
+                            (jump_statement
+                              (expression
+                                (assignment_expression
+                                  (logical_expression
+                                    (equality_expression
+                                      (relational_expression
+                                        (additive_expression
+                                          (multiplicative_expression
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (identifier)))))))))))))))))
+                    (statement_block
+                      (block_item_list
+                        (block_item
+                          (statement
+                            (expression_statement
+                              (expression
+                                (assignment_expression
+                                  (logical_expression
+                                    (equality_expression
+                                      (relational_expression
+                                        (additive_expression
+                                          (multiplicative_expression
+                                            (cast_expression
+                                              (unary_expression
+                                                (postfix_expression
+                                                  (base_expression
+                                                    (identifier))
+                                                  (argument_expression_list
+                                                    (assignment_expression
+                                                      (logical_expression
+                                                        (equality_expression
+                                                          (relational_expression
+                                                            (additive_expression
+                                                              (multiplicative_expression
+                                                                (cast_expression
+                                                                  (unary_expression
+                                                                    (postfix_expression
+                                                                      (base_expression
+                                                                        (constant
+                                                                          (signed_integer_literal)))))))))))))))))))))))))))))))))
+          (block_item
+            (statement
+              (expression_statement
+                (expression
+                  (assignment_expression
+                    (unary_expression
+                      (postfix_expression
+                        (base_expression
+                          (identifier))))
+                    (assignment_expression
+                      (logical_expression
+                        (equality_expression
+                          (relational_expression
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier))
+                                      (argument_expression_list
+                                        (assignment_expression
+                                          (logical_expression
+                                            (equality_expression
+                                              (relational_expression
+                                                (additive_expression
+                                                  (multiplicative_expression
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (constant
+                                                              (integer_literal)))))))
+                                                  (multiplicative_expression
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (identifier)))))))))))
+                                        (assignment_expression
+                                          (logical_expression
+                                            (equality_expression
+                                              (relational_expression
+                                                (additive_expression
+                                                  (multiplicative_expression
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (constant
+                                                              (integer_literal))))))
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (constant
+                                                              (integer_literal))))))))))))))))
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (expression
+                                          (assignment_expression
+                                            (logical_expression
+                                              (equality_expression
+                                                (relational_expression
+                                                  (additive_expression
+                                                    (multiplicative_expression
+                                                      (cast_expression
+                                                        (unary_expression
+                                                          (postfix_expression
+                                                            (base_expression
+                                                              (expression
+                                                                (assignment_expression
+                                                                  (logical_expression
+                                                                    (equality_expression
+                                                                      (relational_expression
+                                                                        (additive_expression
+                                                                          (multiplicative_expression
+                                                                            (cast_expression
+                                                                              (unary_expression
+                                                                                (postfix_expression
+                                                                                  (base_expression
+                                                                                    (identifier)))))
+                                                                            (cast_expression
+                                                                              (unary_expression
+                                                                                (postfix_expression
+                                                                                  (base_expression
+                                                                                    (constant
+                                                                                      (integer_literal)))))))
+                                                                          (multiplicative_expression
+                                                                            (cast_expression
+                                                                              (unary_expression
+                                                                                (postfix_expression
+                                                                                  (base_expression
+                                                                                    (constant
+                                                                                      (integer_literal))))))))))))))))))
+                                                    (multiplicative_expression
+                                                      (cast_expression
+                                                        (unary_expression
+                                                          (postfix_expression
+                                                            (base_expression
+                                                              (expression
+                                                                (assignment_expression
+                                                                  (logical_expression
+                                                                    (equality_expression
+                                                                      (relational_expression
+                                                                        (additive_expression
+                                                                          (multiplicative_expression
+                                                                            (cast_expression
+                                                                              (unary_expression
+                                                                                (postfix_expression
+                                                                                  (base_expression
+                                                                                    (constant
+                                                                                      (integer_literal)))))))
+                                                                          (multiplicative_expression
+                                                                            (cast_expression
+                                                                              (unary_expression
+                                                                                (postfix_expression
+                                                                                  (base_expression
+                                                                                    (constant
+                                                                                      (integer_literal)))))))))))))))))
+                                                      (cast_expression
+                                                        (unary_expression
+                                                          (postfix_expression
+                                                            (base_expression
+                                                              (identifier))))))))))))))))))))))))))))))))

test/corpus/positive/Program3.txt

@@ -0,0 +1,788 @@
+====================
+Program3
+====================
+
+mut uint[10u] array = {3u, 58u, 17u, 81u, 22u, 0u, 39u, 11u, 49u, 64u};
+
+function bubble(uint n) -> int {
+        for (mut uint i = n - 1u; i > 0u; i--) {
+                for (mut uint j = 0u; j < i; j++) {
+                        if (array[j] > array[j + 1u]) {
+                                uint tmp      = array[j + 1u];
+                                array[j + 1u] = array[j];
+                                array[j]      = tmp;
+                        }
+                }
+        }
+
+        return 0;
+}
+
+function print_array(uint n) {
+        for (mut uint i = 0u; i < n; i++) {
+                print((string)(array[i]) + ", ");
+        }
+        print("\n");
+}
+
+function main() -> int {
+        print_array(10u);
+        bubble(10u);
+        print_array(10u);
+
+        return 0;
+}
+
+--------------------
+
+(source_file
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_qualifier_list
+            (type_qualifier))
+          (type_specifier
+            (array_specifier
+              (type_specifier
+                (uint_type))
+              (constant_expression
+                (logical_expression
+                  (equality_expression
+                    (relational_expression
+                      (additive_expression
+                        (multiplicative_expression
+                          (cast_expression
+                            (unary_expression
+                              (postfix_expression
+                                (base_expression
+                                  (constant
+                                    (unsigned_integer_literal))))))))))))))))
+      (init_declarator
+        (identifier)
+        (initializer
+          (braced_initializer
+            (initializer_list
+              (initializer
+                (assignment_expression
+                  (logical_expression
+                    (equality_expression
+                      (relational_expression
+                        (additive_expression
+                          (multiplicative_expression
+                            (cast_expression
+                              (unary_expression
+                                (postfix_expression
+                                  (base_expression
+                                    (constant
+                                      (unsigned_integer_literal)))))))))))))
+              (initializer
+                (assignment_expression
+                  (logical_expression
+                    (equality_expression
+                      (relational_expression
+                        (additive_expression
+                          (multiplicative_expression
+                            (cast_expression
+                              (unary_expression
+                                (postfix_expression
+                                  (base_expression
+                                    (constant
+                                      (unsigned_integer_literal)))))))))))))
+              (initializer
+                (assignment_expression
+                  (logical_expression
+                    (equality_expression
+                      (relational_expression
+                        (additive_expression
+                          (multiplicative_expression
+                            (cast_expression
+                              (unary_expression
+                                (postfix_expression
+                                  (base_expression
+                                    (constant
+                                      (unsigned_integer_literal)))))))))))))
+              (initializer
+                (assignment_expression
+                  (logical_expression
+                    (equality_expression
+                      (relational_expression
+                        (additive_expression
+                          (multiplicative_expression
+                            (cast_expression
+                              (unary_expression
+                                (postfix_expression
+                                  (base_expression
+                                    (constant
+                                      (unsigned_integer_literal)))))))))))))
+              (initializer
+                (assignment_expression
+                  (logical_expression
+                    (equality_expression
+                      (relational_expression
+                        (additive_expression
+                          (multiplicative_expression
+                            (cast_expression
+                              (unary_expression
+                                (postfix_expression
+                                  (base_expression
+                                    (constant
+                                      (unsigned_integer_literal)))))))))))))
+              (initializer
+                (assignment_expression
+                  (logical_expression
+                    (equality_expression
+                      (relational_expression
+                        (additive_expression
+                          (multiplicative_expression
+                            (cast_expression
+                              (unary_expression
+                                (postfix_expression
+                                  (base_expression
+                                    (constant
+                                      (unsigned_integer_literal)))))))))))))
+              (initializer
+                (assignment_expression
+                  (logical_expression
+                    (equality_expression
+                      (relational_expression
+                        (additive_expression
+                          (multiplicative_expression
+                            (cast_expression
+                              (unary_expression
+                                (postfix_expression
+                                  (base_expression
+                                    (constant
+                                      (unsigned_integer_literal)))))))))))))
+              (initializer
+                (assignment_expression
+                  (logical_expression
+                    (equality_expression
+                      (relational_expression
+                        (additive_expression
+                          (multiplicative_expression
+                            (cast_expression
+                              (unary_expression
+                                (postfix_expression
+                                  (base_expression
+                                    (constant
+                                      (unsigned_integer_literal)))))))))))))
+              (initializer
+                (assignment_expression
+                  (logical_expression
+                    (equality_expression
+                      (relational_expression
+                        (additive_expression
+                          (multiplicative_expression
+                            (cast_expression
+                              (unary_expression
+                                (postfix_expression
+                                  (base_expression
+                                    (constant
+                                      (unsigned_integer_literal)))))))))))))
+              (initializer
+                (assignment_expression
+                  (logical_expression
+                    (equality_expression
+                      (relational_expression
+                        (additive_expression
+                          (multiplicative_expression
+                            (cast_expression
+                              (unary_expression
+                                (postfix_expression
+                                  (base_expression
+                                    (constant
+                                      (unsigned_integer_literal)))))))))))))))))))
+  (translation_entity
+    (function_definition
+      (identifier)
+      (function_signature
+        (parameter_list
+          (parameter_declaration
+            (declaration_specifier
+              (type_specifier_qualifier
+                (type_specifier
+                  (uint_type))))
+            (identifier)))
+        (return_list
+          (declaration_specifier
+            (type_specifier_qualifier
+              (type_specifier
+                (int_type))))))
+      (statement_block
+        (block_item_list
+          (block_item
+            (statement
+              (primary_block
+                (iteration_statement
+                  (declaration
+                    (declaration_specifier
+                      (type_specifier_qualifier
+                        (type_qualifier_list
+                          (type_qualifier))
+                        (type_specifier
+                          (uint_type))))
+                    (init_declarator
+                      (identifier)
+                      (initializer
+                        (assignment_expression
+                          (logical_expression
+                            (equality_expression
+                              (relational_expression
+                                (additive_expression
+                                  (multiplicative_expression
+                                    (cast_expression
+                                      (unary_expression
+                                        (postfix_expression
+                                          (base_expression
+                                            (identifier))))))
+                                  (multiplicative_expression
+                                    (cast_expression
+                                      (unary_expression
+                                        (postfix_expression
+                                          (base_expression
+                                            (constant
+                                              (unsigned_integer_literal)))))))))))))))
+                  (expression
+                    (assignment_expression
+                      (logical_expression
+                        (equality_expression
+                          (relational_expression
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier)))))))
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (constant
+                                          (unsigned_integer_literal)))))))))))))
+                  (expression
+                    (assignment_expression
+                      (logical_expression
+                        (equality_expression
+                          (relational_expression
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier))))))))))))
+                  (secondary_block
+                    (statement
+                      (primary_block
+                        (statement_block
+                          (block_item_list
+                            (block_item
+                              (statement
+                                (primary_block
+                                  (iteration_statement
+                                    (declaration
+                                      (declaration_specifier
+                                        (type_specifier_qualifier
+                                          (type_qualifier_list
+                                            (type_qualifier))
+                                          (type_specifier
+                                            (uint_type))))
+                                      (init_declarator
+                                        (identifier)
+                                        (initializer
+                                          (assignment_expression
+                                            (logical_expression
+                                              (equality_expression
+                                                (relational_expression
+                                                  (additive_expression
+                                                    (multiplicative_expression
+                                                      (cast_expression
+                                                        (unary_expression
+                                                          (postfix_expression
+                                                            (base_expression
+                                                              (constant
+                                                                (unsigned_integer_literal)))))))))))))))
+                                    (expression
+                                      (assignment_expression
+                                        (logical_expression
+                                          (equality_expression
+                                            (relational_expression
+                                              (additive_expression
+                                                (multiplicative_expression
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (identifier)))))))
+                                              (additive_expression
+                                                (multiplicative_expression
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (identifier))))))))))))
+                                    (expression
+                                      (assignment_expression
+                                        (logical_expression
+                                          (equality_expression
+                                            (relational_expression
+                                              (additive_expression
+                                                (multiplicative_expression
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (identifier))))))))))))
+                                    (secondary_block
+                                      (statement
+                                        (primary_block
+                                          (statement_block
+                                            (block_item_list
+                                              (block_item
+                                                (statement
+                                                  (primary_block
+                                                    (selection_statement
+                                                      (expression
+                                                        (assignment_expression
+                                                          (logical_expression
+                                                            (equality_expression
+                                                              (relational_expression
+                                                                (additive_expression
+                                                                  (multiplicative_expression
+                                                                    (cast_expression
+                                                                      (unary_expression
+                                                                        (postfix_expression
+                                                                          (base_expression
+                                                                            (identifier))
+                                                                          (expression
+                                                                            (assignment_expression
+                                                                              (logical_expression
+                                                                                (equality_expression
+                                                                                  (relational_expression
+                                                                                    (additive_expression
+                                                                                      (multiplicative_expression
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (identifier)))))))))))))))))
+                                                                (additive_expression
+                                                                  (multiplicative_expression
+                                                                    (cast_expression
+                                                                      (unary_expression
+                                                                        (postfix_expression
+                                                                          (base_expression
+                                                                            (identifier))
+                                                                          (expression
+                                                                            (assignment_expression
+                                                                              (logical_expression
+                                                                                (equality_expression
+                                                                                  (relational_expression
+                                                                                    (additive_expression
+                                                                                      (multiplicative_expression
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (identifier))))))
+                                                                                      (multiplicative_expression
+                                                                                        (cast_expression
+                                                                                          (unary_expression
+                                                                                            (postfix_expression
+                                                                                              (base_expression
+                                                                                                (constant
+                                                                                                  (unsigned_integer_literal)))))))))))))))))))))))
+                                                      (statement_block
+                                                        (block_item_list
+                                                          (block_item
+                                                            (declaration
+                                                              (declaration_specifier
+                                                                (type_specifier_qualifier
+                                                                  (type_specifier
+                                                                    (uint_type))))
+                                                              (init_declarator
+                                                                (identifier)
+                                                                (initializer
+                                                                  (assignment_expression
+                                                                    (logical_expression
+                                                                      (equality_expression
+                                                                        (relational_expression
+                                                                          (additive_expression
+                                                                            (multiplicative_expression
+                                                                              (cast_expression
+                                                                                (unary_expression
+                                                                                  (postfix_expression
+                                                                                    (base_expression
+                                                                                      (identifier))
+                                                                                    (expression
+                                                                                      (assignment_expression
+                                                                                        (logical_expression
+                                                                                          (equality_expression
+                                                                                            (relational_expression
+                                                                                              (additive_expression
+                                                                                                (multiplicative_expression
+                                                                                                  (cast_expression
+                                                                                                    (unary_expression
+                                                                                                      (postfix_expression
+                                                                                                        (base_expression
+                                                                                                          (identifier))))))
+                                                                                                (multiplicative_expression
+                                                                                                  (cast_expression
+                                                                                                    (unary_expression
+                                                                                                      (postfix_expression
+                                                                                                        (base_expression
+                                                                                                          (constant
+                                                                                                            (unsigned_integer_literal))))))))))))))))))))))))))
+                                                          (block_item
+                                                            (statement
+                                                              (expression_statement
+                                                                (expression
+                                                                  (assignment_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (identifier))
+                                                                        (expression
+                                                                          (assignment_expression
+                                                                            (logical_expression
+                                                                              (equality_expression
+                                                                                (relational_expression
+                                                                                  (additive_expression
+                                                                                    (multiplicative_expression
+                                                                                      (cast_expression
+                                                                                        (unary_expression
+                                                                                          (postfix_expression
+                                                                                            (base_expression
+                                                                                              (identifier))))))
+                                                                                    (multiplicative_expression
+                                                                                      (cast_expression
+                                                                                        (unary_expression
+                                                                                          (postfix_expression
+                                                                                            (base_expression
+                                                                                              (constant
+                                                                                                (unsigned_integer_literal)))))))))))))))
+                                                                    (assignment_expression
+                                                                      (logical_expression
+                                                                        (equality_expression
+                                                                          (relational_expression
+                                                                            (additive_expression
+                                                                              (multiplicative_expression
+                                                                                (cast_expression
+                                                                                  (unary_expression
+                                                                                    (postfix_expression
+                                                                                      (base_expression
+                                                                                        (identifier))
+                                                                                      (expression
+                                                                                        (assignment_expression
+                                                                                          (logical_expression
+                                                                                            (equality_expression
+                                                                                              (relational_expression
+                                                                                                (additive_expression
+                                                                                                  (multiplicative_expression
+                                                                                                    (cast_expression
+                                                                                                      (unary_expression
+                                                                                                        (postfix_expression
+                                                                                                          (base_expression
+                                                                                                            (identifier))))))))))))))))))))))))))
+                                                          (block_item
+                                                            (statement
+                                                              (expression_statement
+                                                                (expression
+                                                                  (assignment_expression
+                                                                    (unary_expression
+                                                                      (postfix_expression
+                                                                        (base_expression
+                                                                          (identifier))
+                                                                        (expression
+                                                                          (assignment_expression
+                                                                            (logical_expression
+                                                                              (equality_expression
+                                                                                (relational_expression
+                                                                                  (additive_expression
+                                                                                    (multiplicative_expression
+                                                                                      (cast_expression
+                                                                                        (unary_expression
+                                                                                          (postfix_expression
+                                                                                            (base_expression
+                                                                                              (identifier))))))))))))))
+                                                                    (assignment_expression
+                                                                      (logical_expression
+                                                                        (equality_expression
+                                                                          (relational_expression
+                                                                            (additive_expression
+                                                                              (multiplicative_expression
+                                                                                (cast_expression
+                                                                                  (unary_expression
+                                                                                    (postfix_expression
+                                                                                      (base_expression
+                                                                                        (identifier))))))))))))))))))))))))))))))))))))))))
+          (block_item
+            (statement
+              (jump_statement
+                (expression
+                  (assignment_expression
+                    (logical_expression
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (unary_expression
+                                  (postfix_expression
+                                    (base_expression
+                                      (constant
+                                        (integer_literal))))))))))))))))))))
+  (translation_entity
+    (function_definition
+      (identifier)
+      (function_signature
+        (parameter_list
+          (parameter_declaration
+            (declaration_specifier
+              (type_specifier_qualifier
+                (type_specifier
+                  (uint_type))))
+            (identifier))))
+      (statement_block
+        (block_item_list
+          (block_item
+            (statement
+              (primary_block
+                (iteration_statement
+                  (declaration
+                    (declaration_specifier
+                      (type_specifier_qualifier
+                        (type_qualifier_list
+                          (type_qualifier))
+                        (type_specifier
+                          (uint_type))))
+                    (init_declarator
+                      (identifier)
+                      (initializer
+                        (assignment_expression
+                          (logical_expression
+                            (equality_expression
+                              (relational_expression
+                                (additive_expression
+                                  (multiplicative_expression
+                                    (cast_expression
+                                      (unary_expression
+                                        (postfix_expression
+                                          (base_expression
+                                            (constant
+                                              (unsigned_integer_literal)))))))))))))))
+                  (expression
+                    (assignment_expression
+                      (logical_expression
+                        (equality_expression
+                          (relational_expression
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier)))))))
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier))))))))))))
+                  (expression
+                    (assignment_expression
+                      (logical_expression
+                        (equality_expression
+                          (relational_expression
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier))))))))))))
+                  (secondary_block
+                    (statement
+                      (primary_block
+                        (statement_block
+                          (block_item_list
+                            (block_item
+                              (statement
+                                (print_statement
+                                  (expression
+                                    (assignment_expression
+                                      (logical_expression
+                                        (equality_expression
+                                          (relational_expression
+                                            (additive_expression
+                                              (multiplicative_expression
+                                                (cast_expression
+                                                  (type_specifier_qualifier
+                                                    (type_specifier))
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (expression
+                                                            (assignment_expression
+                                                              (logical_expression
+                                                                (equality_expression
+                                                                  (relational_expression
+                                                                    (additive_expression
+                                                                      (multiplicative_expression
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (identifier))
+                                                                              (expression
+                                                                                (assignment_expression
+                                                                                  (logical_expression
+                                                                                    (equality_expression
+                                                                                      (relational_expression
+                                                                                        (additive_expression
+                                                                                          (multiplicative_expression
+                                                                                            (cast_expression
+                                                                                              (unary_expression
+                                                                                                (postfix_expression
+                                                                                                  (base_expression
+                                                                                                    (identifier))))))))))))))))))))))))))))
+                                              (multiplicative_expression
+                                                (cast_expression
+                                                  (unary_expression
+                                                    (postfix_expression
+                                                      (base_expression
+                                                        (constant
+                                                          (string_literal)))))))))))))))))))))))))
+          (block_item
+            (statement
+              (print_statement
+                (expression
+                  (assignment_expression
+                    (logical_expression
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (unary_expression
+                                  (postfix_expression
+                                    (base_expression
+                                      (constant
+                                        (string_literal))))))))))))))))))))
+  (translation_entity
+    (function_definition
+      (identifier)
+      (function_signature
+        (return_list
+          (declaration_specifier
+            (type_specifier_qualifier
+              (type_specifier
+                (int_type))))))
+      (statement_block
+        (block_item_list
+          (block_item
+            (statement
+              (expression_statement
+                (expression
+                  (assignment_expression
+                    (logical_expression
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (unary_expression
+                                  (postfix_expression
+                                    (base_expression
+                                      (identifier))
+                                    (argument_expression_list
+                                      (assignment_expression
+                                        (logical_expression
+                                          (equality_expression
+                                            (relational_expression
+                                              (additive_expression
+                                                (multiplicative_expression
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (constant
+                                                            (unsigned_integer_literal))))))))))))))))))))))))))
+          (block_item
+            (statement
+              (expression_statement
+                (expression
+                  (assignment_expression
+                    (logical_expression
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (unary_expression
+                                  (postfix_expression
+                                    (base_expression
+                                      (identifier))
+                                    (argument_expression_list
+                                      (assignment_expression
+                                        (logical_expression
+                                          (equality_expression
+                                            (relational_expression
+                                              (additive_expression
+                                                (multiplicative_expression
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (constant
+                                                            (unsigned_integer_literal))))))))))))))))))))))))))
+          (block_item
+            (statement
+              (expression_statement
+                (expression
+                  (assignment_expression
+                    (logical_expression
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (unary_expression
+                                  (postfix_expression
+                                    (base_expression
+                                      (identifier))
+                                    (argument_expression_list
+                                      (assignment_expression
+                                        (logical_expression
+                                          (equality_expression
+                                            (relational_expression
+                                              (additive_expression
+                                                (multiplicative_expression
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (constant
+                                                            (unsigned_integer_literal))))))))))))))))))))))))))
+          (block_item
+            (statement
+              (jump_statement
+                (expression
+                  (assignment_expression
+                    (logical_expression
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (unary_expression
+                                  (postfix_expression
+                                    (base_expression
+                                      (constant
+                                        (integer_literal)))))))))))))))))))))

test/corpus/positive/ReturnStatement1.txt

@@ -0,0 +1,101 @@
+====================
+ReturnStatement1
+====================
+
+function g() -> int {
+        mut int i;
+        const mut bool b;
+        return (11 - 3) / (c + 13);
+}
+
+--------------------
+
+(source_file
+  (translation_entity
+    (function_definition
+      (identifier)
+      (function_signature
+        (return_list
+          (declaration_specifier
+            (type_specifier_qualifier
+              (type_specifier
+                (int_type))))))
+      (statement_block
+        (block_item_list
+          (block_item
+            (declaration
+              (declaration_specifier
+                (type_specifier_qualifier
+                  (type_qualifier_list
+                    (type_qualifier))
+                  (type_specifier
+                    (int_type))))
+              (init_declarator
+                (identifier))))
+          (block_item
+            (declaration
+              (declaration_specifier
+                (type_specifier_qualifier
+                  (type_qualifier_list
+                    (type_qualifier)
+                    (type_qualifier))
+                  (type_specifier)))
+              (init_declarator
+                (identifier))))
+          (block_item
+            (statement
+              (jump_statement
+                (expression
+                  (assignment_expression
+                    (logical_expression
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (unary_expression
+                                  (postfix_expression
+                                    (base_expression
+                                      (expression
+                                        (assignment_expression
+                                          (logical_expression
+                                            (equality_expression
+                                              (relational_expression
+                                                (additive_expression
+                                                  (multiplicative_expression
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (constant
+                                                              (integer_literal)))))))
+                                                  (multiplicative_expression
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (constant
+                                                              (integer_literal)))))))))))))))))
+                              (cast_expression
+                                (unary_expression
+                                  (postfix_expression
+                                    (base_expression
+                                      (expression
+                                        (assignment_expression
+                                          (logical_expression
+                                            (equality_expression
+                                              (relational_expression
+                                                (additive_expression
+                                                  (multiplicative_expression
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (identifier))))))
+                                                  (multiplicative_expression
+                                                    (cast_expression
+                                                      (unary_expression
+                                                        (postfix_expression
+                                                          (base_expression
+                                                            (constant
+                                                              (integer_literal))))))))))))))))))))))))))))))))

test/corpus/positive/String1.txt

@@ -0,0 +1,92 @@
+====================
+String1
+====================
+
+string s1 = "this is a test\n";
+string s2 = "'a filepath'";
+string s3 = "this\0 is a test\n";
+string s4 = "\tthis\tis\v\a\'my\'test\n";
+
+--------------------
+
+(source_file
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_specifier)))
+      (init_declarator
+        (identifier)
+        (initializer
+          (assignment_expression
+            (logical_expression
+              (equality_expression
+                (relational_expression
+                  (additive_expression
+                    (multiplicative_expression
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (constant
+                                (string_literal))))))))))))))))
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_specifier)))
+      (init_declarator
+        (identifier)
+        (initializer
+          (assignment_expression
+            (logical_expression
+              (equality_expression
+                (relational_expression
+                  (additive_expression
+                    (multiplicative_expression
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (constant
+                                (string_literal))))))))))))))))
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_specifier)))
+      (init_declarator
+        (identifier)
+        (initializer
+          (assignment_expression
+            (logical_expression
+              (equality_expression
+                (relational_expression
+                  (additive_expression
+                    (multiplicative_expression
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (constant
+                                (string_literal))))))))))))))))
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_specifier)))
+      (init_declarator
+        (identifier)
+        (initializer
+          (assignment_expression
+            (logical_expression
+              (equality_expression
+                (relational_expression
+                  (additive_expression
+                    (multiplicative_expression
+                      (cast_expression
+                        (unary_expression
+                          (postfix_expression
+                            (base_expression
+                              (constant
+                                (string_literal)))))))))))))))))

test/corpus/positive/Types1.txt

@@ -0,0 +1,81 @@
+====================
+Types1
+====================
+
+mut int x;
+const int y;
+const mut int z;
+mut const int a;
+const mut const int b;
+const mut mut const uint c;
+
+--------------------
+
+(source_file
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_qualifier_list
+            (type_qualifier))
+          (type_specifier
+            (int_type))))
+      (init_declarator
+        (identifier))))
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_qualifier_list
+            (type_qualifier))
+          (type_specifier
+            (int_type))))
+      (init_declarator
+        (identifier))))
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_qualifier_list
+            (type_qualifier)
+            (type_qualifier))
+          (type_specifier
+            (int_type))))
+      (init_declarator
+        (identifier))))
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_qualifier_list
+            (type_qualifier)
+            (type_qualifier))
+          (type_specifier
+            (int_type))))
+      (init_declarator
+        (identifier))))
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_qualifier_list
+            (type_qualifier)
+            (type_qualifier)
+            (type_qualifier))
+          (type_specifier
+            (int_type))))
+      (init_declarator
+        (identifier))))
+  (translation_entity
+    (declaration
+      (declaration_specifier
+        (type_specifier_qualifier
+          (type_qualifier_list
+            (type_qualifier)
+            (type_qualifier)
+            (type_qualifier)
+            (type_qualifier))
+          (type_specifier
+            (uint_type))))
+      (init_declarator
+        (identifier)))))

test/corpus/positive/WhileStatement1.txt

@@ -0,0 +1,383 @@
+====================
+WhileStatement1
+====================
+
+function i() {
+        I8 i;
+        while (a - 12 > (i + (c + 11)) - 11) {
+                int g;
+                mut bool d;
+                d = g / f - 3;
+                g = 12 + (d + e);
+        }
+        while (13 * i >= (h + 0) / c + i)
+                g++;
+        int f;
+        while (b - h <= g) {
+                int f;
+                int32_t e;
+                b = d;
+                a = a;
+        }
+}
+
+--------------------
+
+(source_file
+  (translation_entity
+    (function_definition
+      (identifier)
+      (function_signature)
+      (statement_block
+        (block_item_list
+          (block_item
+            (declaration
+              (declaration_specifier
+                (type_specifier_qualifier
+                  (type_specifier
+                    (int_type))))
+              (init_declarator
+                (identifier))))
+          (block_item
+            (statement
+              (primary_block
+                (iteration_statement
+                  (expression
+                    (assignment_expression
+                      (logical_expression
+                        (equality_expression
+                          (relational_expression
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier))))))
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (constant
+                                          (integer_literal))))))))
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (expression
+                                          (assignment_expression
+                                            (logical_expression
+                                              (equality_expression
+                                                (relational_expression
+                                                  (additive_expression
+                                                    (multiplicative_expression
+                                                      (cast_expression
+                                                        (unary_expression
+                                                          (postfix_expression
+                                                            (base_expression
+                                                              (identifier))))))
+                                                    (multiplicative_expression
+                                                      (cast_expression
+                                                        (unary_expression
+                                                          (postfix_expression
+                                                            (base_expression
+                                                              (expression
+                                                                (assignment_expression
+                                                                  (logical_expression
+                                                                    (equality_expression
+                                                                      (relational_expression
+                                                                        (additive_expression
+                                                                          (multiplicative_expression
+                                                                            (cast_expression
+                                                                              (unary_expression
+                                                                                (postfix_expression
+                                                                                  (base_expression
+                                                                                    (identifier))))))
+                                                                          (multiplicative_expression
+                                                                            (cast_expression
+                                                                              (unary_expression
+                                                                                (postfix_expression
+                                                                                  (base_expression
+                                                                                    (constant
+                                                                                      (integer_literal)))))))))))))))))))))))))))))
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (constant
+                                          (integer_literal)))))))))))))
+                  (secondary_block
+                    (statement
+                      (primary_block
+                        (statement_block
+                          (block_item_list
+                            (block_item
+                              (declaration
+                                (declaration_specifier
+                                  (type_specifier_qualifier
+                                    (type_specifier
+                                      (int_type))))
+                                (init_declarator
+                                  (identifier))))
+                            (block_item
+                              (declaration
+                                (declaration_specifier
+                                  (type_specifier_qualifier
+                                    (type_qualifier_list
+                                      (type_qualifier))
+                                    (type_specifier)))
+                                (init_declarator
+                                  (identifier))))
+                            (block_item
+                              (statement
+                                (expression_statement
+                                  (expression
+                                    (assignment_expression
+                                      (unary_expression
+                                        (postfix_expression
+                                          (base_expression
+                                            (identifier))))
+                                      (assignment_expression
+                                        (logical_expression
+                                          (equality_expression
+                                            (relational_expression
+                                              (additive_expression
+                                                (multiplicative_expression
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (identifier)))))
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (identifier))))))
+                                                (multiplicative_expression
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (constant
+                                                            (integer_literal)))))))))))))))))
+                            (block_item
+                              (statement
+                                (expression_statement
+                                  (expression
+                                    (assignment_expression
+                                      (unary_expression
+                                        (postfix_expression
+                                          (base_expression
+                                            (identifier))))
+                                      (assignment_expression
+                                        (logical_expression
+                                          (equality_expression
+                                            (relational_expression
+                                              (additive_expression
+                                                (multiplicative_expression
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (constant
+                                                            (integer_literal)))))))
+                                                (multiplicative_expression
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (expression
+                                                            (assignment_expression
+                                                              (logical_expression
+                                                                (equality_expression
+                                                                  (relational_expression
+                                                                    (additive_expression
+                                                                      (multiplicative_expression
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (identifier))))))
+                                                                      (multiplicative_expression
+                                                                        (cast_expression
+                                                                          (unary_expression
+                                                                            (postfix_expression
+                                                                              (base_expression
+                                                                                (identifier))))))))))))))))))))))))))))))))))))
+          (block_item
+            (statement
+              (primary_block
+                (iteration_statement
+                  (expression
+                    (assignment_expression
+                      (logical_expression
+                        (equality_expression
+                          (relational_expression
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (constant
+                                          (integer_literal))))))
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier)))))))
+                            (geq_operator)
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (expression
+                                          (assignment_expression
+                                            (logical_expression
+                                              (equality_expression
+                                                (relational_expression
+                                                  (additive_expression
+                                                    (multiplicative_expression
+                                                      (cast_expression
+                                                        (unary_expression
+                                                          (postfix_expression
+                                                            (base_expression
+                                                              (identifier))))))
+                                                    (multiplicative_expression
+                                                      (cast_expression
+                                                        (unary_expression
+                                                          (postfix_expression
+                                                            (base_expression
+                                                              (constant
+                                                                (integer_literal)))))))))))))))))
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier))))))
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier))))))))))))
+                  (secondary_block
+                    (statement
+                      (expression_statement
+                        (expression
+                          (assignment_expression
+                            (logical_expression
+                              (equality_expression
+                                (relational_expression
+                                  (additive_expression
+                                    (multiplicative_expression
+                                      (cast_expression
+                                        (unary_expression
+                                          (postfix_expression
+                                            (base_expression
+                                              (identifier)))))))))))))))))))
+          (block_item
+            (declaration
+              (declaration_specifier
+                (type_specifier_qualifier
+                  (type_specifier
+                    (int_type))))
+              (init_declarator
+                (identifier))))
+          (block_item
+            (statement
+              (primary_block
+                (iteration_statement
+                  (expression
+                    (assignment_expression
+                      (logical_expression
+                        (equality_expression
+                          (relational_expression
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier))))))
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier)))))))
+                            (leq_operator)
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (identifier))))))))))))
+                  (secondary_block
+                    (statement
+                      (primary_block
+                        (statement_block
+                          (block_item_list
+                            (block_item
+                              (declaration
+                                (declaration_specifier
+                                  (type_specifier_qualifier
+                                    (type_specifier
+                                      (int_type))))
+                                (init_declarator
+                                  (identifier))))
+                            (block_item
+                              (declaration
+                                (declaration_specifier
+                                  (type_specifier_qualifier
+                                    (type_specifier
+                                      (int_type))))
+                                (init_declarator
+                                  (identifier))))
+                            (block_item
+                              (statement
+                                (expression_statement
+                                  (expression
+                                    (assignment_expression
+                                      (unary_expression
+                                        (postfix_expression
+                                          (base_expression
+                                            (identifier))))
+                                      (assignment_expression
+                                        (logical_expression
+                                          (equality_expression
+                                            (relational_expression
+                                              (additive_expression
+                                                (multiplicative_expression
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (identifier))))))))))))))))
+                            (block_item
+                              (statement
+                                (expression_statement
+                                  (expression
+                                    (assignment_expression
+                                      (unary_expression
+                                        (postfix_expression
+                                          (base_expression
+                                            (identifier))))
+                                      (assignment_expression
+                                        (logical_expression
+                                          (equality_expression
+                                            (relational_expression
+                                              (additive_expression
+                                                (multiplicative_expression
+                                                  (cast_expression
+                                                    (unary_expression
+                                                      (postfix_expression
+                                                        (base_expression
+                                                          (identifier))))))))))))))))))))))))))))))

test/corpus/positive/WhileStatement2.txt

@@ -0,0 +1,62 @@
+====================
+WhileStatement2
+====================
+
+function main() -> int {
+        while (true) {
+        }
+
+        return 0;
+}
+
+--------------------
+
+(source_file
+  (translation_entity
+    (function_definition
+      (identifier)
+      (function_signature
+        (return_list
+          (declaration_specifier
+            (type_specifier_qualifier
+              (type_specifier
+                (int_type))))))
+      (statement_block
+        (block_item_list
+          (block_item
+            (statement
+              (primary_block
+                (iteration_statement
+                  (expression
+                    (assignment_expression
+                      (logical_expression
+                        (equality_expression
+                          (relational_expression
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (constant
+                                          (predefined_constant)))))))))))))
+                  (secondary_block
+                    (statement
+                      (primary_block
+                        (statement_block))))))))
+          (block_item
+            (statement
+              (jump_statement
+                (expression
+                  (assignment_expression
+                    (logical_expression
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (unary_expression
+                                  (postfix_expression
+                                    (base_expression
+                                      (constant
+                                        (integer_literal)))))))))))))))))))))

test/corpus/positive/WhileStatement3.txt

@@ -0,0 +1,61 @@
+====================
+WhileStatement3
+====================
+
+function main() -> int {
+        while (true)
+                ;
+
+        return 0;
+}
+
+--------------------
+
+(source_file
+  (translation_entity
+    (function_definition
+      (identifier)
+      (function_signature
+        (return_list
+          (declaration_specifier
+            (type_specifier_qualifier
+              (type_specifier
+                (int_type))))))
+      (statement_block
+        (block_item_list
+          (block_item
+            (statement
+              (primary_block
+                (iteration_statement
+                  (expression
+                    (assignment_expression
+                      (logical_expression
+                        (equality_expression
+                          (relational_expression
+                            (additive_expression
+                              (multiplicative_expression
+                                (cast_expression
+                                  (unary_expression
+                                    (postfix_expression
+                                      (base_expression
+                                        (constant
+                                          (predefined_constant)))))))))))))
+                  (secondary_block
+                    (statement
+                      (expression_statement)))))))
+          (block_item
+            (statement
+              (jump_statement
+                (expression
+                  (assignment_expression
+                    (logical_expression
+                      (equality_expression
+                        (relational_expression
+                          (additive_expression
+                            (multiplicative_expression
+                              (cast_expression
+                                (unary_expression
+                                  (postfix_expression
+                                    (base_expression
+                                      (constant
+                                        (integer_literal)))))))))))))))))))))