X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;ds=sidebyside;f=walk_statements.c;h=9e0c49120a3bbe8e7e02317e6427be8bdc47b1b4;hb=28f3ec76a317d3e977bb200e5fd18841c1bf5619;hp=242b6f3b34934edc43048d9c391b8f8be9596ae2;hpb=e97bf80ad2ba7f01d4a2b51d243d6273ae2d65a1;p=cparser

diff --git a/walk_statements.c b/walk_statements.c
index 242b6f3..9e0c491 100644
--- a/walk_statements.c
+++ b/walk_statements.c
@@ -6,92 +6,96 @@
 #include "walk_statements.h"
 
 
-static void walk_expression(expression_t const *const expr, statement_callback const callback, void *const env)
+static void walk_expression(expression_t const *const expr,
+                            statement_callback const callback, void *const env)
 {
 	switch (expr->base.kind) {
-		case EXPR_STATEMENT:
-			walk_statements(expr->statement.statement, callback, env);
-			return;
+	case EXPR_STATEMENT:
+		walk_statements(expr->statement.statement, callback, env);
+		return;
 
-		EXPR_BINARY_CASES
-			walk_expression(expr->binary.left,  callback, env);
-			walk_expression(expr->binary.right, callback, env);
-			return;
+	EXPR_BINARY_CASES
+		walk_expression(expr->binary.left,  callback, env);
+		walk_expression(expr->binary.right, callback, env);
+		return;
 
-		EXPR_UNARY_CASES_OPTIONAL
-			if (expr->unary.value == NULL)
-				return;
-			/* FALLTHROUGH */
-		EXPR_UNARY_CASES_MANDATORY
-			walk_expression(expr->unary.value, callback, env);
+	EXPR_UNARY_CASES_OPTIONAL
+		if (expr->unary.value == NULL)
 			return;
+		/* FALLTHROUGH */
+	EXPR_UNARY_CASES_MANDATORY
+		walk_expression(expr->unary.value, callback, env);
+		return;
 
-		case EXPR_CALL:
-			for (call_argument_t *arg = expr->call.arguments; arg != NULL; arg = arg->next) {
-				walk_expression(arg->expression, callback, env);
-			}
-			return;
+	case EXPR_CALL:
+		for (call_argument_t *arg = expr->call.arguments; arg != NULL;
+		     arg = arg->next) {
+			walk_expression(arg->expression, callback, env);
+		}
+		return;
 
-		case EXPR_UNKNOWN:
-		case EXPR_INVALID:
-			panic("unexpected expr kind");
+	case EXPR_UNKNOWN:
+		panic("unexpected expr kind");
 
-		case EXPR_COMPOUND_LITERAL:
-			/* TODO... */
-			break;
+	case EXPR_COMPOUND_LITERAL:
+		/* TODO... */
+		break;
 
-		case EXPR_CONDITIONAL:
-			walk_expression(expr->conditional.condition,        callback, env);
+	case EXPR_CONDITIONAL:
+		walk_expression(expr->conditional.condition,        callback, env);
+		/* may be NULL because of gnu extension */
+		if (expr->conditional.true_expression != NULL)
 			walk_expression(expr->conditional.true_expression,  callback, env);
-			walk_expression(expr->conditional.false_expression, callback, env);
-			return;
+		walk_expression(expr->conditional.false_expression, callback, env);
+		return;
 
-		case EXPR_BUILTIN_PREFETCH:
-			walk_expression(expr->builtin_prefetch.adr,      callback, env);
-			walk_expression(expr->builtin_prefetch.rw,       callback, env);
-			walk_expression(expr->builtin_prefetch.locality, callback, env);
-			return;
+	case EXPR_BUILTIN_PREFETCH:
+		walk_expression(expr->builtin_prefetch.adr,      callback, env);
+		walk_expression(expr->builtin_prefetch.rw,       callback, env);
+		walk_expression(expr->builtin_prefetch.locality, callback, env);
+		return;
 
-		case EXPR_BUILTIN_CONSTANT_P:
-			walk_expression(expr->builtin_constant.value, callback, env);
-			return;
+	case EXPR_BUILTIN_CONSTANT_P:
+		walk_expression(expr->builtin_constant.value, callback, env);
+		return;
 
-		case EXPR_SELECT:
-			walk_expression(expr->select.compound, callback, env);
-			return;
+	case EXPR_SELECT:
+		walk_expression(expr->select.compound, callback, env);
+		return;
 
-		case EXPR_ARRAY_ACCESS:
-			walk_expression(expr->array_access.array_ref, callback, env);
-			walk_expression(expr->array_access.index,     callback, env);
-			return;
+	case EXPR_ARRAY_ACCESS:
+		walk_expression(expr->array_access.array_ref, callback, env);
+		walk_expression(expr->array_access.index,     callback, env);
+		return;
 
-		case EXPR_CLASSIFY_TYPE:
-			walk_expression(expr->classify_type.type_expression, callback, env);
-			return;
+	case EXPR_CLASSIFY_TYPE:
+		walk_expression(expr->classify_type.type_expression, callback, env);
+		return;
 
-		case EXPR_SIZEOF:
-		case EXPR_ALIGNOF: {
-			expression_t *tp_expression = expr->typeprop.tp_expression;
-			if (tp_expression != NULL) {
-				walk_expression(tp_expression, callback, env);
-			}
-			return;
+	case EXPR_SIZEOF:
+	case EXPR_ALIGNOF: {
+		expression_t *tp_expression = expr->typeprop.tp_expression;
+		if (tp_expression != NULL) {
+			walk_expression(tp_expression, callback, env);
 		}
+		return;
+	}
 
-		case EXPR_OFFSETOF:
-		case EXPR_REFERENCE:
-		case EXPR_REFERENCE_ENUM_VALUE:
-		case EXPR_CONST:
-		case EXPR_CHARACTER_CONSTANT:
-		case EXPR_WIDE_CHARACTER_CONSTANT:
-		case EXPR_STRING_LITERAL:
-		case EXPR_WIDE_STRING_LITERAL:
-		case EXPR_FUNCNAME:
-		case EXPR_BUILTIN_SYMBOL:
-		case EXPR_VA_START:
-		case EXPR_VA_ARG:
-		case EXPR_LABEL_ADDRESS:
-			break;
+	case EXPR_INVALID:
+	case EXPR_OFFSETOF:
+	case EXPR_REFERENCE:
+	case EXPR_REFERENCE_ENUM_VALUE:
+	case EXPR_CONST:
+	case EXPR_CHARACTER_CONSTANT:
+	case EXPR_WIDE_CHARACTER_CONSTANT:
+	case EXPR_STRING_LITERAL:
+	case EXPR_WIDE_STRING_LITERAL:
+	case EXPR_FUNCNAME:
+	case EXPR_BUILTIN_SYMBOL:
+	case EXPR_VA_START:
+	case EXPR_VA_ARG:
+	case EXPR_LABEL_ADDRESS:
+		break;
 	}
 
 	/* TODO FIXME: implement all the missing expressions here */