X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;ds=sidebyside;f=ast.c;h=3944ade866817870eaaafd48b5b5e4dd626f0a03;hb=6833c6f5a5ade3d5ad0c9ec21c9a89b7985517f4;hp=b7588c5c6c702a4ae527ef5da2d3297a814027d2;hpb=58558497dcf35ed589188c87600576b58d7c237d;p=cparser diff --git a/ast.c b/ast.c index b7588c5..3944ade 100644 --- a/ast.c +++ b/ast.c @@ -100,8 +100,6 @@ static int right_to_left(unsigned precedence) static unsigned get_expression_precedence(expression_kind_t kind) { static const unsigned prec[] = { - [EXPR_UNKNOWN] = PREC_PRIMARY, - [EXPR_INVALID] = PREC_PRIMARY, [EXPR_REFERENCE] = PREC_PRIMARY, [EXPR_REFERENCE_ENUM_VALUE] = PREC_PRIMARY, [EXPR_LITERAL_INTEGER] = PREC_PRIMARY, @@ -591,6 +589,12 @@ static void print_va_copy(const va_copy_expression_t *expression) static void print_select(const select_expression_t *expression) { print_expression_prec(expression->compound, PREC_POSTFIX); + /* do not print anything for anonymous struct/union selects + * FIXME: if the anonymous select was a '->' this will print '.' + */ + if (expression->compound_entry->base.symbol == NULL) + return; + if (is_type_pointer(skip_typeref(expression->compound->base.type))) { print_string("->"); } else { @@ -678,9 +682,8 @@ static void print_expression_prec(const expression_t *expression, unsigned top_p if (parenthesized) print_string("("); switch (expression->kind) { - case EXPR_UNKNOWN: - case EXPR_INVALID: - print_string("$invalid expression$"); + case EXPR_ERROR: + print_string("$error$"); break; case EXPR_WIDE_STRING_LITERAL: case EXPR_STRING_LITERAL: @@ -748,13 +751,6 @@ static void print_expression_prec(const expression_t *expression, unsigned top_p case EXPR_STATEMENT: print_statement_expression(&expression->statement); break; - -#if 0 - default: - /* TODO */ - print_format("some expression of type %d", (int)expression->kind); - break; -#endif } if (parenthesized) print_string(")"); @@ -1184,8 +1180,8 @@ void print_statement(const statement_t *statement) case STATEMENT_LEAVE: print_leave_statement(&statement->leave); break; - case STATEMENT_INVALID: - print_string("$invalid statement$\n"); + case STATEMENT_ERROR: + print_string("$error statement$\n"); break; } } @@ -1505,8 +1501,6 @@ print_compound: case ENTITY_LABEL: case ENTITY_ENUM_VALUE: panic("print_entity used on unexpected entity type"); - case ENTITY_INVALID: - break; } panic("Invalid entity type encountered"); } @@ -1612,7 +1606,7 @@ static expression_classification_t is_object_with_linker_constant_address( return EXPR_CLASS_VARIABLE; } - case EXPR_INVALID: + case EXPR_ERROR: return EXPR_CLASS_ERROR; default: @@ -1738,7 +1732,7 @@ expression_classification_t is_linker_constant(const expression_t *expression) return EXPR_CLASS_VARIABLE; } - case EXPR_INVALID: + case EXPR_ERROR: return EXPR_CLASS_ERROR; default: @@ -1760,15 +1754,8 @@ static expression_classification_t is_builtin_const_call(const expression_t *exp return EXPR_CLASS_VARIABLE; switch (ref->entity->function.btk) { - case bk_gnu_builtin_huge_val: - case bk_gnu_builtin_huge_valf: - case bk_gnu_builtin_huge_vall: - case bk_gnu_builtin_inf: - case bk_gnu_builtin_inff: - case bk_gnu_builtin_infl: - case bk_gnu_builtin_nan: - case bk_gnu_builtin_nanf: - case bk_gnu_builtin_nanl: + case BUILTIN_INF: + case BUILTIN_NAN: return EXPR_CLASS_CONSTANT; default: return EXPR_CLASS_VARIABLE; @@ -1818,7 +1805,7 @@ static expression_classification_t is_object_with_constant_address(const express case EXPR_UNARY_DEREFERENCE: return is_constant_pointer(expression->unary.value); - case EXPR_INVALID: + case EXPR_ERROR: return EXPR_CLASS_ERROR; default: @@ -1968,11 +1955,8 @@ expression_classification_t is_constant_expression(const expression_t *expressio } } - case EXPR_INVALID: + case EXPR_ERROR: return EXPR_CLASS_ERROR; - - case EXPR_UNKNOWN: - break; } panic("invalid expression found (is constant expression)"); }