X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ast.c;h=50eaec37816cb01663d20f0e49a3683bb3f88914;hb=b5e161a375492f2af666767725c86d9dfab4f5f8;hp=d15ece769ce8bdbeb9f5873f92355b76a39baeb5;hpb=e98818d1ef6f4a0cc91e869adfa2180c4deeddf9;p=cparser

diff --git a/ast.c b/ast.c
index d15ece7..50eaec3 100644
--- a/ast.c
+++ b/ast.c
@@ -22,6 +22,8 @@
 #include "ast_t.h"
 #include "symbol_t.h"
 #include "type_t.h"
+#include "parser.h"
+#include "lang_features.h"
 
 #include <assert.h>
 #include <stdio.h>
@@ -869,9 +871,7 @@ static void print_if_statement(const if_statement_t *statement)
 	fputs("if (", out);
 	print_expression(statement->condition);
 	fputs(") ", out);
-	if(statement->true_statement != NULL) {
-		print_statement(statement->true_statement);
-	}
+	print_statement(statement->true_statement);
 
 	if(statement->false_statement != NULL) {
 		print_indent();
@@ -933,6 +933,9 @@ static void print_declaration_statement(
 	declaration_t *declaration = statement->declarations_begin;
 	for( ; declaration != statement->declarations_end->next;
 	       declaration = declaration->next) {
+	    if(declaration->storage_class == STORAGE_CLASS_ENUM_ENTRY)
+	    	continue;
+
 		if(!first) {
 			print_indent();
 		} else {
@@ -1167,7 +1170,7 @@ static void print_storage_class(storage_class_tag_t storage_class)
 void print_initializer(const initializer_t *initializer)
 {
 	if(initializer == NULL) {
-		fputs("{ NIL-INITIALIZER }", out);
+		fputs("{}", out);
 		return;
 	}
 
@@ -1185,8 +1188,9 @@ void print_initializer(const initializer_t *initializer)
 		for(size_t i = 0 ; i < list->len; ++i) {
 			const initializer_t *sub_init = list->initializers[i];
 			print_initializer(list->initializers[i]);
-			if(i < list->len-1 && sub_init->kind != INITIALIZER_DESIGNATOR) {
-				fputs(", ", out);
+			if(i < list->len-1) {
+				if(sub_init == NULL || sub_init->kind != INITIALIZER_DESIGNATOR)
+					fputs(", ", out);
 			}
 		}
 		fputs(" }", out);
@@ -1211,10 +1215,14 @@ void print_initializer(const initializer_t *initializer)
  * Print microsoft extended declaration modifiers.
  */
 static void print_ms_modifiers(const declaration_t *declaration) {
+	if((c_mode & _MS) == 0)
+		return;
+
 	decl_modifiers_t modifiers = declaration->modifiers;
 
 	/* DM_FORCEINLINE handled outside. */
-	if((modifiers & ~DM_FORCEINLINE) != 0 || declaration->alignment != 0 ||
+	if((modifiers & ~DM_FORCEINLINE) != 0 ||
+	    declaration->alignment != 0 || declaration->deprecated != 0 ||
 	    declaration->get_property_sym != NULL || declaration->put_property_sym != NULL) {
 		char *next = "(";
 
@@ -1246,7 +1254,7 @@ static void print_ms_modifiers(const declaration_t *declaration) {
 		if(modifiers & DM_NOINLINE) {
 			fputs(next, out); next = ", "; fputs("noinline", out);
 		}
-		if(modifiers & DM_DEPRECATED) {
+		if(declaration->deprecated != 0) {
 			fputs(next, out); next = ", "; fputs("deprecated", out);
 			if(declaration->deprecated_string != NULL)
 				fprintf(out, "(\"%s\")", declaration->deprecated_string);
@@ -1254,6 +1262,12 @@ static void print_ms_modifiers(const declaration_t *declaration) {
 		if(declaration->alignment != 0) {
 			fputs(next, out); next = ", "; fprintf(out, "align(%u)", declaration->alignment);
 		}
+		if(modifiers & DM_RESTRICT) {
+			fputs(next, out); next = ", "; fputs("restrict", out);
+		}
+		if(modifiers & DM_NOALIAS) {
+			fputs(next, out); next = ", "; fputs("noalias", out);
+		}
 	    if(declaration->get_property_sym != NULL || declaration->put_property_sym != NULL) {
 	    	char *comma = "";
 			fputs(next, out); next = ", "; fprintf(out, "property(");
@@ -1386,7 +1400,7 @@ bool is_constant_initializer(const initializer_t *initializer)
 	case INITIALIZER_VALUE:
 		return is_constant_expression(initializer->value.value);
 
-	case INITIALIZER_LIST: {
+	case INITIALIZER_LIST:
 		for(size_t i = 0; i < initializer->list.len; ++i) {
 			initializer_t *sub_initializer = initializer->list.initializers[i];
 			if(!is_constant_initializer(sub_initializer))
@@ -1394,7 +1408,6 @@ bool is_constant_initializer(const initializer_t *initializer)
 		}
 		return true;
 	}
-	}
 	panic("invalid initializer kind found");
 }
 
@@ -1440,6 +1453,14 @@ bool is_address_constant(const expression_t *expression)
 	case EXPR_UNARY_TAKE_ADDRESS:
 		return is_object_with_constant_address(expression->unary.value);
 
+	case EXPR_UNARY_DEREFERENCE: {
+		type_t *real_type = revert_automatic_type_conversion(expression->unary.value);
+		/* dereferencing a function is a NOP */
+		if(is_type_function(real_type)) {
+			return is_address_constant(expression->unary.value);
+		}
+	}
+
 	case EXPR_UNARY_CAST:
 		return is_type_pointer(skip_typeref(expression->base.type))
 			&& (is_constant_expression(expression->unary.value)
@@ -1487,6 +1508,8 @@ bool is_constant_expression(const expression_t *expression)
 	case EXPR_SIZEOF:
 	case EXPR_CLASSIFY_TYPE:
 	case EXPR_FUNCTION:
+	case EXPR_FUNCSIG:
+	case EXPR_FUNCDNAME:
 	case EXPR_PRETTY_FUNCTION:
 	case EXPR_OFFSETOF:
 	case EXPR_ALIGNOF:
@@ -1506,8 +1529,8 @@ bool is_constant_expression(const expression_t *expression)
 	case EXPR_UNARY_PREFIX_DECREMENT:
 	case EXPR_UNARY_BITFIELD_EXTRACT:
 	case EXPR_UNARY_ASSUME: /* has VOID type */
-	case EXPR_UNARY_DEREFERENCE:
 	case EXPR_UNARY_TAKE_ADDRESS:
+	case EXPR_UNARY_DEREFERENCE:
 	case EXPR_BINARY_ASSIGN:
 	case EXPR_BINARY_MUL_ASSIGN:
 	case EXPR_BINARY_DIV_ASSIGN: