X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ast.c;h=3944ade866817870eaaafd48b5b5e4dd626f0a03;hb=6e169254d1b4dd25d46351c8c1867f5bb79dd069;hp=dc551deffb67067084e0e44687dd11d64ef77210;hpb=5894d20a1ca98cb5eb0916b083db5838657d6730;p=cparser

diff --git a/ast.c b/ast.c
index dc551de..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;
 	}
 }
@@ -1424,6 +1420,13 @@ void print_declaration(const entity_t *entity)
 			}
 			break;
 
+		case ENTITY_COMPOUND_MEMBER:
+			print_type_ext(declaration->type, declaration->base.symbol, NULL);
+			if (entity->compound_member.bitfield) {
+				print_format(" : %u", entity->compound_member.bit_size);
+			}
+			break;
+
 		default:
 			print_type_ext(declaration->type, declaration->base.symbol, NULL);
 			break;
@@ -1498,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");
 }
@@ -1605,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:
@@ -1640,7 +1641,7 @@ expression_classification_t is_linker_constant(const expression_t *expression)
 		if (!is_type_pointer(dest) && (
 				dest->kind != TYPE_ATOMIC                                               ||
 				!(get_atomic_type_flags(dest->atomic.akind) & ATOMIC_TYPE_FLAG_INTEGER) ||
-				get_atomic_type_size(dest->atomic.akind) < get_atomic_type_size(get_intptr_kind())
+				get_atomic_type_size(dest->atomic.akind) < get_type_size(type_void_ptr)
 		    ))
 			return EXPR_CLASS_VARIABLE;
 
@@ -1731,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:
@@ -1753,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;
@@ -1811,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:
@@ -1961,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)");
 }