projects
/
cparser
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Remove the macro constant INVALID_TYPE, which is only used in comparisons, but never...
[cparser]
/
walk.c
diff --git
a/walk.c
b/walk.c
index
f7876e0
..
1b88790
100644
(file)
--- a/
walk.c
+++ b/
walk.c
@@
-96,16
+96,16
@@
static void walk_expression(expression_t *const expr,
walk_statement(expr->statement.statement, env);
return;
walk_statement(expr->statement.statement, env);
return;
- EXPR_BINARY_CASES
+ case EXPR_BINARY_CASES:
walk_expression(expr->binary.left, env);
walk_expression(expr->binary.right, env);
return;
walk_expression(expr->binary.left, env);
walk_expression(expr->binary.right, env);
return;
- EXPR_UNARY_CASES_OPTIONAL
+ case EXPR_UNARY_CASES_OPTIONAL:
if (expr->unary.value == NULL)
return;
/* FALLTHROUGH */
if (expr->unary.value == NULL)
return;
/* FALLTHROUGH */
- EXPR_UNARY_CASES_MANDATORY
+ case EXPR_UNARY_CASES_MANDATORY:
walk_expression(expr->unary.value, env);
return;
walk_expression(expr->unary.value, env);
return;
@@
-176,9
+176,9
@@
static void walk_expression(expression_t *const expr,
walk_designator(expr->offsetofe.designator, env);
return;
walk_designator(expr->offsetofe.designator, env);
return;
- EXPR_LITERAL_CASES
+ case EXPR_LITERAL_CASES:
case EXPR_REFERENCE:
case EXPR_REFERENCE:
- case EXPR_
REFERENCE_ENUM_VALUE
:
+ case EXPR_
ENUM_CONSTANT
:
case EXPR_STRING_LITERAL:
case EXPR_WIDE_STRING_LITERAL:
case EXPR_FUNCNAME:
case EXPR_STRING_LITERAL:
case EXPR_WIDE_STRING_LITERAL:
case EXPR_FUNCNAME:
@@
-268,8
+268,6
@@
static void walk_entity(entity_t *entity, const walk_env_t *const env)
case ENTITY_LABEL:
case ENTITY_LOCAL_LABEL:
return;
case ENTITY_LABEL:
case ENTITY_LOCAL_LABEL:
return;
- case ENTITY_INVALID:
- break;
}
panic("invalid entity found");
}
}
panic("invalid entity found");
}
@@
-329,6
+327,11
@@
static void walk_statement(statement_t *const stmt, const walk_env_t *const env)
return;
case STATEMENT_CASE_LABEL:
return;
case STATEMENT_CASE_LABEL:
+ if (stmt->case_label.expression) {
+ walk_expression(stmt->case_label.expression, env);
+ if (stmt->case_label.end_range)
+ walk_expression(stmt->case_label.end_range, env);
+ }
walk_statement(stmt->case_label.statement, env);
return;
walk_statement(stmt->case_label.statement, env);
return;
@@
-361,12
+364,16
@@
static void walk_statement(statement_t *const stmt, const walk_env_t *const env)
walk_statement(stmt->ms_try.final_statement, env);
return;
walk_statement(stmt->ms_try.final_statement, env);
return;
+ case STATEMENT_COMPUTED_GOTO:
+ walk_expression(stmt->computed_goto.expression, env);
+ return;
+
case STATEMENT_ERROR:
case STATEMENT_EMPTY:
case STATEMENT_CONTINUE:
case STATEMENT_BREAK:
case STATEMENT_ERROR:
case STATEMENT_EMPTY:
case STATEMENT_CONTINUE:
case STATEMENT_BREAK:
- case STATEMENT_GOTO:
case STATEMENT_ASM:
case STATEMENT_ASM:
+ case STATEMENT_GOTO:
case STATEMENT_LEAVE:
return;
}
case STATEMENT_LEAVE:
return;
}