void print_indent(void)
{
for (int i = 0; i < indent; ++i)
- print_string("\t");
+ print_char('\t');
}
static void print_stringrep(const string_t *string)
static unsigned get_expression_precedence(expression_kind_t kind)
{
static const unsigned prec[] = {
+ [EXPR_ERROR] = PREC_PRIMARY,
[EXPR_REFERENCE] = PREC_PRIMARY,
[EXPR_REFERENCE_ENUM_VALUE] = PREC_PRIMARY,
[EXPR_LITERAL_INTEGER] = PREC_PRIMARY,
for (const char *c = string->begin; c != end; ++c) {
const char tc = *c;
if (tc == border) {
- print_string("\\");
+ print_char('\\');
}
switch (tc) {
case '\\': print_string("\\\\"); break;
static void print_compound_literal(
const compound_literal_expression_t *expression)
{
- print_string("(");
+ print_char('(');
print_type(expression->type);
- print_string(")");
+ print_char(')');
print_initializer(expression->initializer);
}
static void print_call_expression(const call_expression_t *call)
{
print_expression_prec(call->function, PREC_POSTFIX);
- print_string("(");
- call_argument_t *argument = call->arguments;
- int first = 1;
- while (argument != NULL) {
- if (!first) {
- print_string(", ");
- } else {
- first = 0;
- }
- print_assignment_expression(argument->expression);
-
- argument = argument->next;
+ print_char('(');
+ char const *sep = "";
+ for (call_argument_t const *arg = call->arguments; arg; arg = arg->next) {
+ print_string(sep);
+ sep = ", ";
+ print_assignment_expression(arg->expression);
}
- print_string(")");
+ print_char(')');
}
/**
{
unsigned prec = get_expression_precedence(unexpr->base.kind);
switch (unexpr->base.kind) {
- case EXPR_UNARY_NEGATE: print_string("-"); break;
- case EXPR_UNARY_PLUS: print_string("+"); break;
- case EXPR_UNARY_NOT: print_string("!"); break;
- case EXPR_UNARY_BITWISE_NEGATE: print_string("~"); break;
+ case EXPR_UNARY_NEGATE: print_char ('-' ); break;
+ case EXPR_UNARY_PLUS: print_char ('+' ); break;
+ case EXPR_UNARY_NOT: print_char ('!' ); break;
+ case EXPR_UNARY_BITWISE_NEGATE: print_char ('~' ); break;
case EXPR_UNARY_PREFIX_INCREMENT: print_string("++"); break;
case EXPR_UNARY_PREFIX_DECREMENT: print_string("--"); break;
- case EXPR_UNARY_DEREFERENCE: print_string("*"); break;
- case EXPR_UNARY_TAKE_ADDRESS: print_string("&"); break;
+ case EXPR_UNARY_DEREFERENCE: print_char ('*' ); break;
+ case EXPR_UNARY_TAKE_ADDRESS: print_char ('&' ); break;
case EXPR_UNARY_DELETE: print_string("delete "); break;
case EXPR_UNARY_DELETE_ARRAY: print_string("delete [] "); break;
print_string("--");
return;
case EXPR_UNARY_CAST:
- print_string("(");
+ print_char('(');
print_type(unexpr->base.type);
- print_string(")");
+ print_char(')');
break;
case EXPR_UNARY_ASSUME:
print_string("__assume(");
print_assignment_expression(unexpr->value);
- print_string(")");
+ print_char(')');
return;
case EXPR_UNARY_THROW:
{
if (!expression->flipped) {
print_expression_prec(expression->array_ref, PREC_POSTFIX);
- print_string("[");
+ print_char('[');
print_expression(expression->index);
- print_string("]");
+ print_char(']');
} else {
print_expression_prec(expression->index, PREC_POSTFIX);
- print_string("[");
+ print_char('[');
print_expression(expression->array_ref);
- print_string("]");
+ print_char(']');
}
}
/* PREC_TOP: always print the '()' here, sizeof x is right but unusual */
print_expression_prec(expression->tp_expression, PREC_TOP);
} else {
- print_string("(");
+ print_char('(');
print_type(expression->type);
- print_string(")");
+ print_char(')');
}
}
{
print_string("__builtin_constant_p(");
print_assignment_expression(expression->value);
- print_string(")");
+ print_char(')');
}
/**
print_type(expression->left);
print_string(", ");
print_type(expression->right);
- print_string(")");
+ print_char(')');
}
/**
print_assignment_expression(expression->ap);
print_string(", ");
print_string(expression->parameter->base.base.symbol->string);
- print_string(")");
+ print_char(')');
}
/**
print_assignment_expression(expression->ap);
print_string(", ");
print_type(expression->base.type);
- print_string(")");
+ print_char(')');
}
/**
print_assignment_expression(expression->dst);
print_string(", ");
print_assignment_expression(expression->src);
- print_string(")");
+ print_char(')');
}
/**
if (is_type_pointer(skip_typeref(expression->compound->base.type))) {
print_string("->");
} else {
- print_string(".");
+ print_char('.');
}
print_string(expression->compound_entry->base.symbol->string);
}
{
print_string("__builtin_classify_type(");
print_assignment_expression(expr->type_expression);
- print_string(")");
+ print_char(')');
}
/**
{
for ( ; designator != NULL; designator = designator->next) {
if (designator->symbol == NULL) {
- print_string("[");
+ print_char('[');
print_expression(designator->array_index);
- print_string("]");
+ print_char(']');
} else {
- print_string(".");
+ print_char('.');
print_string(designator->symbol->string);
}
}
{
print_string("__builtin_offsetof(");
print_type(expression->type);
- print_string(",");
+ print_char(',');
print_designator(expression->designator);
- print_string(")");
+ print_char(')');
}
/**
*/
static void print_statement_expression(const statement_expression_t *expression)
{
- print_string("(");
+ print_char('(');
print_statement(expression->statement);
- print_string(")");
+ print_char(')');
}
/**
* @param expression the expression to print
* @param top_prec the precedence of the user of this expression.
*/
-static void print_expression_prec(const expression_t *expression, unsigned top_prec)
+static void print_expression_prec(expression_t const *expr, unsigned const top_prec)
{
- if (expression->kind == EXPR_UNARY_CAST
- && expression->base.implicit && !print_implicit_casts) {
- expression = expression->unary.value;
+ if (expr->kind == EXPR_UNARY_CAST && expr->base.implicit && !print_implicit_casts) {
+ expr = expr->unary.value;
}
bool parenthesized =
- expression->base.parenthesized ||
+ expr->base.parenthesized ||
(print_parenthesis && top_prec != PREC_BOTTOM) ||
- top_prec > get_expression_precedence(expression->base.kind);
+ top_prec > get_expression_precedence(expr->base.kind);
if (parenthesized)
- print_string("(");
- switch (expression->kind) {
- case EXPR_ERROR:
- print_string("$error$");
- break;
- case EXPR_WIDE_STRING_LITERAL:
- case EXPR_STRING_LITERAL:
- print_string_literal(&expression->string_literal);
- break;
- EXPR_LITERAL_CASES
- print_literal(&expression->literal);
- break;
- case EXPR_FUNCNAME:
- print_funcname(&expression->funcname);
- break;
- case EXPR_COMPOUND_LITERAL:
- print_compound_literal(&expression->compound_literal);
- break;
- case EXPR_CALL:
- print_call_expression(&expression->call);
- break;
- EXPR_BINARY_CASES
- print_binary_expression(&expression->binary);
- break;
- case EXPR_REFERENCE:
- case EXPR_REFERENCE_ENUM_VALUE:
- print_reference_expression(&expression->reference);
- break;
- case EXPR_ARRAY_ACCESS:
- print_array_expression(&expression->array_access);
- break;
- case EXPR_LABEL_ADDRESS:
- print_label_address_expression(&expression->label_address);
- break;
- EXPR_UNARY_CASES
- print_unary_expression(&expression->unary);
- break;
- case EXPR_SIZEOF:
+ print_char('(');
+ switch (expr->kind) {
case EXPR_ALIGNOF:
- print_typeprop_expression(&expression->typeprop);
- break;
- case EXPR_BUILTIN_CONSTANT_P:
- print_builtin_constant(&expression->builtin_constant);
- break;
- case EXPR_BUILTIN_TYPES_COMPATIBLE_P:
- print_builtin_types_compatible(&expression->builtin_types_compatible);
- break;
- case EXPR_CONDITIONAL:
- print_conditional(&expression->conditional);
- break;
- case EXPR_VA_START:
- print_va_start(&expression->va_starte);
- break;
- case EXPR_VA_ARG:
- print_va_arg(&expression->va_arge);
- break;
- case EXPR_VA_COPY:
- print_va_copy(&expression->va_copye);
- break;
- case EXPR_SELECT:
- print_select(&expression->select);
- break;
- case EXPR_CLASSIFY_TYPE:
- print_classify_type_expression(&expression->classify_type);
- break;
- case EXPR_OFFSETOF:
- print_offsetof_expression(&expression->offsetofe);
- break;
- case EXPR_STATEMENT:
- print_statement_expression(&expression->statement);
- break;
+ case EXPR_SIZEOF: print_typeprop_expression( &expr->typeprop); break;
+ case EXPR_ARRAY_ACCESS: print_array_expression( &expr->array_access); break;
+ case EXPR_BINARY_CASES: print_binary_expression( &expr->binary); break;
+ case EXPR_BUILTIN_CONSTANT_P: print_builtin_constant( &expr->builtin_constant); break;
+ case EXPR_BUILTIN_TYPES_COMPATIBLE_P: print_builtin_types_compatible(&expr->builtin_types_compatible); break;
+ case EXPR_CALL: print_call_expression( &expr->call); break;
+ case EXPR_CLASSIFY_TYPE: print_classify_type_expression(&expr->classify_type); break;
+ case EXPR_COMPOUND_LITERAL: print_compound_literal( &expr->compound_literal); break;
+ case EXPR_CONDITIONAL: print_conditional( &expr->conditional); break;
+ case EXPR_ERROR: print_string("$error$"); break;
+ case EXPR_FUNCNAME: print_funcname( &expr->funcname); break;
+ case EXPR_LABEL_ADDRESS: print_label_address_expression(&expr->label_address); break;
+ case EXPR_LITERAL_CASES: print_literal( &expr->literal); break;
+ case EXPR_OFFSETOF: print_offsetof_expression( &expr->offsetofe); break;
+ case EXPR_REFERENCE:
+ case EXPR_REFERENCE_ENUM_VALUE: print_reference_expression( &expr->reference); break;
+ case EXPR_SELECT: print_select( &expr->select); break;
+ case EXPR_STATEMENT: print_statement_expression( &expr->statement); break;
+ case EXPR_STRING_LITERAL:
+ case EXPR_WIDE_STRING_LITERAL: print_string_literal( &expr->string_literal); break;
+ case EXPR_UNARY_CASES: print_unary_expression( &expr->unary); break;
+ case EXPR_VA_ARG: print_va_arg( &expr->va_arge); break;
+ case EXPR_VA_COPY: print_va_copy( &expr->va_copye); break;
+ case EXPR_VA_START: print_va_start( &expr->va_starte); break;
}
if (parenthesized)
- print_string(")");
+ print_char(')');
}
static void print_indented_statement(statement_t const *const stmt)
print_string("{\n");
++indent;
- statement_t *statement = block->statements;
- while (statement != NULL) {
- print_indented_statement(statement);
+ for (statement_t const *stmt = block->statements; stmt; stmt = stmt->base.next) {
+ print_indented_statement(stmt);
print_char('\n');
-
- statement = statement->base.next;
}
+
--indent;
print_indent();
print_char('}');
{
print_string("goto ");
if (statement->expression != NULL) {
- print_string("*");
+ print_char('*');
print_expression(statement->expression);
} else {
print_string(statement->label->base.symbol->string);
{
print_string("typedef ");
print_type_ext(entity->typedefe.type, entity->base.symbol, NULL);
- print_string(";");
+ print_char(';');
}
/**
print_string("for (");
if (statement->initialisation != NULL) {
print_expression(statement->initialisation);
- print_string(";");
+ print_char(';');
} else {
entity_t const *entity = statement->scope.entities;
for (; entity != NULL; entity = entity->base.next) {
}
}
if (statement->condition != NULL) {
- print_string(" ");
+ print_char(' ');
print_expression(statement->condition);
}
- print_string(";");
+ print_char(';');
if (statement->step != NULL) {
- print_string(" ");
+ print_char(' ');
print_expression(statement->step);
}
print_char(')');
print_quoted_string(&argument->constraints, '"', 1);
print_string(" (");
print_expression(argument->expression);
- print_string(")");
+ print_char(')');
}
}
if (statement->is_volatile) {
print_string("volatile ");
}
- print_string("(");
+ print_char('(');
print_quoted_string(&statement->asm_text, '"', 1);
if (statement->outputs == NULL &&
statement->inputs == NULL &&
*
* @param statement the statement
*/
-void print_statement(const statement_t *statement)
+void print_statement(statement_t const *const stmt)
{
- switch (statement->kind) {
- case STATEMENT_EMPTY:
- print_char(';');
- break;
- case STATEMENT_COMPOUND:
- print_compound_statement(&statement->compound);
- break;
- case STATEMENT_RETURN:
- print_return_statement(&statement->returns);
- break;
- case STATEMENT_EXPRESSION:
- print_expression_statement(&statement->expression);
- break;
- case STATEMENT_LABEL:
- print_label_statement(&statement->label);
- break;
- case STATEMENT_GOTO:
- print_goto_statement(&statement->gotos);
- break;
- case STATEMENT_CONTINUE:
- print_string("continue;");
- break;
- case STATEMENT_BREAK:
- print_string("break;");
- break;
- case STATEMENT_IF:
- print_if_statement(&statement->ifs);
- break;
- case STATEMENT_SWITCH:
- print_switch_statement(&statement->switchs);
- break;
- case STATEMENT_CASE_LABEL:
- print_case_label(&statement->case_label);
- break;
- case STATEMENT_DECLARATION:
- print_declaration_statement(&statement->declaration);
- break;
- case STATEMENT_WHILE:
- print_while_statement(&statement->whiles);
- break;
- case STATEMENT_DO_WHILE:
- print_do_while_statement(&statement->do_while);
- break;
- case STATEMENT_FOR:
- print_for_statement(&statement->fors);
- break;
- case STATEMENT_ASM:
- print_asm_statement(&statement->asms);
- break;
- case STATEMENT_MS_TRY:
- print_ms_try_statement(&statement->ms_try);
- break;
- case STATEMENT_LEAVE:
- print_leave_statement(&statement->leave);
- break;
- case STATEMENT_ERROR:
- print_string("$error statement$");
- break;
+ switch (stmt->kind) {
+ case STATEMENT_ASM: print_asm_statement( &stmt->asms); break;
+ case STATEMENT_BREAK: print_string("break;"); break;
+ case STATEMENT_CASE_LABEL: print_case_label( &stmt->case_label); break;
+ case STATEMENT_COMPOUND: print_compound_statement( &stmt->compound); break;
+ case STATEMENT_CONTINUE: print_string("continue;"); break;
+ case STATEMENT_DECLARATION: print_declaration_statement(&stmt->declaration); break;
+ case STATEMENT_DO_WHILE: print_do_while_statement( &stmt->do_while); break;
+ case STATEMENT_EMPTY: print_char(';'); break;
+ case STATEMENT_ERROR: print_string("$error statement$"); break;
+ case STATEMENT_EXPRESSION: print_expression_statement( &stmt->expression); break;
+ case STATEMENT_FOR: print_for_statement( &stmt->fors); break;
+ case STATEMENT_GOTO: print_goto_statement( &stmt->gotos); break;
+ case STATEMENT_IF: print_if_statement( &stmt->ifs); break;
+ case STATEMENT_LABEL: print_label_statement( &stmt->label); break;
+ case STATEMENT_LEAVE: print_leave_statement( &stmt->leave); break;
+ case STATEMENT_MS_TRY: print_ms_try_statement( &stmt->ms_try); break;
+ case STATEMENT_RETURN: print_return_statement( &stmt->returns); break;
+ case STATEMENT_SWITCH: print_switch_statement( &stmt->switchs); break;
+ case STATEMENT_WHILE: print_while_statement( &stmt->whiles); break;
}
}
}
if (variable->put_property_sym != NULL)
print_format("%sput=%s", comma, variable->put_property_sym->string);
- print_string(")");
+ print_char(')');
}
}
}
for ( ; entity != NULL; entity = entity->base.next) {
print_indent();
print_entity(entity);
- print_string("\n");
+ print_char('\n');
}
}
print_string("namespace ");
if (namespace->base.symbol != NULL) {
print_string(namespace->base.symbol->string);
- print_string(" ");
+ print_char(' ');
}
print_string("{\n");
&entity->function.parameters);
if (entity->function.statement != NULL) {
- print_string("\n");
+ print_char('\n');
print_indented_statement(entity->function.statement);
print_char('\n');
return;
print_type_ext(declaration->type, declaration->base.symbol, NULL);
break;
}
- print_string(";");
+ print_char(';');
}
/**
print_compound:
print_string(entity->base.symbol->string);
if (entity->compound.complete) {
- print_string(" ");
+ print_char(' ');
print_compound_definition(&entity->compound);
}
- print_string(";");
+ print_char(';');
return;
case ENTITY_ENUM:
print_string("enum ");
print_string(entity->base.symbol->string);
- print_string(" ");
+ print_char(' ');
print_enum_definition(&entity->enume);
- print_string(";");
+ print_char(';');
return;
case ENTITY_NAMESPACE:
print_namespace(&entity->namespacee);
case ENTITY_LOCAL_LABEL:
print_string("__label__ ");
print_string(entity->base.symbol->string);
- print_string(";");
+ print_char(';');
return;
case ENTITY_LABEL:
case ENTITY_ENUM_VALUE:
print_indent();
print_entity(entity);
- print_string("\n");
+ print_char('\n');
}
}
expression_classification_t is_constant_expression(const expression_t *expression)
{
switch (expression->kind) {
- EXPR_LITERAL_CASES
+ case EXPR_LITERAL_CASES:
case EXPR_CLASSIFY_TYPE:
case EXPR_OFFSETOF:
case EXPR_ALIGNOF: