const entity_t *entity = get_irg_loc_description(irg, pos);
if (entity != NULL) {
- source_position_t const *const pos = &entity->base.source_position;
+ position_t const *const pos = &entity->base.pos;
warningf(WARN_UNINITIALIZED, pos, "'%N' might be used uninitialized", entity);
}
return new_r_Unknown(irg, mode);
static src_loc_t dbg_retrieve(const dbg_info *dbg)
{
- source_position_t const *const pos = (source_position_t const*)dbg;
+ position_t const *const pos = (position_t const*)dbg;
if (pos) {
return (src_loc_t){ pos->input_name, pos->lineno, pos->colno };
} else {
}
}
-static dbg_info *get_dbg_info(const source_position_t *pos)
+static dbg_info *get_dbg_info(const position_t *pos)
{
return (dbg_info*) pos;
}
ident = new_id_from_str(symbol->string);
}
- dbg_info *dbgi = get_dbg_info(&entry->base.source_position);
+ dbg_info *dbgi = get_dbg_info(&entry->base.pos);
ir_type *entry_irtype;
if (entry->compound_member.bitfield) {
else
nested_function = true;
- dbg_info *const dbgi = get_dbg_info(&entity->base.source_position);
+ dbg_info *const dbgi = get_dbg_info(&entity->base.pos);
irentity = new_d_entity(owner_type, id, ir_type_method, dbgi);
ident *ld_id;
* @param id_prefix a prefix for the name of the generated string constant
* @param value the value of the string constant
*/
-static ir_node *string_to_firm(source_position_t const *const src_pos, char const *const id_prefix, string_t const *const value)
+static ir_node *string_to_firm(position_t const *const src_pos, char const *const id_prefix, string_t const *const value)
{
size_t const slen = get_string_len(value) + 1;
ir_initializer_t *const initializer = create_initializer_compound(slen);
panic("invalid literal kind");
}
- dbg_info *dbgi = get_dbg_info(&literal->base.source_position);
+ dbg_info *dbgi = get_dbg_info(&literal->base.pos);
ir_node *res = new_d_Const(dbgi, tv);
ir_mode *mode_arith = get_ir_mode_arithmetic(type);
return create_conv(dbgi, res, mode_arith);
panic("invalid literal kind");
}
- dbg_info *dbgi = get_dbg_info(&literal->base.source_position);
+ dbg_info *dbgi = get_dbg_info(&literal->base.pos);
ir_node *res = new_d_Const(dbgi, tv);
ir_mode *mode_arith = get_ir_mode_arithmetic(type);
return create_conv(dbgi, res, mode_arith);
static ir_node *reference_addr(const reference_expression_t *ref)
{
- dbg_info *dbgi = get_dbg_info(&ref->base.source_position);
+ dbg_info *dbgi = get_dbg_info(&ref->base.pos);
entity_t *entity = ref->entity;
assert(is_declaration(entity));
/* for gcc compatibility we have to produce (dummy) addresses for some
* builtins which don't have entities */
if (irentity == NULL) {
- source_position_t const *const pos = &ref->base.source_position;
+ position_t const *const pos = &ref->base.pos;
warningf(WARN_OTHER, pos, "taking address of builtin '%N'", ref->entity);
/* simply create a NULL pointer */
static ir_node *reference_expression_to_firm(const reference_expression_t *ref)
{
- dbg_info *const dbgi = get_dbg_info(&ref->base.source_position);
+ dbg_info *const dbgi = get_dbg_info(&ref->base.pos);
entity_t *const entity = ref->entity;
assert(is_declaration(entity));
*/
static ir_node *process_builtin_call(const call_expression_t *call)
{
- dbg_info *dbgi = get_dbg_info(&call->base.source_position);
+ dbg_info *dbgi = get_dbg_info(&call->base.pos);
assert(call->function->kind == EXPR_REFERENCE);
reference_expression_t *builtin = &call->function->reference;
*/
static ir_node *call_expression_to_firm(const call_expression_t *const call)
{
- dbg_info *const dbgi = get_dbg_info(&call->base.source_position);
+ dbg_info *const dbgi = get_dbg_info(&call->base.pos);
assert(currently_reachable());
expression_t *function = call->function;
static ir_node *bitfield_extract_to_firm(const select_expression_t *expression,
ir_node *addr)
{
- dbg_info *dbgi = get_dbg_info(&expression->base.source_position);
+ dbg_info *dbgi = get_dbg_info(&expression->base.pos);
entity_t *entity = expression->compound_entry;
type_t *base_type = entity->declaration.type;
ir_mode *mode = get_ir_mode_storage(base_type);
static ir_node *set_value_for_expression_addr(const expression_t *expression,
ir_node *value, ir_node *addr)
{
- dbg_info *dbgi = get_dbg_info(&expression->base.source_position);
+ dbg_info *dbgi = get_dbg_info(&expression->base.pos);
type_t *type = skip_typeref(expression->base.type);
if (!is_type_compound(type)) {
}
assert(addr != NULL);
- dbg_info *dbgi = get_dbg_info(&expression->base.source_position);
+ dbg_info *dbgi = get_dbg_info(&expression->base.pos);
ir_node *value;
if (expression->kind == EXPR_SELECT &&
static ir_node *create_incdec(const unary_expression_t *expression)
{
- dbg_info *const dbgi = get_dbg_info(&expression->base.source_position);
+ dbg_info *const dbgi = get_dbg_info(&expression->base.pos);
const expression_t *value_expr = expression->value;
ir_node *addr = expression_to_addr(value_expr);
ir_node *value = get_value_from_lvalue(value_expr, addr);
static ir_node *unary_expression_to_firm(const unary_expression_t *expression)
{
- dbg_info *dbgi = get_dbg_info(&expression->base.source_position);
+ dbg_info *dbgi = get_dbg_info(&expression->base.pos);
type_t *type = skip_typeref(expression->base.type);
const expression_t *value = expression->value;
static ir_node *create_lazy_op(const binary_expression_t *expression)
{
- dbg_info *dbgi = get_dbg_info(&expression->base.source_position);
+ dbg_info *dbgi = get_dbg_info(&expression->base.pos);
type_t *type = skip_typeref(expression->base.type);
ir_mode *mode = get_ir_mode_arithmetic(type);
static ir_node *create_assign_binop(const binary_expression_t *expression)
{
- dbg_info *const dbgi = get_dbg_info(&expression->base.source_position);
+ dbg_info *const dbgi = get_dbg_info(&expression->base.pos);
const expression_t *left_expr = expression->left;
type_t *type = skip_typeref(left_expr->base.type);
ir_node *right = expression_to_firm(expression->right);
case EXPR_BINARY_ISLESSEQUAL:
case EXPR_BINARY_ISLESSGREATER:
case EXPR_BINARY_ISUNORDERED: {
- dbg_info *dbgi = get_dbg_info(&expression->base.source_position);
+ dbg_info *dbgi = get_dbg_info(&expression->base.pos);
ir_node *left = expression_to_firm(expression->left);
ir_node *right = expression_to_firm(expression->right);
ir_relation relation = get_relation(kind);
case EXPR_BINARY_SHIFTLEFT:
case EXPR_BINARY_SHIFTRIGHT:
{
- dbg_info *dbgi = get_dbg_info(&expression->base.source_position);
+ dbg_info *dbgi = get_dbg_info(&expression->base.pos);
ir_node *left = expression_to_firm(expression->left);
ir_node *right = expression_to_firm(expression->right);
return create_op(dbgi, expression, left, right);
static ir_node *array_access_addr(const array_access_expression_t *expression)
{
- dbg_info *dbgi = get_dbg_info(&expression->base.source_position);
+ dbg_info *dbgi = get_dbg_info(&expression->base.pos);
ir_node *base_addr = expression_to_firm(expression->array_ref);
ir_node *offset = expression_to_firm(expression->index);
type_t *ref_type = skip_typeref(expression->array_ref->base.type);
static ir_node *array_access_to_firm(
const array_access_expression_t *expression)
{
- dbg_info *dbgi = get_dbg_info(&expression->base.source_position);
+ dbg_info *dbgi = get_dbg_info(&expression->base.pos);
ir_node *addr = array_access_addr(expression);
type_t *type = revert_automatic_type_conversion(
(const expression_t*) expression);
ir_mode *mode = get_ir_mode_arithmetic(expression->base.type);
long offset = get_offsetof_offset(expression);
ir_tarval *tv = new_tarval_from_long(offset, mode);
- dbg_info *dbgi = get_dbg_info(&expression->base.source_position);
+ dbg_info *dbgi = get_dbg_info(&expression->base.pos);
return new_d_Const(dbgi, tv);
}
static ir_node *compound_literal_addr(compound_literal_expression_t const *const expression)
{
- dbg_info *dbgi = get_dbg_info(&expression->base.source_position);
+ dbg_info *dbgi = get_dbg_info(&expression->base.pos);
type_t *type = expression->type;
initializer_t *initializer = expression->initializer;
static ir_node *compound_literal_to_firm(compound_literal_expression_t const* const expr)
{
- dbg_info *const dbgi = get_dbg_info(&expr->base.source_position);
+ dbg_info *const dbgi = get_dbg_info(&expr->base.pos);
type_t *const type = expr->type;
ir_node *const addr = compound_literal_addr(expr);
return deref_address(dbgi, type, addr);
alignment = get_type_alignment(type);
}
- dbg_info *dbgi = get_dbg_info(&expression->base.source_position);
+ dbg_info *dbgi = get_dbg_info(&expression->base.pos);
ir_mode *mode = get_ir_mode_arithmetic(expression->base.type);
ir_tarval *tv = new_tarval_from_long(alignment, mode);
return new_d_Const(dbgi, tv);
jump_to_target(&exit_target);
if (val) {
ir_node *const in[] = { val, false_val };
- dbg_info *const dbgi = get_dbg_info(&expression->base.source_position);
+ dbg_info *const dbgi = get_dbg_info(&expression->base.pos);
val = new_rd_Phi(dbgi, exit_target.block, lengthof(in), in, get_irn_mode(val));
} else {
val = false_val;
*/
static ir_node *select_addr(const select_expression_t *expression)
{
- dbg_info *dbgi = get_dbg_info(&expression->base.source_position);
+ dbg_info *dbgi = get_dbg_info(&expression->base.pos);
construct_select_compound(expression);
static ir_node *select_to_firm(const select_expression_t *expression)
{
- dbg_info *dbgi = get_dbg_info(&expression->base.source_position);
+ dbg_info *dbgi = get_dbg_info(&expression->base.pos);
ir_node *addr = select_addr(expression);
type_t *type = revert_automatic_type_conversion(
(const expression_t*) expression);
}
make_const:;
- dbg_info *const dbgi = get_dbg_info(&expr->base.source_position);
+ dbg_info *const dbgi = get_dbg_info(&expr->base.pos);
ir_mode *const mode = atomic_modes[ATOMIC_TYPE_INT];
ir_tarval *const tv = new_tarval_from_long(tc, mode);
return new_d_Const(dbgi, tv);
case FUNCNAME_PRETTY_FUNCTION:
case FUNCNAME_FUNCDNAME:
if (current_function_name == NULL) {
- source_position_t const *const src_pos = &expr->base.source_position;
- char const *const name = current_function_entity->base.symbol->string;
- string_t const string = { name, strlen(name), STRING_ENCODING_CHAR };
+ position_t const *const src_pos = &expr->base.pos;
+ char const *const name = current_function_entity->base.symbol->string;
+ string_t const string = { name, strlen(name), STRING_ENCODING_CHAR };
current_function_name = string_to_firm(src_pos, "__func__.%u", &string);
}
return current_function_name;
case FUNCNAME_FUNCSIG:
if (current_funcsig == NULL) {
- source_position_t const *const src_pos = &expr->base.source_position;
- ir_entity *const ent = get_irg_entity(current_ir_graph);
- char const *const name = get_entity_ld_name(ent);
- string_t const string = { name, strlen(name), STRING_ENCODING_CHAR };
+ position_t const *const src_pos = &expr->base.pos;
+ ir_entity *const ent = get_irg_entity(current_ir_graph);
+ char const *const name = get_entity_ld_name(ent);
+ string_t const string = { name, strlen(name), STRING_ENCODING_CHAR };
current_funcsig = string_to_firm(src_pos, "__FUNCSIG__.%u", &string);
}
return current_funcsig;
}
ir_node *const frame = get_irg_frame(current_ir_graph);
- dbg_info *const dbgi = get_dbg_info(&expr->base.source_position);
+ dbg_info *const dbgi = get_dbg_info(&expr->base.pos);
ir_node *const no_mem = new_NoMem();
ir_node *const arg_sel = new_d_simpleSel(dbgi, no_mem, frame, param_ent);
expression_t *const ap_expr = expr->ap;
ir_node *const ap_addr = expression_to_addr(ap_expr);
ir_node *const ap = get_value_from_lvalue(ap_expr, ap_addr);
- dbg_info *const dbgi = get_dbg_info(&expr->base.source_position);
+ dbg_info *const dbgi = get_dbg_info(&expr->base.pos);
ir_node *const res = deref_address(dbgi, type, ap);
ir_node *const cnst = get_type_size_node(expr->base.type);
symconst_symbol value;
value.entity_p = create_Block_entity(label->label->indirect_block);
- dbg_info *const dbgi = get_dbg_info(&label->base.source_position);
+ dbg_info *const dbgi = get_dbg_info(&label->base.pos);
return new_d_SymConst(dbgi, mode_P_code, value, symconst_addr_ent);
}
case EXPR_VA_COPY: return va_copy_expression_to_firm( &expr->va_copye);
case EXPR_VA_START: return va_start_expression_to_firm( &expr->va_starte);
- case EXPR_STRING_LITERAL: return string_to_firm(&expr->base.source_position, "str.%u", &expr->string_literal.value);
+ case EXPR_STRING_LITERAL: return string_to_firm(&expr->base.pos, "str.%u", &expr->string_literal.value);
case EXPR_ERROR: break;
}
}
/* we have to produce a 0/1 from the mode_b expression */
- dbg_info *dbgi = get_dbg_info(&expression->base.source_position);
+ dbg_info *dbgi = get_dbg_info(&expression->base.pos);
ir_mode *mode = get_ir_mode_arithmetic(expression->base.type);
return produce_condition_result(expression, mode, dbgi);
}
jump_to_target(true_target);
}
} else {
- dbg_info *dbgi = get_dbg_info(&expression->base.source_position);
+ dbg_info *dbgi = get_dbg_info(&expression->base.pos);
ir_node *condition = create_conv(dbgi, cond_expr, mode_b);
ir_node *cond = new_d_Cond(dbgi, condition);
ir_node *true_proj = new_d_Proj(dbgi, cond, mode_X, pn_Cond_true);
ident *const id = new_id_from_str(variable->base.symbol->string);
ir_type *const irtype = get_ir_type(type);
- dbg_info *const dbgi = get_dbg_info(&variable->base.source_position);
+ dbg_info *const dbgi = get_dbg_info(&variable->base.pos);
ir_entity *const irentity = new_d_entity(parent_type, id, irtype, dbgi);
unsigned alignment = variable->declaration.alignment;
{
assert(entity->kind == ENTITY_VARIABLE);
initializer_t *initializer = entity->variable.initializer;
- dbg_info *dbgi = get_dbg_info(&entity->base.source_position);
+ dbg_info *dbgi = get_dbg_info(&entity->base.pos);
ir_entity *irentity = entity->variable.v.entity;
type_t *type = entity->declaration.type;
}
ir_node * node = expression_to_firm(value);
- dbg_info *const dbgi = get_dbg_info(&entity->base.source_position);
+ dbg_info *const dbgi = get_dbg_info(&entity->base.pos);
ir_mode *const mode = get_ir_mode_storage(init_type);
node = create_conv(dbgi, node, mode);
assert(entity->variable.initializer == NULL);
assert(currently_reachable());
- dbg_info *dbgi = get_dbg_info(&entity->base.source_position);
+ dbg_info *dbgi = get_dbg_info(&entity->base.pos);
type_t *type = entity->declaration.type;
ir_type *el_type = get_ir_type(type->array.element_type);
ir_type *const var_type = entity->variable.thread_local ?
get_tls_type() : get_glob_type();
ir_type *const irtype = get_ir_type(type);
- dbg_info *const dbgi = get_dbg_info(&entity->base.source_position);
+ dbg_info *const dbgi = get_dbg_info(&entity->base.pos);
size_t l = strlen(entity->base.symbol->string);
char buf[l + sizeof(".%u")];
if (!currently_reachable())
return NULL;
- dbg_info *const dbgi = get_dbg_info(&statement->base.source_position);
+ dbg_info *const dbgi = get_dbg_info(&statement->base.pos);
type_t *const type = skip_typeref(current_function_entity->declaration.type->function.return_type);
ir_node * res = statement->value ? expression_to_firm(statement->value) : NULL;
static ir_node *switch_statement_to_firm(switch_statement_t *statement)
{
- dbg_info *dbgi = get_dbg_info(&statement->base.source_position);
+ dbg_info *dbgi = get_dbg_info(&statement->base.pos);
ir_node *switch_node = NULL;
if (currently_reachable()) {
const char *clobber_str = clobber->clobber.begin;
if (!be_is_valid_clobber(clobber_str)) {
- errorf(&statement->base.source_position,
+ errorf(&statement->base.pos,
"invalid clobber '%s' specified", clobber->clobber);
continue;
}
= be_parse_asm_constraints(constraints);
{
- source_position_t const *const pos = &statement->base.source_position;
+ position_t const *const pos = &statement->base.pos;
if (asm_flags & ASM_CONSTRAINT_FLAG_NO_SUPPORT) {
warningf(WARN_OTHER, pos, "some constraints in '%s' are not supported", constraints);
}
++in_size;
continue;
} else {
- errorf(&statement->base.source_position,
+ errorf(&statement->base.pos,
"only modifiers but no place set in constraints '%s'",
constraints);
continue;
= be_parse_asm_constraints(constraints);
if (asm_flags & ASM_CONSTRAINT_FLAG_NO_SUPPORT) {
- errorf(&statement->base.source_position,
+ errorf(&statement->base.pos,
"some constraints in '%s' are not supported", constraints);
continue;
}
if (asm_flags & ASM_CONSTRAINT_FLAG_INVALID) {
- errorf(&statement->base.source_position,
+ errorf(&statement->base.pos,
"some constraints in '%s' are invalid", constraints);
continue;
}
if (asm_flags & ASM_CONSTRAINT_FLAG_MODIFIER_WRITE) {
- errorf(&statement->base.source_position,
+ errorf(&statement->base.pos,
"write flag specified for input constraints '%s'",
constraints);
continue;
needs_memory = true;
input = expression_to_addr(argument->expression);
} else {
- errorf(&statement->base.source_position,
+ errorf(&statement->base.pos,
"only modifiers but no place set in constraints '%s'",
constraints);
continue;
ir_asm_constraint *input_constraints = obstack_finish(&asm_obst);
/* create asm node */
- dbg_info *dbgi = get_dbg_info(&statement->base.source_position);
+ dbg_info *dbgi = get_dbg_info(&statement->base.pos);
ident *asm_text = new_id_from_str(statement->asm_text.begin);
static ir_node *ms_try_statement_to_firm(ms_try_statement_t *statement)
{
statement_to_firm(statement->try_statement);
- source_position_t const *const pos = &statement->base.source_position;
+ position_t const *const pos = &statement->base.pos;
warningf(WARN_OTHER, pos, "structured exception handling ignored");
return NULL;
}
static ir_node *leave_statement_to_firm(leave_statement_t *statement)
{
- errorf(&statement->base.source_position, "__leave not supported yet");
+ errorf(&statement->base.pos, "__leave not supported yet");
return NULL;
}
assert(parameter->declaration.kind == DECLARATION_KIND_UNKNOWN);
type_t *type = skip_typeref(parameter->declaration.type);
- dbg_info *const dbgi = get_dbg_info(¶meter->base.source_position);
+ dbg_info *const dbgi = get_dbg_info(¶meter->base.pos);
ir_type *const param_irtype = get_method_param_type(function_irtype, n);
if (var_needs_entity(¶meter->variable)) {
ir_type *frame_type = get_irg_frame_type(irg);
typedef struct declaration_specifiers_t declaration_specifiers_t;
struct declaration_specifiers_t {
- source_position_t source_position;
- storage_class_t storage_class;
- unsigned char alignment; /**< Alignment, 0 if not set. */
- bool is_inline : 1;
- bool thread_local : 1;
- attribute_t *attributes; /**< list of attributes */
- type_t *type;
+ position_t pos;
+ storage_class_t storage_class;
+ unsigned char alignment; /**< Alignment, 0 if not set. */
+ bool is_inline : 1;
+ bool thread_local : 1;
+ attribute_t *attributes; /**< list of attributes */
+ type_t *type;
};
/**
static unsigned short token_anchor_set[T_LAST_TOKEN];
/** The current source position. */
-#define HERE (&token.base.source_position)
+#define HERE (&token.base.pos)
/** true if we are in GCC mode. */
#define GNU_MODE ((c_mode & _GNUC) || in_gcc_extension)
size_t size = get_statement_struct_size(kind);
statement_t *res = allocate_ast_zero(size);
- res->base.kind = kind;
- res->base.parent = current_parent;
- res->base.source_position = *HERE;
+ res->base.kind = kind;
+ res->base.parent = current_parent;
+ res->base.pos = *HERE;
return res;
}
size_t size = get_expression_struct_size(kind);
expression_t *res = allocate_ast_zero(size);
- res->base.kind = kind;
- res->base.type = type_error_type;
- res->base.source_position = *HERE;
+ res->base.kind = kind;
+ res->base.type = type_error_type;
+ res->base.pos = *HERE;
return res;
}
* Report an incompatible type.
*/
static void type_error_incompatible(const char *msg,
- const source_position_t *source_position, type_t *type1, type_t *type2)
+ const position_t *pos, type_t *type1, type_t *type2)
{
- errorf(source_position, "%s, incompatible types: '%T' - '%T'",
- msg, type1, type2);
+ errorf(pos, "%s, incompatible types: '%T' - '%T'", msg, type1, type2);
}
static bool skip_till(token_kind_t const expected, char const *const context)
eat(expected);
}
-static symbol_t *expect_identifier(char const *const context, source_position_t *const pos)
+static symbol_t *expect_identifier(char const *const context,
+ position_t *const pos)
{
if (!skip_till(T_IDENTIFIER, context))
return NULL;
if (entity != NULL && (entity_kind_tag_t)entity->kind != kind) {
errorf(HERE,
"'%Y' defined as wrong kind of tag (previous definition %P)",
- symbol, &entity->base.source_position);
+ symbol, &entity->base.pos);
entity = NULL;
}
return entity;
*/
static void environment_push(entity_t *entity)
{
- assert(entity->base.source_position.input_name != NULL);
+ assert(entity->base.pos.input_name != NULL);
assert(entity->base.parent_scope != NULL);
stack_push(&environment_stack, entity);
}
ASSIGN_WARNING_INT_FROM_POINTER
} assign_error_t;
-static void report_assign_error(assign_error_t error, type_t *orig_type_left, expression_t const *const right, char const *const context, source_position_t const *const pos)
+static void report_assign_error(assign_error_t error, type_t *orig_type_left, expression_t const *const right, char const *const context, position_t const *const pos)
{
type_t *const orig_type_right = right->base.type;
type_t *const type_left = skip_typeref(orig_type_left);
expression_t *result = parse_subexpression(PREC_CONDITIONAL);
if (is_constant_expression(result) == EXPR_CLASS_VARIABLE) {
- errorf(&result->base.source_position,
- "expression '%E' is not constant", result);
+ errorf(&result->base.pos, "expression '%E' is not constant", result);
}
return result;
if (!skip_till(T_STRING_LITERAL, context))
return (string_t){ "", 0, STRING_ENCODING_CHAR };
- source_position_t const pos = *HERE;
- string_t const res = concat_string_literals();
+ position_t const pos = *HERE;
+ string_t const res = concat_string_literals();
if (res.encoding != STRING_ENCODING_CHAR) {
errorf(&pos, "expected plain string literal, got %s string literal", get_string_encoding_prefix(res.encoding));
static attribute_t *allocate_attribute_zero(attribute_kind_t kind)
{
attribute_t *attribute = allocate_ast_zero(sizeof(*attribute));
- attribute->kind = kind;
- attribute->source_position = *HERE;
+ attribute->kind = kind;
+ attribute->pos = *HERE;
return attribute;
}
designator_t *designator;
switch (token.kind) {
case '[':
- designator = allocate_ast_zero(sizeof(designator[0]));
- designator->source_position = *HERE;
+ designator = allocate_ast_zero(sizeof(designator[0]));
+ designator->pos = *HERE;
eat('[');
add_anchor_token(']');
designator->array_index = parse_constant_expression();
expect(']');
break;
case '.':
- designator = allocate_ast_zero(sizeof(designator[0]));
- designator->source_position = *HERE;
+ designator = allocate_ast_zero(sizeof(designator[0]));
+ designator->pos = *HERE;
eat('.');
designator->symbol = expect_identifier("while parsing designator", NULL);
if (!designator->symbol)
if (error == ASSIGN_ERROR_INCOMPATIBLE)
return NULL;
report_assign_error(error, type, expression, "initializer",
- &expression->base.source_position);
+ &expression->base.pos);
initializer_t *const result = allocate_initializer_zero(INITIALIZER_VALUE);
result->value.value = create_implicit_cast(expression, type);
expression_t *expression = parse_assignment_expression();
mark_vars_read(expression, NULL);
if (must_be_constant && !is_linker_constant(expression)) {
- errorf(&expression->base.source_position,
+ errorf(&expression->base.pos,
"initialisation expression '%E' is not constant",
expression);
}
initializer_t *initializer = initializer_from_expression(type, expression);
if (initializer == NULL) {
- errorf(&expression->base.source_position,
+ errorf(&expression->base.pos,
"expression '%E' (type '%T') doesn't match expected type '%T'",
expression, expression->base.type, type);
/* TODO */
symbol_t *symbol = designator->symbol;
if (!is_type_compound(type)) {
if (is_type_valid(type)) {
- errorf(&designator->source_position,
+ errorf(&designator->pos,
"'.%Y' designator used for non-compound type '%T'",
symbol, orig_type);
}
}
}
if (iter == NULL) {
- errorf(&designator->source_position,
+ errorf(&designator->pos,
"'%T' has no member named '%Y'", orig_type, symbol);
return false;
}
assert(iter->kind == ENTITY_COMPOUND_MEMBER);
if (used_in_offsetof && iter->compound_member.bitfield) {
- errorf(&designator->source_position,
+ errorf(&designator->pos,
"offsetof designator '%Y' must not specify bitfield",
symbol);
return false;
if (!is_type_array(type)) {
if (is_type_valid(type)) {
- errorf(&designator->source_position,
+ errorf(&designator->pos,
"[%E] designator used for non-array type '%T'",
array_index, orig_type);
}
long index = fold_constant_to_int(array_index);
if (!used_in_offsetof) {
if (index < 0) {
- errorf(&designator->source_position,
+ errorf(&designator->pos,
"array index [%E] must be positive", array_index);
} else if (type->array.size_constant) {
long array_size = type->array.size;
if (index >= array_size) {
- errorf(&designator->source_position,
+ errorf(&designator->pos,
"designator [%E] (%d) exceeds array size %d",
array_index, index, array_size);
}
goto finish_designator;
} else if (token.kind == T_IDENTIFIER && look_ahead(1)->kind == ':') {
/* GNU-style designator ("identifier: value") */
- designator = allocate_ast_zero(sizeof(designator[0]));
- designator->source_position = *HERE;
- designator->symbol = token.base.symbol;
+ designator = allocate_ast_zero(sizeof(designator[0]));
+ designator->pos = *HERE;
+ designator->symbol = token.base.symbol;
eat(T_IDENTIFIER);
eat(':');
mark_vars_read(expression, NULL);
if (env->must_be_constant && !is_linker_constant(expression)) {
- errorf(&expression->base.source_position,
+ errorf(&expression->base.pos,
"Initialisation expression '%E' is not constant",
expression);
}
goto error_parse_next;
}
- source_position_t const* const pos = &expression->base.source_position;
+ position_t const* const pos = &expression->base.pos;
if (env->entity != NULL) {
warningf(WARN_OTHER, pos, "excess elements in initializer for '%N'", env->entity);
} else {
goto end_error;
}
if (is_type_scalar(type)) {
- errorf(&expression->base.source_position,
+ errorf(&expression->base.pos,
"expression '%E' doesn't match expected type '%T'",
expression, orig_type);
goto end_error;
static compound_t *parse_compound_type_specifier(bool is_struct)
{
- source_position_t const pos = *HERE;
+ position_t const pos = *HERE;
eat(is_struct ? T_struct : T_union);
symbol_t *symbol = NULL;
* existing definition in outer scope */
entity = NULL;
} else if (entity->compound.complete && token.kind == '{') {
- source_position_t const *const ppos = &entity->base.source_position;
+ position_t const *const ppos = &entity->base.pos;
errorf(&pos, "multiple definitions of '%N' (previous definition %P)", entity, ppos);
/* clear members in the hope to avoid further errors */
entity->compound.members.entities = NULL;
add_anchor_token(',');
do {
add_anchor_token('=');
- source_position_t pos;
+ position_t pos;
symbol_t *const symbol = expect_identifier("while parsing enum entry", &pos);
entity_t *const entity = allocate_entity_zero(ENTITY_ENUM_VALUE, NAMESPACE_NORMAL, symbol, &pos);
entity->enum_value.enum_type = enum_type;
static type_t *parse_enum_specifier(void)
{
- source_position_t const pos = *HERE;
- entity_t *entity;
- symbol_t *symbol;
+ position_t const pos = *HERE;
+ entity_t *entity;
+ symbol_t *symbol;
eat(T_enum);
switch (token.kind) {
* existing definition in outer scope */
entity = NULL;
} else if (entity->enume.complete && token.kind == '{') {
- source_position_t const *const ppos = &entity->base.source_position;
+ position_t const *const ppos = &entity->base.pos;
errorf(&pos, "multiple definitions of '%N' (previous definition %P)", entity, ppos);
}
}
do {
add_anchor_token('=');
- source_position_t pos;
+ position_t pos;
symbol_t *const prop_sym = expect_identifier("while parsing property declspec", &pos);
rem_anchor_token('=');
bool saw_error = false;
memset(specifiers, 0, sizeof(*specifiers));
- specifiers->source_position = *HERE;
+ specifiers->pos = *HERE;
while (true) {
specifiers->attributes = parse_attributes(specifiers->attributes);
| SPECIFIER_INT:
atomic_type = ATOMIC_TYPE_ULONGLONG;
warn_about_long_long:
- warningf(WARN_LONG_LONG, &specifiers->source_position, "ISO C90 does not support 'long long'");
+ warningf(WARN_LONG_LONG, &specifiers->pos, "ISO C90 does not support 'long long'");
break;
case SPECIFIER_UNSIGNED | SPECIFIER_INT8:
break;
default: {
/* invalid specifier combination, give an error message */
- source_position_t const* const pos = &specifiers->source_position;
+ position_t const* const pos = &specifiers->pos;
if (type_specifiers == 0) {
if (!saw_error) {
/* ISO/IEC 14882:1998(E) §C.1.5:4 */
type->atomic.akind = atomic_type;
newtype = true;
} else if (type_specifiers != 0) {
- errorf(&specifiers->source_position, "multiple datatypes in declaration");
+ errorf(&specifiers->pos, "multiple datatypes in declaration");
}
/* FIXME: check type qualifiers here */
* incomplete type. */
type_t *type = skip_typeref(entity->declaration.type);
if (is_type_incomplete(type)) {
- errorf(&entity->base.source_position, "'%N' has incomplete type", entity);
+ errorf(&entity->base.pos, "'%N' has incomplete type", entity);
}
}
{
entity_t *entity = parse_parameter();
if (entity->kind == ENTITY_TYPEDEF) {
- errorf(&entity->base.source_position,
+ errorf(&entity->base.pos,
"typedef not allowed as function parameter");
break;
}
typedef union construct_type_t construct_type_t;
typedef struct construct_type_base_t {
- construct_type_kind_t kind;
- source_position_t pos;
- construct_type_t *next;
+ construct_type_kind_t kind;
+ position_t pos;
+ construct_type_t *next;
} construct_type_base_t;
typedef struct parsed_pointer_t {
type_t *const orig_type = size->base.type;
type_t *const type = skip_typeref(orig_type);
if (!is_type_integer(type) && is_type_valid(type)) {
- errorf(&size->base.source_position,
+ errorf(&size->base.pos,
"array size '%E' must have integer type but has type '%T'",
size, orig_type);
}
}
typedef struct parse_declarator_env_t {
- bool may_be_abstract : 1;
- bool must_be_abstract : 1;
- decl_modifiers_t modifiers;
- symbol_t *symbol;
- source_position_t source_position;
- scope_t parameters;
- attribute_t *attributes;
+ bool may_be_abstract : 1;
+ bool must_be_abstract : 1;
+ decl_modifiers_t modifiers;
+ symbol_t *symbol;
+ position_t pos;
+ scope_t parameters;
+ attribute_t *attributes;
} parse_declarator_env_t;
/* §6.7.5 */
if (env->must_be_abstract) {
errorf(HERE, "no identifier expected in typename");
} else {
- env->symbol = token.base.symbol;
- env->source_position = *HERE;
+ env->symbol = token.base.symbol;
+ env->pos = *HERE;
}
eat(T_IDENTIFIER);
break;
{
construct_type_t *iter = construct_list;
for (; iter != NULL; iter = iter->base.next) {
- source_position_t const* const pos = &iter->base.pos;
+ position_t const* const pos = &iter->base.pos;
switch (iter->kind) {
case CONSTRUCT_FUNCTION: {
construct_function_type_t *function = &iter->function;
/* §6.7.5.2:1 If the expression is a constant expression,
* it shall have a value greater than zero. */
if (size < 0) {
- errorf(&size_expression->base.source_position,
+ errorf(&size_expression->base.pos,
"size of array must be greater than zero");
} else if (size == 0 && !GNU_MODE) {
- errorf(&size_expression->base.source_position,
+ errorf(&size_expression->base.pos,
"size of array must be greater than zero (zero length arrays are a GCC extension)");
}
break;
static type_t *automatic_type_conversion(type_t *orig_type);
-static type_t *semantic_parameter(const source_position_t *pos,
- type_t *type,
+static type_t *semantic_parameter(const position_t *pos, type_t *type,
const declaration_specifiers_t *specifiers,
entity_t const *const param)
{
entity_t *entity;
if (specifiers->storage_class == STORAGE_CLASS_TYPEDEF) {
- entity = allocate_entity_zero(ENTITY_TYPEDEF, NAMESPACE_NORMAL, env.symbol, &env.source_position);
+ entity = allocate_entity_zero(ENTITY_TYPEDEF, NAMESPACE_NORMAL, env.symbol, &env.pos);
entity->typedefe.type = orig_type;
if (anonymous_entity != NULL) {
}
} else {
/* create a declaration type entity */
- source_position_t const *const pos = env.symbol ? &env.source_position : &specifiers->source_position;
+ position_t const *const pos = env.symbol ? &env.pos : &specifiers->pos;
if (flags & DECL_CREATE_COMPOUND_MEMBER) {
entity = allocate_entity_zero(ENTITY_COMPOUND_MEMBER, NAMESPACE_NORMAL, env.symbol, pos);
if (env.symbol != NULL) {
if (specifiers->is_inline && is_type_valid(type)) {
- errorf(&env.source_position, "'%N' declared 'inline'", entity);
+ errorf(&env.pos, "'%N' declared 'inline'", entity);
}
if (specifiers->thread_local ||
specifiers->storage_class != STORAGE_CLASS_NONE) {
- errorf(&env.source_position, "'%N' must have no storage class", entity);
+ errorf(&env.pos, "'%N' must have no storage class", entity);
}
}
} else if (flags & DECL_IS_PARAMETER) {
entity = allocate_entity_zero(ENTITY_PARAMETER, NAMESPACE_NORMAL, env.symbol, pos);
- orig_type = semantic_parameter(&env.source_position, orig_type, specifiers, entity);
+ orig_type = semantic_parameter(&env.pos, orig_type, specifiers, entity);
} else if (is_type_function(type)) {
entity = allocate_entity_zero(ENTITY_FUNCTION, NAMESPACE_NORMAL, env.symbol, pos);
entity->function.is_inline = specifiers->is_inline;
specifiers->storage_class != STORAGE_CLASS_NONE &&
(in_function_scope || specifiers->storage_class != STORAGE_CLASS_STATIC)
)) {
- errorf(&env.source_position, "invalid storage class for '%N'", entity);
+ errorf(&env.pos, "invalid storage class for '%N'", entity);
}
}
} else {
if (env.symbol != NULL) {
if (specifiers->is_inline && is_type_valid(type)) {
- errorf(&env.source_position, "'%N' declared 'inline'", entity);
+ errorf(&env.pos, "'%N' declared 'inline'", entity);
}
bool invalid_storage_class = false;
}
}
if (invalid_storage_class) {
- errorf(&env.source_position, "invalid storage class for '%N'", entity);
+ errorf(&env.pos, "invalid storage class for '%N'", entity);
}
}
}
*/
static void check_main(const entity_t *entity)
{
- const source_position_t *pos = &entity->base.source_position;
+ const position_t *pos = &entity->base.pos;
if (entity->kind != ENTITY_FUNCTION) {
warningf(WARN_MAIN, pos, "'main' is not a function");
return;
}
}
-static void error_redefined_as_different_kind(const source_position_t *pos,
+static void error_redefined_as_different_kind(const position_t *pos,
const entity_t *old, entity_kind_t new_kind)
{
- char const *const what = get_entity_kind_name(new_kind);
- source_position_t const *const ppos = &old->base.source_position;
+ char const *const what = get_entity_kind_name(new_kind);
+ position_t const *const ppos = &old->base.pos;
errorf(pos, "redeclaration of '%N' as %s (declared %P)", old, what, ppos);
}
*/
entity_t *record_entity(entity_t *entity, const bool is_definition)
{
- const symbol_t *const symbol = entity->base.symbol;
- const namespace_tag_t namespc = (namespace_tag_t)entity->base.namespc;
- const source_position_t *pos = &entity->base.source_position;
+ const symbol_t *const symbol = entity->base.symbol;
+ const namespace_tag_t namespc = (namespace_tag_t)entity->base.namespc;
+ const position_t *pos = &entity->base.pos;
/* can happen in error cases */
if (symbol == NULL)
}
if (previous_entity != NULL) {
- source_position_t const *const ppos = &previous_entity->base.source_position;
+ position_t const *const ppos = &previous_entity->base.pos;
if (previous_entity->base.parent_scope == ¤t_function->parameters &&
previous_entity->base.parent_scope->depth + 1 == current_scope->depth) {
}
static void parser_error_multiple_definition(entity_t *entity,
- const source_position_t *source_position)
+ const position_t *pos)
{
- errorf(source_position, "redefinition of '%N' (declared %P)", entity, &entity->base.source_position);
+ errorf(pos, "redefinition of '%N' (declared %P)", entity, &entity->base.pos);
}
static bool is_declaration_specifier(const token_t *token)
type_t *orig_type = type_error_type;
if (entity->base.kind == ENTITY_TYPEDEF) {
- source_position_t const *const pos = &entity->base.source_position;
+ position_t const *const pos = &entity->base.pos;
errorf(pos, "'%N' is initialized (use __typeof__ instead)", entity);
} else {
assert(is_declaration(entity));
}
if (is_type_function(type)) {
- source_position_t const *const pos = &entity->base.source_position;
+ position_t const *const pos = &entity->base.pos;
errorf(pos, "'%N' is initialized like a variable", entity);
orig_type = type_error_type;
}
eat(';');
anonymous_entity = NULL;
- source_position_t const *const pos = &specifiers->source_position;
+ position_t const *const pos = &specifiers->pos;
if (specifiers->storage_class != STORAGE_CLASS_NONE ||
specifiers->thread_local) {
warningf(WARN_OTHER, pos, "useless storage class in empty declaration");
return;
}
- errorf(&ent->base.source_position, "variable '%#N' has incomplete type", ent);
+ errorf(&ent->base.pos, "variable '%#N' has incomplete type", ent);
}
declaration_t *decl = &entity->declaration;
if (decl->storage_class != STORAGE_CLASS_EXTERN &&
is_type_reference(skip_typeref(decl->type))) {
- source_position_t const *const pos = &entity->base.source_position;
+ position_t const *const pos = &entity->base.pos;
errorf(pos, "reference '%#N' must be initialized", entity);
}
}
entity_t *previous_entity = get_entity(symbol, NAMESPACE_NORMAL);
if (previous_entity == NULL
|| previous_entity->base.parent_scope != current_scope) {
- errorf(&entity->base.source_position, "expected declaration of a function parameter, found '%Y'",
+ errorf(&entity->base.pos, "expected declaration of a function parameter, found '%Y'",
symbol);
return entity;
}
type_t *parameter_type = parameter->declaration.type;
if (parameter_type == NULL) {
- source_position_t const* const pos = ¶meter->base.source_position;
+ position_t const* const pos = ¶meter->base.pos;
if (strict_mode) {
errorf(pos, "no type specified for function '%N'", parameter);
parameter_type = type_error_type;
new_type = identify_new_type(new_type);
if (need_incompatible_warning) {
- symbol_t const *const sym = entity->base.symbol;
- source_position_t const *const pos = &entity->base.source_position;
- source_position_t const *const ppos = &proto_type->base.source_position;
+ symbol_t const *const sym = entity->base.symbol;
+ position_t const *const pos = &entity->base.pos;
+ position_t const *const ppos = &proto_type->base.pos;
warningf(WARN_OTHER, pos, "declaration '%#N' is incompatible with '%#T' (declared %P)", proto_type, new_type, sym, ppos);
}
entity->declaration.type = new_type;
{
if (first_err) {
first_err = false;
- char const *const file = current_function->base.base.source_position.input_name;
+ char const *const file = current_function->base.base.pos.input_name;
diagnosticf("%s: In '%N':\n", file, (entity_t const*)current_function);
}
}
goto_statement != NULL;
goto_statement = goto_statement->next) {
label_t *label = goto_statement->label;
- if (label->base.source_position.input_name == NULL) {
+ if (label->base.pos.input_name == NULL) {
print_in_function();
- source_position_t const *const pos = &goto_statement->base.source_position;
+ position_t const *const pos = &goto_statement->base.pos;
errorf(pos, "'%N' used but not defined", (entity_t const*)label);
}
}
if (! label->used) {
print_in_function();
- source_position_t const *const pos = &label_statement->base.source_position;
+ position_t const *const pos = &label_statement->base.pos;
warningf(WARN_UNUSED_LABEL, pos, "'%N' defined but not used", (entity_t const*)label);
}
}
if (!declaration->used) {
print_in_function();
- warningf(why, &entity->base.source_position, "'%N' is unused", entity);
+ warningf(why, &entity->base.pos, "'%N' is unused", entity);
} else if (entity->kind == ENTITY_VARIABLE && !entity->variable.read) {
print_in_function();
- warningf(why, &entity->base.source_position, "'%N' is never read", entity);
+ warningf(why, &entity->base.pos, "'%N' is never read", entity);
}
}
}
if (!is_type_void(ret) &&
is_type_valid(ret) &&
!is_main(current_entity)) {
- source_position_t const *const pos = &stmt->base.source_position;
+ position_t const *const pos = &stmt->base.pos;
warningf(WARN_RETURN_TYPE, pos, "control reaches end of non-void function");
}
return;
if (!stmt->base.reachable) {
expression_t const *const cond = stmt->do_while.condition;
if (determine_truth(cond) >= 0) {
- source_position_t const *const pos = &cond->base.source_position;
+ position_t const *const pos = &cond->base.pos;
warningf(WARN_UNREACHABLE_CODE, pos, "condition of do-while-loop is unreachable");
}
}
goto warn_unreachable;
} else {
if (!stmt->base.reachable && fors->initialisation != NULL) {
- source_position_t const *const pos = &fors->initialisation->base.source_position;
+ position_t const *const pos = &fors->initialisation->base.pos;
warningf(WARN_UNREACHABLE_CODE, pos, "initialisation of for-statement is unreachable");
}
if (!fors->condition_reachable && fors->condition != NULL) {
- source_position_t const *const pos = &fors->condition->base.source_position;
+ position_t const *const pos = &fors->condition->base.pos;
warningf(WARN_UNREACHABLE_CODE, pos, "condition of for-statement is unreachable");
}
if (!fors->step_reachable && fors->step != NULL) {
- source_position_t const *const pos = &fors->step->base.source_position;
+ position_t const *const pos = &fors->step->base.pos;
warningf(WARN_UNREACHABLE_CODE, pos, "step of for-statement is unreachable");
}
}
default:
warn_unreachable:
if (!stmt->base.reachable) {
- source_position_t const *const pos = &stmt->base.source_position;
+ position_t const *const pos = &stmt->base.pos;
warningf(WARN_UNREACHABLE_CODE, pos, "statement is unreachable");
}
return;
return;
}
- source_position_t const *const pos = &ndeclaration->base.source_position;
+ position_t const *const pos = &ndeclaration->base.pos;
if (is_typeref(orig_type)) {
/* §6.9.1:2 */
errorf(pos, "type of function definition '%#N' is a typedef", ndeclaration);
|| parameter->base.parent_scope == current_scope);
parameter->base.parent_scope = current_scope;
if (parameter->base.symbol == NULL) {
- errorf(¶meter->base.source_position, "parameter name omitted");
+ errorf(¶meter->base.pos, "parameter name omitted");
continue;
}
environment_push(parameter);
walk_statements(body, check_unreachable, NULL);
if (noreturn_candidate &&
!(function->base.modifiers & DM_NORETURN)) {
- source_position_t const *const pos = &body->base.source_position;
+ position_t const *const pos = &body->base.pos;
warningf(WARN_MISSING_NORETURN, pos, "function '%#N' is candidate for attribute 'noreturn'", entity);
}
}
return NULL;
}
-static void check_deprecated(const source_position_t *source_position,
- const entity_t *entity)
+static void check_deprecated(const position_t *pos, const entity_t *entity)
{
if (!is_declaration(entity))
return;
if ((entity->declaration.modifiers & DM_DEPRECATED) == 0)
return;
- source_position_t const *const epos = &entity->base.source_position;
- char const *const msg = get_deprecated_string(entity->declaration.attributes);
+ position_t const *const epos = &entity->base.pos;
+ char const *const msg = get_deprecated_string(entity->declaration.attributes);
if (msg != NULL) {
- warningf(WARN_DEPRECATED_DECLARATIONS, source_position, "'%N' is deprecated (declared %P): \"%s\"", entity, epos, msg);
+ warningf(WARN_DEPRECATED_DECLARATIONS, pos, "'%N' is deprecated (declared %P): \"%s\"", entity, epos, msg);
} else {
- warningf(WARN_DEPRECATED_DECLARATIONS, source_position, "'%N' is deprecated (declared %P)", entity, epos);
+ warningf(WARN_DEPRECATED_DECLARATIONS, pos, "'%N' is deprecated (declared %P)", entity, epos);
}
}
-static expression_t *create_select(const source_position_t *pos,
- expression_t *addr,
+static expression_t *create_select(const position_t *pos, expression_t *addr,
type_qualifiers_t qualifiers,
entity_t *entry)
{
* creates implicit select expressions for them.
* Returns the adress for the innermost compound.
*/
-static expression_t *find_create_select(const source_position_t *pos,
+static expression_t *find_create_select(const position_t *pos,
expression_t *addr,
type_qualifiers_t qualifiers,
compound_t *compound, symbol_t *symbol)
continue;
expression_t *sub_addr = create_select(pos, addr, qualifiers, iter);
- sub_addr->base.source_position = *pos;
- sub_addr->base.implicit = true;
+ sub_addr->base.pos = *pos;
+ sub_addr->base.implicit = true;
return find_create_select(pos, sub_addr, qualifiers, sub_compound,
symbol);
}
} else {
entity = parse_declarator(specifiers,
DECL_MAY_BE_ABSTRACT | DECL_CREATE_COMPOUND_MEMBER);
- source_position_t const *const pos = &entity->base.source_position;
+ position_t const *const pos = &entity->base.pos;
if (entity->kind == ENTITY_TYPEDEF) {
errorf(pos, "typedef not allowed as compound member");
} else {
if (symbol != NULL) {
entity_t *prev = find_compound_entry(compound, symbol);
if (prev != NULL) {
- source_position_t const *const ppos = &prev->base.source_position;
+ position_t const *const ppos = &prev->base.pos;
errorf(pos, "multiple declarations of '%N' (declared %P)", entity, ppos);
}
}
/* TODO: improve error message, user does probably not know what a
* storage class is...
*/
- errorf(&specifiers.source_position, "typename must not have a storage class");
+ errorf(&specifiers.pos, "typename must not have a storage class");
}
type_t *result = parse_abstract_declarator(specifiers.type);
return literal;
}
-static entity_t *create_implicit_function(symbol_t *symbol, source_position_t const *const pos)
+static entity_t *create_implicit_function(symbol_t *symbol, position_t const *const pos)
{
type_t *ntype = allocate_type_zero(TYPE_FUNCTION);
ntype->function.return_type = type_int;
static entity_t *parse_qualified_identifier(void)
{
/* namespace containing the symbol */
- symbol_t *symbol;
- source_position_t pos;
- const scope_t *lookup_scope = NULL;
+ symbol_t *symbol;
+ position_t pos;
+ const scope_t *lookup_scope = NULL;
if (accept(T_COLONCOLON))
lookup_scope = &unit->scope;
static expression_t *parse_reference(void)
{
- source_position_t const pos = *HERE;
- entity_t *const entity = parse_qualified_identifier();
+ position_t const pos = *HERE;
+ entity_t *const entity = parse_qualified_identifier();
type_t *orig_type;
if (is_declaration(entity)) {
if (entity->kind == ENTITY_ENUM_VALUE)
kind = EXPR_ENUM_CONSTANT;
- expression_t *expression = allocate_expression_zero(kind);
- expression->base.source_position = pos;
- expression->base.type = type;
- expression->reference.entity = entity;
+ expression_t *expression = allocate_expression_zero(kind);
+ expression->base.pos = pos;
+ expression->base.type = type;
+ expression->reference.entity = entity;
/* this declaration is used */
if (is_declaration(entity)) {
static bool semantic_cast(expression_t *cast)
{
- expression_t *expression = cast->unary.value;
- type_t *orig_dest_type = cast->base.type;
- type_t *orig_type_right = expression->base.type;
- type_t const *dst_type = skip_typeref(orig_dest_type);
- type_t const *src_type = skip_typeref(orig_type_right);
- source_position_t const *pos = &cast->base.source_position;
+ expression_t *expression = cast->unary.value;
+ type_t *orig_dest_type = cast->base.type;
+ type_t *orig_type_right = expression->base.type;
+ type_t const *dst_type = skip_typeref(orig_dest_type);
+ type_t const *src_type = skip_typeref(orig_type_right);
+ position_t const *pos = &cast->base.pos;
/* §6.5.4 A (void) cast is explicitly permitted, more for documentation than for utility. */
if (is_type_void(dst_type))
return true;
}
-static expression_t *parse_compound_literal(source_position_t const *const pos,
+static expression_t *parse_compound_literal(position_t const *const pos,
type_t *type)
{
expression_t *expression = allocate_expression_zero(EXPR_COMPOUND_LITERAL);
- expression->base.source_position = *pos;
+ expression->base.pos = *pos;
bool global_scope = current_scope == file_scope;
parse_initializer_env_t env;
*/
static expression_t *parse_cast(void)
{
- source_position_t const pos = *HERE;
+ position_t const pos = *HERE;
eat('(');
add_anchor_token(')');
}
expression_t *cast = allocate_expression_zero(EXPR_UNARY_CAST);
- cast->base.source_position = pos;
+ cast->base.pos = pos;
expression_t *value = parse_subexpression(PREC_CAST);
cast->base.type = type;
type = stmt->expression.expression->base.type;
}
} else {
- source_position_t const *const pos = &expression->base.source_position;
+ position_t const *const pos = &expression->base.pos;
warningf(WARN_OTHER, pos, "empty statement expression ({})");
}
expression->base.type = type;
static designator_t *parse_designator(void)
{
designator_t *const result = allocate_ast_zero(sizeof(result[0]));
- result->symbol = expect_identifier("while parsing member designator", &result->source_position);
+ result->symbol = expect_identifier("while parsing member designator", &result->pos);
if (!result->symbol)
return NULL;
while (true) {
if (accept('.')) {
designator_t *const designator = allocate_ast_zero(sizeof(result[0]));
- designator->symbol = expect_identifier("while parsing member designator", &designator->source_position);
+ designator->symbol = expect_identifier("while parsing member designator", &designator->pos);
if (!designator->symbol)
return NULL;
}
if (accept('[')) {
add_anchor_token(']');
- designator_t *designator = allocate_ast_zero(sizeof(result[0]));
- designator->source_position = *HERE;
- designator->array_index = parse_expression();
+ designator_t *designator = allocate_ast_zero(sizeof(result[0]));
+ designator->pos = *HERE;
+ designator->array_index = parse_expression();
rem_anchor_token(']');
expect(']');
if (designator->array_index == NULL) {
expect(')');
if (!current_function) {
- errorf(&expression->base.source_position, "'va_start' used outside of function");
+ errorf(&expression->base.pos, "'va_start' used outside of function");
} else if (!current_function->base.type->function.variadic) {
- errorf(&expression->base.source_position, "'va_start' used in non-variadic function");
+ errorf(&expression->base.pos, "'va_start' used in non-variadic function");
} else if (!is_last_parameter(param)) {
- errorf(¶m->base.source_position, "second argument of 'va_start' must be last parameter of the current function");
+ errorf(¶m->base.pos, "second argument of 'va_start' must be last parameter of the current function");
}
return expression;
expression_t *dst = parse_assignment_expression();
assign_error_t error = semantic_assign(type_valist, dst);
report_assign_error(error, type_valist, dst, "call argument 1",
- &dst->base.source_position);
+ &dst->base.pos);
expression->va_copye.dst = dst;
rem_anchor_token(',');
if (!is_type_float(type_left) && !is_type_float(type_right)) {
if (is_type_valid(type_left) && is_type_valid(type_right)) {
type_error_incompatible("invalid operands in comparison",
- &expression->base.source_position, orig_type_left, orig_type_right);
+ &expression->base.pos, orig_type_left, orig_type_right);
}
} else {
semantic_comparison(&expression->binary);
}
} else if (label == NULL || label->base.parent_scope != ¤t_function->parameters) {
/* There is no matching label in the same function, so create a new one. */
- source_position_t const nowhere = { NULL, 0, 0, false };
+ position_t const nowhere = { NULL, 0, 0, false };
label = allocate_entity_zero(ENTITY_LABEL, NAMESPACE_LABEL, sym, &nowhere);
label_push(label);
}
*/
static expression_t *parse_label_address(void)
{
- source_position_t const source_position = *HERE;
+ position_t const pos = *HERE;
eat(T_ANDAND);
label_t *const label = get_label("while parsing label address");
label->address_taken = true;
expression_t *expression = allocate_expression_zero(EXPR_LABEL_ADDRESS);
- expression->base.source_position = source_position;
+ expression->base.pos = pos;
/* label address is treated as a void pointer */
expression->base.type = type_void_ptr;
}
/* FALLTHROUGH */
DECLARATION_START {
- source_position_t const pos = *HERE;
+ position_t const pos = *HERE;
declaration_specifiers_t specifiers;
parse_declaration_specifiers(&specifiers);
type_t const *const type = parse_abstract_declarator(specifiers.type);
res_type = automatic_type_conversion(res_type);
if (!is_type_integer(idx_type)) {
if (is_type_valid(idx_type))
- errorf(&idx->base.source_position, "array subscript must have integer type");
+ errorf(&idx->base.pos, "array subscript must have integer type");
} else if (is_type_atomic(idx_type, ATOMIC_TYPE_CHAR)) {
- source_position_t const *const pos = &idx->base.source_position;
+ position_t const *const pos = &idx->base.pos;
warningf(WARN_CHAR_SUBSCRIPTS, pos, "array subscript has char type");
}
} else {
if (is_type_valid(type_left) && is_type_valid(type_inside)) {
- errorf(&expr->base.source_position, "invalid types '%T[%T]' for array access", orig_type_left, orig_type_inside);
+ errorf(&expr->base.pos, "invalid types '%T[%T]' for array access", orig_type_left, orig_type_inside);
}
res_type = type_error_type;
ref = left;
type_t *orig_type;
expression_t *expression;
if (token.kind == '(' && is_declaration_specifier(look_ahead(1))) {
- source_position_t const pos = *HERE;
+ position_t const pos = *HERE;
eat('(');
add_anchor_token(')');
orig_type = parse_typename();
typeprop_expression:
if (is_bitfield(expression)) {
char const* const what = kind == EXPR_SIZEOF ? "sizeof" : "alignof";
- errorf(&tp_expression->base.source_position,
+ errorf(&tp_expression->base.pos,
"operand of %s expression must not be a bitfield", what);
}
} else if (type->kind == TYPE_FUNCTION) {
if (GNU_MODE) {
/* function types are allowed (and return 1) */
- source_position_t const *const pos = &tp_expression->base.source_position;
- char const *const what = kind == EXPR_SIZEOF ? "sizeof" : "alignof";
+ position_t const *const pos = &tp_expression->base.pos;
+ char const *const what = kind == EXPR_SIZEOF ? "sizeof" : "alignof";
warningf(WARN_OTHER, pos, "%s expression with function argument returns invalid result", what);
} else {
wrong_type = "function";
if (wrong_type != NULL) {
char const* const what = kind == EXPR_SIZEOF ? "sizeof" : "alignof";
- errorf(&tp_expression->base.source_position,
+ errorf(&tp_expression->base.pos,
"operand of %s expression must not be of %s type '%T'",
what, wrong_type, orig_type);
}
{
assert(token.kind == '.' || token.kind == T_MINUSGREATER);
bool select_left_arrow = (token.kind == T_MINUSGREATER);
- source_position_t const pos = *HERE;
+ position_t const pos = *HERE;
next_token();
symbol_t *const symbol = expect_identifier("while parsing select", NULL);
char buf[64];
snprintf(buf, sizeof(buf), "call argument %u", pos);
report_assign_error(error, expected_type, arg_expr, buf,
- &arg_expr->base.source_position);
+ &arg_expr->base.pos);
} else {
type_t *const promoted_type = get_default_promoted_type(arg_type);
if (!types_compatible(expected_type_skip, promoted_type) &&
!types_compatible(expected_type_skip, type_void_ptr) &&
!types_compatible(type_void_ptr, promoted_type)) {
/* Deliberately show the skipped types in this warning */
- source_position_t const *const apos = &arg_expr->base.source_position;
+ position_t const *const apos = &arg_expr->base.pos;
warningf(WARN_TRADITIONAL, apos, "passing call argument %u as '%T' rather than '%T' due to prototype", pos, expected_type_skip, promoted_type);
}
}
call_argument_t *argument = call->arguments;
if (is_constant_expression(argument->expression) == EXPR_CLASS_VARIABLE) {
- errorf(&call->base.source_position,
+ errorf(&call->base.pos,
"argument of '%Y' must be a constant expression",
call->function->reference.entity->base.symbol);
}
if (rw != NULL) {
if (is_constant_expression(rw->expression) == EXPR_CLASS_VARIABLE) {
- errorf(&call->base.source_position,
+ errorf(&call->base.pos,
"second argument of '%Y' must be a constant expression",
call->function->reference.entity->base.symbol);
}
}
if (locality != NULL) {
if (is_constant_expression(locality->expression) == EXPR_CLASS_VARIABLE) {
- errorf(&call->base.source_position,
+ errorf(&call->base.pos,
"third argument of '%Y' must be a constant expression",
call->function->reference.entity->base.symbol);
}
call_argument_t *arg = call->arguments->next;
if (arg != NULL && is_constant_expression(arg->expression) == EXPR_CLASS_VARIABLE) {
- errorf(&call->base.source_position,
+ errorf(&call->base.pos,
"second argument of '%Y' must be a constant expression",
call->function->reference.entity->base.symbol);
}
}
if (parameter != NULL) {
- errorf(&expression->base.source_position, "too few arguments to function '%E'", expression);
+ errorf(&expression->base.pos, "too few arguments to function '%E'",
+ expression);
} else if (argument != NULL && !function_type->variadic) {
- errorf(&argument->expression->base.source_position, "too many arguments to function '%E'", expression);
+ errorf(&argument->expression->base.pos,
+ "too many arguments to function '%E'", expression);
}
}
for (; argument != NULL; argument = argument->next) {
type_t *argument_type = argument->expression->base.type;
if (!is_type_object(skip_typeref(argument_type))) {
- errorf(&argument->expression->base.source_position,
+ errorf(&argument->expression->base.pos,
"call argument '%E' must not be void", argument->expression);
}
check_format(call);
if (is_type_compound(skip_typeref(function_type->return_type))) {
- source_position_t const *const pos = &expression->base.source_position;
+ position_t const *const pos = &expression->base.pos;
warningf(WARN_AGGREGATE_RETURN, pos, "function call has aggregate value");
}
{
expr = get_reference_address(expr);
if (expr != NULL) {
- source_position_t const *const pos = &expr->base.source_position;
- entity_t const *const ent = expr->reference.entity;
+ position_t const *const pos = &expr->base.pos;
+ entity_t const *const ent = expr->reference.entity;
warningf(WARN_ADDRESS, pos, "the address of '%N' will always evaluate as 'true'", ent);
}
}
return;
if (expr->base.parenthesized)
return;
- source_position_t const *const pos = &expr->base.source_position;
+ position_t const *const pos = &expr->base.pos;
warningf(WARN_PARENTHESES, pos, "suggest parentheses around assignment used as truth value");
}
warn_reference_address_as_bool(expr);
warn_assignment_in_condition(expr);
} else if (is_type_valid(type)) {
- errorf(&expr->base.source_position,
- "%s must have scalar type", context);
+ errorf(&expr->base.pos, "%s must have scalar type", context);
}
}
type_t *const false_type = skip_typeref(orig_false_type);
/* 6.5.15.3 */
- source_position_t const *const pos = &conditional->base.source_position;
- type_t *result_type;
+ position_t const *const pos = &conditional->base.pos;
+ type_t *result_type;
if (is_type_void(true_type) || is_type_void(false_type)) {
/* ISO/IEC 14882:1998(E) §5.16:2 */
if (true_expression->kind == EXPR_UNARY_THROW) {
type_t *const type = skip_typeref(value->base.type);
if (!is_type_pointer(type)) {
if (is_type_valid(type)) {
- errorf(&value->base.source_position,
+ errorf(&value->base.pos,
"operand of delete must have pointer type");
}
} else if (is_type_void(skip_typeref(type->pointer.points_to))) {
- source_position_t const *const pos = &value->base.source_position;
+ position_t const *const pos = &value->base.pos;
warningf(WARN_OTHER, pos, "deleting 'void*' is undefined");
}
type_t *const orig_type = value->base.type;
type_t *const type = skip_typeref(orig_type);
if (is_type_incomplete(type)) {
- errorf(&value->base.source_position,
+ errorf(&value->base.pos,
"cannot throw object of incomplete type '%T'", orig_type);
} else if (is_type_pointer(type)) {
type_t *const points_to = skip_typeref(type->pointer.points_to);
if (is_type_incomplete(points_to) && !is_type_void(points_to)) {
- errorf(&value->base.source_position,
+ errorf(&value->base.pos,
"cannot throw pointer to incomplete type '%T'", orig_type);
}
}
return result;
}
-static bool check_pointer_arithmetic(const source_position_t *source_position,
+static bool check_pointer_arithmetic(const position_t *pos,
type_t *pointer_type,
type_t *orig_pointer_type)
{
if (is_type_incomplete(points_to)) {
if (!GNU_MODE || !is_type_void(points_to)) {
- errorf(source_position,
+ errorf(pos,
"arithmetic with pointer to incomplete type '%T' not allowed",
orig_pointer_type);
return false;
} else {
- warningf(WARN_POINTER_ARITH, source_position, "pointer of type '%T' used in arithmetic", orig_pointer_type);
+ warningf(WARN_POINTER_ARITH, pos, "pointer of type '%T' used in arithmetic", orig_pointer_type);
}
} else if (is_type_function(points_to)) {
if (!GNU_MODE) {
- errorf(source_position,
+ errorf(pos,
"arithmetic with pointer to function type '%T' not allowed",
orig_pointer_type);
return false;
} else {
- warningf(WARN_POINTER_ARITH, source_position, "pointer to a function '%T' used in arithmetic", orig_pointer_type);
+ warningf(WARN_POINTER_ARITH, pos,
+ "pointer to a function '%T' used in arithmetic",
+ orig_pointer_type);
}
}
return true;
type_t *const orig_type = expression->value->base.type;
type_t *const type = skip_typeref(orig_type);
if (is_type_pointer(type)) {
- if (!check_pointer_arithmetic(&expression->base.source_position,
- type, orig_type)) {
+ if (!check_pointer_arithmetic(&expression->base.pos, type, orig_type)) {
return;
}
} else if (!is_type_real(type) && is_type_valid(type)) {
/* TODO: improve error message */
- errorf(&expression->base.source_position,
+ errorf(&expression->base.pos,
"operation needs an arithmetic or pointer type");
return;
}
if (!is_lvalue(expression->value)) {
/* TODO: improve error message */
- errorf(&expression->base.source_position, "lvalue required as operand");
+ errorf(&expression->base.pos, "lvalue required as operand");
}
expression->base.type = orig_type;
}
type_t *const type = skip_typeref(orig_type);
if (!is_type_arithmetic(type)) {
if (is_type_valid(type)) {
- source_position_t const *const pos = &expression->base.source_position;
+ position_t const *const pos = &expression->base.pos;
errorf(pos, "operand of unary expression must have arithmetic type, but is '%T'", orig_type);
}
return;
static void semantic_unexpr_plus(unary_expression_t *expression)
{
semantic_unexpr_arithmetic(expression);
- source_position_t const *const pos = &expression->base.source_position;
+ position_t const *const pos = &expression->base.pos;
warningf(WARN_TRADITIONAL, pos, "traditional C rejects the unary plus operator");
}
type_t *const type = skip_typeref(orig_type);
if (!is_type_integer(type)) {
if (is_type_valid(type)) {
- errorf(&expression->base.source_position,
- "operand of ~ must be of integer type");
+ errorf(&expression->base.pos, "operand of ~ must be of integer type");
}
return;
}
type_t *const type = skip_typeref(orig_type);
if (!is_type_pointer(type)) {
if (is_type_valid(type)) {
- errorf(&expression->base.source_position,
+ errorf(&expression->base.pos,
"Unary '*' needs pointer or array type, but type '%T' given", orig_type);
}
return;
if (entity->declaration.storage_class == STORAGE_CLASS_REGISTER
&& !may_be_register) {
- source_position_t const *const pos = &expression->base.source_position;
+ position_t const *const pos = &expression->base.pos;
errorf(pos, "address of register '%N' requested", entity);
}
/* §6.5.3.2 */
if (!is_lvalue(value)) {
- errorf(&expression->base.source_position, "'&' requires an lvalue");
+ errorf(&expression->base.pos, "'&' requires an lvalue");
}
if (is_bitfield(value)) {
- errorf(&expression->base.source_position,
- "'&' not allowed on bitfield");
+ errorf(&expression->base.pos, "'&' not allowed on bitfield");
}
set_address_taken(value, false);
if (!is_type_arithmetic(type_left) || !is_type_arithmetic(type_right)) {
if (is_type_valid(type_left) && is_type_valid(type_right)) {
- source_position_t const *const pos = &expression->base.source_position;
+ position_t const *const pos = &expression->base.pos;
errorf(pos, "operands of binary expression must have arithmetic types, but are '%T' and '%T'", orig_type_left, orig_type_right);
}
return;
if (!is_type_integer(type_left) || !is_type_integer(type_right)) {
if (is_type_valid(type_left) && is_type_valid(type_right)) {
- source_position_t const *const pos = &expression->base.source_position;
+ position_t const *const pos = &expression->base.pos;
errorf(pos, "operands of binary expression must have integer types, but are '%T' and '%T'", orig_type_left, orig_type_right);
}
return;
if (is_type_integer(right->base.type) &&
is_constant_expression(right) == EXPR_CLASS_CONSTANT &&
!fold_constant_to_bool(right)) {
- source_position_t const *const pos = &expression->base.source_position;
+ position_t const *const pos = &expression->base.pos;
warningf(WARN_DIV_BY_ZERO, pos, "division by zero");
}
}
default: return;
}
- source_position_t const *const pos = &expr->base.source_position;
+ position_t const *const pos = &expr->base.pos;
warningf(WARN_PARENTHESES, pos, "suggest parentheses around '%c' inside shift", op);
}
if (!is_type_integer(type_left) || !is_type_integer(type_right)) {
if (is_type_valid(type_left) && is_type_valid(type_right)) {
- source_position_t const *const pos = &expression->base.source_position;
+ position_t const *const pos = &expression->base.pos;
errorf(pos, "operands of shift expression must have integer types, but are '%T' and '%T'", orig_type_left, orig_type_right);
}
return false;
type_left = promote_integer(type_left);
if (is_constant_expression(right) == EXPR_CLASS_CONSTANT) {
- source_position_t const *const pos = &right->base.source_position;
- long const count = fold_constant_to_int(right);
+ position_t const *const pos = &right->base.pos;
+ long const count = fold_constant_to_int(right);
if (count < 0) {
warningf(WARN_OTHER, pos, "shift count must be non-negative");
} else if ((unsigned long)count >=
expression->right = create_implicit_cast(right, arithmetic_type);
expression->base.type = arithmetic_type;
} else if (is_type_pointer(type_left) && is_type_integer(type_right)) {
- check_pointer_arithmetic(&expression->base.source_position,
- type_left, orig_type_left);
+ check_pointer_arithmetic(&expression->base.pos, type_left,
+ orig_type_left);
expression->base.type = type_left;
} else if (is_type_pointer(type_right) && is_type_integer(type_left)) {
- check_pointer_arithmetic(&expression->base.source_position,
- type_right, orig_type_right);
+ check_pointer_arithmetic(&expression->base.pos, type_right,
+ orig_type_right);
expression->base.type = type_right;
} else if (is_type_valid(type_left) && is_type_valid(type_right)) {
- errorf(&expression->base.source_position,
+ errorf(&expression->base.pos,
"invalid operands to binary + ('%T', '%T')",
orig_type_left, orig_type_right);
}
static void semantic_sub(binary_expression_t *expression)
{
- expression_t *const left = expression->left;
- expression_t *const right = expression->right;
- type_t *const orig_type_left = left->base.type;
- type_t *const orig_type_right = right->base.type;
- type_t *const type_left = skip_typeref(orig_type_left);
- type_t *const type_right = skip_typeref(orig_type_right);
- source_position_t const *const pos = &expression->base.source_position;
+ expression_t *const left = expression->left;
+ expression_t *const right = expression->right;
+ type_t *const orig_type_left = left->base.type;
+ type_t *const orig_type_right = right->base.type;
+ type_t *const type_left = skip_typeref(orig_type_left);
+ type_t *const type_right = skip_typeref(orig_type_right);
+ position_t const *const pos = &expression->base.pos;
/* §5.6.5 */
if (is_type_arithmetic(type_left) && is_type_arithmetic(type_right)) {
expression->right = create_implicit_cast(right, arithmetic_type);
expression->base.type = arithmetic_type;
} else if (is_type_pointer(type_left) && is_type_integer(type_right)) {
- check_pointer_arithmetic(&expression->base.source_position,
- type_left, orig_type_left);
+ check_pointer_arithmetic(&expression->base.pos, type_left,
+ orig_type_left);
expression->base.type = type_left;
} else if (is_type_pointer(type_left) && is_type_pointer(type_right)) {
type_t *const unqual_left = get_unqualified_type(skip_typeref(type_left->pointer.points_to));
}
if (expr->kind == EXPR_STRING_LITERAL) {
- source_position_t const *const pos = &expr->base.source_position;
+ position_t const *const pos = &expr->base.pos;
warningf(WARN_ADDRESS, pos, "comparison with string literal results in unspecified behaviour");
}
}
}
}
-static void warn_comparison(source_position_t const *const pos, expression_t const *const expr, expression_t const *const other)
+static void warn_comparison(position_t const *const pos, expression_t const *const expr, expression_t const *const other)
{
warn_string_literal_address(expr);
*/
static void semantic_comparison(binary_expression_t *expression)
{
- source_position_t const *const pos = &expression->base.source_position;
- expression_t *const left = expression->left;
- expression_t *const right = expression->right;
+ position_t const *const pos = &expression->base.pos;
+ expression_t *const left = expression->left;
+ expression_t *const right = expression->right;
warn_comparison(pos, left, right);
warn_comparison(pos, right, left);
type_t *const type_left = skip_typeref(orig_type_left);
if (!is_lvalue(left)) {
- errorf(&left->base.source_position, "left hand side '%E' of assignment is not an lvalue",
- left);
+ errorf(&left->base.pos,
+ "left hand side '%E' of assignment is not an lvalue", left);
return false;
}
if (left->kind == EXPR_REFERENCE
&& left->reference.entity->kind == ENTITY_FUNCTION) {
- errorf(&left->base.source_position, "cannot assign to function '%E'", left);
+ errorf(&left->base.pos, "cannot assign to function '%E'", left);
return false;
}
if (is_type_array(type_left)) {
- errorf(&left->base.source_position, "cannot assign to array '%E'", left);
+ errorf(&left->base.pos, "cannot assign to array '%E'", left);
return false;
}
if (type_left->base.qualifiers & TYPE_QUALIFIER_CONST) {
- errorf(&left->base.source_position, "assignment to read-only location '%E' (type '%T')", left,
+ errorf(&left->base.pos,
+ "assignment to read-only location '%E' (type '%T')", left,
orig_type_left);
return false;
}
if (is_type_incomplete(type_left)) {
- errorf(&left->base.source_position, "left-hand side '%E' of assignment has incomplete type '%T'",
+ errorf(&left->base.pos, "left-hand side '%E' of assignment has incomplete type '%T'",
left, orig_type_left);
return false;
}
if (is_type_compound(type_left) && has_const_fields(&type_left->compound)) {
- errorf(&left->base.source_position, "cannot assign to '%E' because compound type '%T' has read-only fields",
+ errorf(&left->base.pos, "cannot assign to '%E' because compound type '%T' has read-only fields",
left, orig_type_left);
return false;
}
if (!is_type_arithmetic(type_left) || !is_type_arithmetic(type_right)) {
/* TODO: improve error message */
if (is_type_valid(type_left) && is_type_valid(type_right)) {
- errorf(&expression->base.source_position,
- "operation needs arithmetic types");
+ errorf(&expression->base.pos, "operation needs arithmetic types");
}
return;
}
expression->right = create_implicit_cast(right, arithmetic_type);
expression->base.type = type_left;
} else if (is_type_pointer(type_left) && is_type_integer(type_right)) {
- check_pointer_arithmetic(&expression->base.source_position,
- type_left, orig_type_left);
+ check_pointer_arithmetic(&expression->base.pos, type_left,
+ orig_type_left);
expression->base.type = type_left;
} else if (is_type_valid(type_left) && is_type_valid(type_right)) {
- errorf(&expression->base.source_position,
+ errorf(&expression->base.pos,
"incompatible types '%T' and '%T' in assignment",
orig_type_left, orig_type_right);
}
if (!is_type_integer(type_left) || !is_type_integer(type_right)) {
/* TODO: improve error message */
if (is_type_valid(type_left) && is_type_valid(type_right)) {
- errorf(&expression->base.source_position,
- "operation needs integer types");
+ errorf(&expression->base.pos, "operation needs integer types");
}
return;
}
return;
if (expr->base.parenthesized)
return;
- source_position_t const *const pos = &expr->base.source_position;
+ position_t const *const pos = &expr->base.pos;
warningf(WARN_PARENTHESES, pos, "suggest parentheses around && within ||");
}
assign_error_t error = semantic_assign(orig_type_left, expression->right);
report_assign_error(error, orig_type_left, expression->right,
- "assignment", &left->base.source_position);
+ "assignment", &left->base.pos);
expression->right = create_implicit_cast(expression->right, orig_type_left);
expression->base.type = orig_type_left;
}
{
const expression_t *const left = expression->left;
if (!expression_has_effect(left)) {
- source_position_t const *const pos = &left->base.source_position;
+ position_t const *const pos = &left->base.pos;
warningf(WARN_UNUSED_VALUE, pos, "left-hand operand of comma expression has no effect");
}
expression->base.type = expression->right->base.type;
}
if (!is_lvalue(expression))
- errorf(&expression->base.source_position, "asm output argument is not an lvalue");
+ errorf(&expression->base.pos,
+ "asm output argument is not an lvalue");
if (argument->constraints.begin[0] == '=')
determine_lhs_ent(expression, NULL);
rem_anchor_token(':');
if (accept(':')) {
if (!asm_goto)
- warningf(WARN_OTHER, &statement->base.source_position, "assembler statement with labels should be 'asm goto'");
+ warningf(WARN_OTHER, &statement->base.pos, "assembler statement with labels should be 'asm goto'");
parse_asm_labels(&asm_statement->labels);
if (asm_statement->labels)
- errorf(&statement->base.source_position, "'asm goto' not supported");
+ errorf(&statement->base.pos, "'asm goto' not supported");
} else {
if (asm_goto)
- warningf(WARN_OTHER, &statement->base.source_position, "'asm goto' without labels");
+ warningf(WARN_OTHER, &statement->base.pos, "'asm goto' without labels");
}
rem_anchor_token(')');
statement_t *inner_stmt;
switch (token.kind) {
case '}':
- errorf(&label->base.source_position, "%s at end of compound statement", label_kind);
+ errorf(&label->base.pos, "%s at end of compound statement", label_kind);
inner_stmt = create_error_statement();
break;
/* ISO/IEC 9899:1999(E) §6.8:1/6.8.2:1 Declarations are no statements */
/* ISO/IEC 14882:1998(E) §6:1/§6.7 Declarations are statements */
if (inner_stmt->kind == STATEMENT_DECLARATION && !(c_mode & _CXX)) {
- errorf(&inner_stmt->base.source_position, "declaration after %s", label_kind);
+ errorf(&inner_stmt->base.pos, "declaration after %s", label_kind);
}
break;
}
*/
static statement_t *parse_case_statement(void)
{
- statement_t *const statement = allocate_statement_zero(STATEMENT_CASE_LABEL);
- source_position_t *const pos = &statement->base.source_position;
+ statement_t *const statement = allocate_statement_zero(STATEMENT_CASE_LABEL);
+ position_t *const pos = &statement->base.pos;
eat(T_case);
add_anchor_token(':');
continue;
errorf(pos, "duplicate case value (previously used %P)",
- &l->base.source_position);
+ &l->base.pos);
break;
}
}
if (current_switch != NULL) {
const case_label_statement_t *def_label = current_switch->default_label;
if (def_label != NULL) {
- errorf(&statement->base.source_position, "multiple default labels in one switch (previous declared %P)", &def_label->base.source_position);
+ errorf(&statement->base.pos, "multiple default labels in one switch (previous declared %P)", &def_label->base.pos);
} else {
current_switch->default_label = &statement->case_label;
current_switch->last_case = &statement->case_label;
}
} else {
- errorf(&statement->base.source_position,
- "'default' label not within a switch statement");
+ errorf(&statement->base.pos,
+ "'default' label not within a switch statement");
}
statement->case_label.statement = parse_label_inner_statement(statement, "default label");
/* if statement is already set then the label is defined twice,
* otherwise it was just mentioned in a goto/local label declaration so far
*/
- source_position_t const* const pos = &statement->base.source_position;
+ position_t const* const pos = &statement->base.pos;
if (label->statement != NULL) {
- errorf(pos, "duplicate '%N' (declared %P)", (entity_t const*)label, &label->base.source_position);
+ errorf(pos, "duplicate '%N' (declared %P)", (entity_t const*)label, &label->base.pos);
} else {
- label->base.source_position = *pos;
- label->statement = statement;
- label->n_users += 1;
+ label->base.pos = *pos;
+ label->statement = statement;
+ label->n_users += 1;
}
eat(':');
/* ISO/IEC 9899:1999(E) §6.8:1/6.8.2:1 Declarations are no statements */
/* ISO/IEC 14882:1998(E) §6:1/§6.7 Declarations are statements */
if (stmt->kind == STATEMENT_DECLARATION && !(c_mode & _CXX)) {
- errorf(&stmt->base.source_position, "declaration as inner statement, use {}");
+ errorf(&stmt->base.pos, "declaration as inner statement, use {}");
}
return stmt;
}
}
} else if (true_stmt->kind == STATEMENT_IF &&
true_stmt->ifs.false_statement != NULL) {
- source_position_t const *const pos = &true_stmt->base.source_position;
+ position_t const *const pos = &true_stmt->base.pos;
warningf(WARN_PARENTHESES, pos, "suggest explicit braces to avoid ambiguous 'else'");
}
}
}
if (!found) {
- source_position_t const *const pos = &statement->base.source_position;
+ position_t const *const pos = &statement->base.pos;
warningf(WARN_SWITCH_ENUM, pos, "'%N' not handled in switch", entry);
}
}
if (is_type_integer(type)) {
type = promote_integer(type);
if (get_akind_rank(get_akind(type)) >= get_akind_rank(ATOMIC_TYPE_LONG)) {
- warningf(WARN_TRADITIONAL, &expr->base.source_position, "'%T' switch expression not converted to '%T' in ISO C", type, type_int);
+ warningf(WARN_TRADITIONAL, &expr->base.pos,
+ "'%T' switch expression not converted to '%T' in ISO C",
+ type, type_int);
}
} else if (is_type_valid(type)) {
- errorf(&expr->base.source_position,
- "switch quantity is not an integer, but '%T'", type);
+ errorf(&expr->base.pos, "switch quantity is not an integer, but '%T'",
+ type);
type = type_error_type;
}
statement->switchs.expression = create_implicit_cast(expr, type);
current_switch = rem;
if (statement->switchs.default_label == NULL) {
- warningf(WARN_SWITCH_DEFAULT, &statement->base.source_position, "switch has no default case");
+ warningf(WARN_SWITCH_DEFAULT, &statement->base.pos, "switch has no default case");
}
check_enum_cases(&statement->switchs);
statement->fors.initialisation = init;
mark_vars_read(init, ENT_ANY);
if (!expression_has_effect(init)) {
- warningf(WARN_UNUSED_VALUE, &init->base.source_position, "initialisation of 'for'-statement has no effect");
+ warningf(WARN_UNUSED_VALUE, &init->base.pos, "initialisation of 'for'-statement has no effect");
}
rem_anchor_token(';');
expect(';');
statement->fors.step = step;
mark_vars_read(step, ENT_ANY);
if (!expression_has_effect(step)) {
- warningf(WARN_UNUSED_VALUE, &step->base.source_position, "step of 'for'-statement has no effect");
+ warningf(WARN_UNUSED_VALUE, &step->base.pos, "step of 'for'-statement has no effect");
}
}
rem_anchor_token(')');
if (type != type_error_type) {
if (!is_type_pointer(type) && !is_type_integer(type)) {
- errorf(&expression->base.source_position,
- "cannot convert to a pointer type");
+ errorf(&expression->base.pos, "cannot convert to a pointer type");
} else if (type != type_void_ptr) {
- warningf(WARN_OTHER, &expression->base.source_position, "type of computed goto expression should be 'void*' not '%T'", type);
+ warningf(WARN_OTHER, &expression->base.pos, "type of computed goto expression should be 'void*' not '%T'", type);
}
expression = create_implicit_cast(expression, type_void_ptr);
}
*goto_anchor = &statement->gotos;
goto_anchor = &statement->gotos.next;
} else {
- statement->gotos.label = &allocate_entity_zero(ENTITY_LABEL, NAMESPACE_LABEL, sym_anonymous, &builtin_source_position)->label;
+ statement->gotos.label = &allocate_entity_zero(ENTITY_LABEL, NAMESPACE_LABEL, sym_anonymous, &builtin_position)->label;
}
}
return is_local_variable(entity);
}
-static void err_or_warn(source_position_t const *const pos, char const *const msg)
+static void err_or_warn(position_t const *const pos, char const *const msg)
{
if (c_mode & _CXX || strict_mode) {
errorf(pos, msg);
assert(is_type_function(func_type));
type_t *const return_type = skip_typeref(func_type->function.return_type);
- source_position_t const *const pos = &statement->base.source_position;
+ position_t const *const pos = &statement->base.pos;
if (return_value != NULL) {
type_t *return_value_type = skip_typeref(return_value->base.type);
if (is_type_integer(type)) {
type = promote_integer(type);
} else if (is_type_valid(type)) {
- errorf(&expr->base.source_position,
+ errorf(&expr->base.pos,
"__expect expression is not an integer, but '%T'", type);
type = type_error_type;
}
add_anchor_token(';');
add_anchor_token(',');
do {
- source_position_t pos;
+ position_t pos;
symbol_t *const symbol = expect_identifier("while parsing local label declaration", &pos);
if (symbol) {
entity_t *entity = get_entity(symbol, NAMESPACE_LABEL);
if (entity != NULL && entity->base.parent_scope == current_scope) {
- source_position_t const *const ppos = &entity->base.source_position;
+ position_t const *const ppos = &entity->base.pos;
errorf(&pos, "multiple definitions of '%N' (previous definition %P)", entity, ppos);
} else {
entity = allocate_entity_zero(ENTITY_LOCAL_LABEL, NAMESPACE_LABEL, symbol, &pos);
if (statement->kind == STATEMENT_EXPRESSION) {
expression_t *expression = statement->expression.expression;
if (!expression_has_effect(expression)) {
- warningf(WARN_UNUSED_VALUE, &expression->base.source_position, "statement has no effect");
+ warningf(WARN_UNUSED_VALUE, &expression->base.pos,
+ "statement has no effect");
}
}
if (sub_statement->kind != STATEMENT_DECLARATION) {
only_decls_so_far = false;
} else if (!only_decls_so_far) {
- source_position_t const *const pos = &sub_statement->base.source_position;
+ position_t const *const pos = &sub_statement->base.pos;
warningf(WARN_DECLARATION_AFTER_STATEMENT, pos, "ISO C90 forbids mixed declarations and code");
}
expression_t *expression = sub_statement->expression.expression;
if (!expression_has_effect(expression)) {
- warningf(WARN_UNUSED_VALUE, &expression->base.source_position, "statement has no effect");
+ warningf(WARN_UNUSED_VALUE, &expression->base.pos,
+ "statement has no effect");
}
}
}
s = "defined";
}
- warningf(why, &declaration->base.source_position, "'%#N' %s but not used", entity, s);
+ warningf(why, &declaration->base.pos, "'%#N' %s but not used", entity, s);
}
}
{
eat(T_extern);
- source_position_t const pos = *HERE;
- char const *const linkage = parse_string_literals(NULL).begin;
+ position_t const pos = *HERE;
+ char const *const linkage = parse_string_literals(NULL).begin;
linkage_kind_t old_linkage = current_linkage;
linkage_kind_t new_linkage;
if (!is_type_incomplete(type))
continue;
- source_position_t const *const pos = &decl->base.source_position;
+ position_t const *const pos = &decl->base.pos;
warningf(WARN_OTHER, pos, "array '%#N' assumed to have one element", (entity_t const*)decl);
type_t *const new_type = duplicate_type(type);
// create call to __main
symbol_t *symbol = symbol_table_insert("__main");
entity_t *subsubmain_ent
- = create_implicit_function(symbol, &builtin_source_position);
+ = create_implicit_function(symbol, &builtin_position);
- expression_t *ref = allocate_expression_zero(EXPR_REFERENCE);
- type_t *ftype = subsubmain_ent->declaration.type;
- ref->base.source_position = builtin_source_position;
- ref->base.type = make_pointer_type(ftype, TYPE_QUALIFIER_NONE);
- ref->reference.entity = subsubmain_ent;
+ expression_t *ref = allocate_expression_zero(EXPR_REFERENCE);
+ type_t *ftype = subsubmain_ent->declaration.type;
+ ref->base.pos = builtin_position;
+ ref->base.type = make_pointer_type(ftype, TYPE_QUALIFIER_NONE);
+ ref->reference.entity = subsubmain_ent;
- expression_t *call = allocate_expression_zero(EXPR_CALL);
- call->base.source_position = builtin_source_position;
- call->base.type = type_void;
- call->call.function = ref;
+ expression_t *call = allocate_expression_zero(EXPR_CALL);
+ call->base.pos = builtin_position;
+ call->base.type = type_void;
+ call->call.function = ref;
statement_t *expr_statement = allocate_statement_zero(STATEMENT_EXPRESSION);
- expr_statement->base.source_position = builtin_source_position;
+ expr_statement->base.pos = builtin_position;
expr_statement->expression.expression = call;
statement_t *const body = entity->function.body;
struct pp_definition_t {
symbol_t *symbol;
- source_position_t source_position;
+ position_t pos;
pp_definition_t *parent_expansion;
size_t expand_pos;
whitespace_info_t expand_info;
typedef struct pp_conditional_t pp_conditional_t;
struct pp_conditional_t {
- source_position_t source_position;
+ position_t pos;
bool condition;
bool in_else;
/** conditional in skip mode (then+else gets skipped) */
utf32 buf[1024+MAX_PUTBACK];
const utf32 *bufend;
const utf32 *bufpos;
- source_position_t position;
+ position_t pos;
pp_input_t *parent;
unsigned output_line;
searchpath_entry_t *path;
static struct obstack pp_obstack;
static struct obstack config_obstack;
static const char *printed_input_name = NULL;
-static source_position_t expansion_pos;
+static position_t expansion_pos;
static pp_definition_t *current_expansion = NULL;
static pp_definition_t *current_call = NULL;
static pp_definition_t *current_argument = NULL;
static inline void next_char(void);
static void next_input_token(void);
-static void print_line_directive(const source_position_t *pos, const char *add);
+static void print_line_directive(const position_t *pos, const char *add);
static symbol_t *symbol_colongreater;
static symbol_t *symbol_lesscolon;
void switch_pp_input(FILE *const file, char const *const filename, searchpath_entry_t *const path, bool const is_system_header)
{
- input.file = file;
- input.input = input_from_stream(file, NULL);
- input.bufend = NULL;
- input.bufpos = NULL;
- input.output_line = 0;
- input.position.input_name = filename;
- input.position.lineno = 1;
- input.position.is_system_header = is_system_header;
- input.path = path;
+ input.file = file;
+ input.input = input_from_stream(file, NULL);
+ input.bufend = NULL;
+ input.bufpos = NULL;
+ input.output_line = 0;
+ input.pos.input_name = filename;
+ input.pos.lineno = 1;
+ input.pos.is_system_header = is_system_header;
+ input.path = path;
/* indicate that we're at a new input */
- print_line_directive(&input.position, input_stack != NULL ? "1" : NULL);
+ print_line_directive(&input.pos, input_stack != NULL ? "1" : NULL);
/* place a virtual '\n' so we realize we're at line begin */
- input.position.lineno = 0;
- input.c = '\n';
+ input.pos.lineno = 0;
+ input.c = '\n';
}
FILE *close_pp_input(void)
*/
static void parse_error(const char *msg)
{
- errorf(&pp_token.base.source_position, "%s", msg);
+ errorf(&pp_token.base.pos, "%s", msg);
}
static inline void next_real_char(void)
input.bufend = input.bufpos + n;
}
input.c = *input.bufpos++;
- ++input.position.colno;
+ ++input.pos.colno;
}
/**
{
assert(input.bufpos > input.buf);
*(--input.bufpos - input.buf + input.buf) = (char) pc;
- --input.position.colno;
+ --input.pos.colno;
}
#define NEWLINE \
case '\n': \
next_char(); \
} \
- ++input.position.lineno; \
- input.position.colno = 1; \
+ ++input.pos.lineno; \
+ input.pos.colno = 1; \
goto newline; \
newline // Let it look like an ordinary case label.
obstack_1grow(&symbol_obstack, input.c);
next_char();
} else {
- errorf(&input.position,
+ errorf(&input.pos,
"short universal character name, expected %u more digits",
k);
break;
}
}
if (!is_universal_char_valid(v)) {
- errorf(&input.position,
+ errorf(&input.pos,
"\\%c%0*X is not a valid universal character name",
n_digits == 4 ? 'u' : 'U', (int)n_digits, v);
}
if (resolve_escape_sequences) {
utf32 const tc = parse_escape_sequence();
if (tc > limit) {
- warningf(WARN_OTHER, &pp_token.base.source_position, "escape sequence out of range");
+ warningf(WARN_OTHER, &pp_token.base.pos,
+ "escape sequence out of range");
}
if (enc == STRING_ENCODING_CHAR) {
obstack_1grow(&symbol_obstack, tc);
}
case NEWLINE:
- errorf(&pp_token.base.source_position, "newline while parsing %s", context);
+ errorf(&pp_token.base.pos, "newline while parsing %s", context);
break;
case EOF:
- errorf(&pp_token.base.source_position, "EOF while parsing %s", context);
+ errorf(&pp_token.base.pos, "EOF while parsing %s", context);
goto end_of_string;
default:
if (current_expansion->expand_pos > 0)
info.had_whitespace = saved->had_whitespace;
current_expansion->expand_pos = pos;
- pp_token.base.source_position = expansion_pos;
+ pp_token.base.pos = expansion_pos;
return true;
}
{
info.had_whitespace = true;
- source_position_t const start_pos = input.position;
+ position_t const start_pos = input.pos;
while (true) {
switch (input.c) {
case '/':
case '*':
next_char();
if (input.c == '/') {
- if (input.position.lineno != input.output_line)
- info.whitespace_at_line_begin = input.position.colno;
+ if (input.pos.lineno != input.output_line)
+ info.whitespace_at_line_begin = input.pos.colno;
next_char();
return;
}
utf32 const v = parse_universal_char(n);
if (!is_universal_char_valid_identifier(v)) {
if (is_universal_char_valid(v)) {
- errorf(&input.position,
+ errorf(&input.pos,
"universal character \\%c%0*X is not valid in an identifier",
n == 4 ? 'u' : 'U', (int)n, v);
}
} else if (obstack_object_size(&symbol_obstack) == 0 && is_universal_char_invalid_identifier_start(v)) {
- errorf(&input.position,
+ errorf(&input.pos,
"universal character \\%c%0*X is not valid as start of an identifier",
n == 4 ? 'u' : 'U', (int)n, v);
} else if (resolve_escape_sequences) {
string_encoding_t const enc = identify_encoding_prefix(symbol);
if (enc != STRING_ENCODING_CHAR) {
if (enc == STRING_ENCODING_UTF8) {
- errorf(&pp_token.base.source_position, "'u8' is not a valid encoding for a chracter constant");
+ errorf(&pp_token.base.pos,
+ "'u8' is not a valid encoding for a chracter constant");
}
parse_character_constant(enc);
return;
info.had_whitespace = false;
}
restart:
- pp_token.base.source_position = input.position;
- pp_token.base.symbol = NULL;
+ pp_token.base.pos = input.pos;
+ pp_token.base.symbol = NULL;
switch (input.c) {
case ' ':
if (out)
fputc('\n', out);
if (input.c == (utf32)EOF)
- --input.position.lineno;
- print_line_directive(&input.position, "2");
+ --input.pos.lineno;
+ print_line_directive(&input.pos, "2");
goto restart;
} else {
info.at_line_begin = true;
default:
dollar_sign:
if (error_on_unknown_chars) {
- errorf(&pp_token.base.source_position, "unknown character '%lc' found", input.c);
+ errorf(&pp_token.base.pos, "unknown character '%lc' found", input.c);
next_char();
goto restart;
} else {
fputc('"', out);
}
-static void print_line_directive(const source_position_t *pos, const char *add)
+static void print_line_directive(const position_t *pos, const char *add)
{
if (!out)
return;
if (!out)
return true;
- unsigned delta = pp_token.base.source_position.lineno - input.output_line;
+ unsigned delta = pp_token.base.pos.lineno - input.output_line;
if (delta == 0)
return false;
if (delta >= 9) {
fputc('\n', out);
- print_line_directive(&pp_token.base.source_position, NULL);
+ print_line_directive(&pp_token.base.pos, NULL);
fputc('\n', out);
} else {
for (unsigned i = 0; i < delta; ++i) {
fputc('\n', out);
}
}
- input.output_line = pp_token.base.source_position.lineno;
+ input.output_line = pp_token.base.pos.lineno;
unsigned whitespace = info.whitespace_at_line_begin;
/* make sure there is at least 1 whitespace before a (macro-expanded)
static void missing_macro_param_error(void)
{
- errorf(&pp_token.base.source_position,
- "'#' is not followed by a macro parameter");
+ errorf(&pp_token.base.pos, "'#' is not followed by a macro parameter");
}
static bool is_defineable_token(char const *const context)
{
if (info.at_line_begin) {
- errorf(&pp_token.base.source_position, "unexpected end of line after %s", context);
+ errorf(&pp_token.base.pos, "unexpected end of line after %s", context);
}
symbol_t *const symbol = pp_token.base.symbol;
default:
no_ident:
- errorf(&pp_token.base.source_position, "expected identifier after %s, got %K", context, &pp_token);
+ errorf(&pp_token.base.pos, "expected identifier after %s, got %K",
+ context, &pp_token);
return false;
}
}
switch (symbol->pp_ID) {
/* §6.10.8:4 */
case TP_defined:
- errorf(&pp_token.base.source_position, "%K cannot be used as macro name in %s", &pp_token, context);
+ errorf(&pp_token.base.pos, "%K cannot be used as macro name in %s",
+ &pp_token, context);
return false;
default:
pp_definition_t *new_definition
= obstack_alloc(&pp_obstack, sizeof(new_definition[0]));
memset(new_definition, 0, sizeof(new_definition[0]));
- new_definition->symbol = symbol;
- new_definition->source_position = input.position;
+ new_definition->symbol = symbol;
+ new_definition->pos = input.pos;
/* this is probably the only place where spaces are significant in the
* lexer (except for the fact that they separate tokens). #define b(x)
new_definition->is_variadic = true;
eat_token(T_DOTDOTDOT);
if (pp_token.kind != ')') {
- errorf(&input.position,
+ errorf(&input.pos,
"'...' not at end of macro argument list");
goto error_out;
}
case T_IDENTIFIER: {
pp_definition_t parameter;
memset(¶meter, 0, sizeof(parameter));
- parameter.source_position = pp_token.base.source_position;
- parameter.symbol = pp_token.base.symbol;
- parameter.is_parameter = true;
+ parameter.pos = pp_token.base.pos;
+ parameter.symbol = pp_token.base.symbol;
+ parameter.is_parameter = true;
obstack_grow(&pp_obstack, ¶meter, sizeof(parameter));
eat_token(T_IDENTIFIER);
}
if (pp_token.kind != ')') {
- errorf(&pp_token.base.source_position,
+ errorf(&pp_token.base.pos,
"expected ',' or ')' after identifier, got %K",
&pp_token);
goto error_out;
goto finish_argument_list;
default:
- errorf(&pp_token.base.source_position,
+ errorf(&pp_token.base.pos,
"expected identifier, '...' or ')' in #define argument list, got %K",
&pp_token);
goto error_out;
pp_definition_t *previous = symbol->pp_definition;
if (previous != NULL
&& previous->function_definition == new_definition) {
- errorf(¶m->source_position,
- "duplicate macro parameter '%Y'", symbol);
+ errorf(¶m->pos, "duplicate macro parameter '%Y'", symbol);
param->symbol = sym_anonymous;
continue;
}
pp_definition_t *old_definition = symbol->pp_definition;
if (old_definition != NULL) {
if (!pp_definitions_equal(old_definition, new_definition)) {
- warningf(WARN_OTHER, &input.position, "multiple definition of macro '%Y' (first defined %P)", symbol, &old_definition->source_position);
+ warningf(WARN_OTHER, &input.pos,
+ "multiple definition of macro '%Y' (first defined %P)",
+ symbol, &old_definition->pos);
} else {
/* reuse the old definition */
obstack_free(&pp_obstack, new_definition);
next_input_token();
if (!info.at_line_begin) {
- warningf(WARN_OTHER, &input.position, "extra tokens at end of #undef directive");
+ warningf(WARN_OTHER, &input.pos, "extra tokens at end of #undef directive");
}
eat_pp_directive();
}
}
/* check wether we have a "... or <... headername */
- source_position_t position = input.position;
+ position_t pos = input.pos;
switch (input.c) {
{
utf32 delimiter;
char *dummy = obstack_finish(&symbol_obstack);
obstack_free(&symbol_obstack, dummy);
}
- errorf(&pp_token.base.source_position,
+ errorf(&pp_token.base.pos,
"header name without closing '%c'", (char)delimiter);
return NULL;
obstack_free(&symbol_obstack, dummy);
}
- errorf(&pp_token.base.source_position,
+ errorf(&pp_token.base.pos,
"expected \"FILENAME\" or <FILENAME> after #include");
return NULL;
}
obstack_1grow(&symbol_obstack, '\0');
char *const headername = obstack_finish(&symbol_obstack);
const char *identified = identify_string(headername);
- pp_token.base.source_position = position;
+ pp_token.base.pos = pos;
return identified;
}
} else {
if (!bracket_include) {
/* put dirname of current input on obstack */
- const char *filename = input.position.input_name;
+ const char *filename = input.pos.input_name;
const char *last_slash = strrchr(filename, '/');
const char *full_name;
if (last_slash != NULL) {
bool had_nonwhitespace = skip_till_newline(false);
if (had_nonwhitespace) {
- warningf(WARN_OTHER, &input.position,
+ warningf(WARN_OTHER, &input.pos,
"extra tokens at end of #include directive");
}
if (n_inputs > INCLUDE_LIMIT) {
- errorf(&pp_token.base.source_position, "#include nested too deeply");
+ errorf(&pp_token.base.pos, "#include nested too deeply");
/* eat \n or EOF */
next_input_token();
return;
if (res) {
next_input_token();
} else {
- errorf(&pp_token.base.source_position, "failed including '%s': %s", headername, strerror(errno));
+ errorf(&pp_token.base.pos, "failed including '%s': %s", headername, strerror(errno));
pop_restore_input();
}
}
pp_conditional_t *conditional = conditional_stack;
if (conditional->in_else) {
- errorf(&conditional->source_position, "unterminated #else");
+ errorf(&conditional->pos, "unterminated #else");
} else {
- errorf(&conditional->source_position, "unterminated condition");
+ errorf(&conditional->pos, "unterminated condition");
}
pop_conditional();
}
if (skip_mode) {
eat_pp_directive();
pp_conditional_t *conditional = push_conditional();
- conditional->source_position = pp_token.base.source_position;
- conditional->skip = true;
+ conditional->pos = pp_token.base.pos;
+ conditional->skip = true;
return;
}
if (pp_token.kind != T_IDENTIFIER || info.at_line_begin) {
- errorf(&pp_token.base.source_position,
- "expected identifier after #%s, got %K",
+ errorf(&pp_token.base.pos, "expected identifier after #%s, got %K",
is_ifdef ? "ifdef" : "ifndef", &pp_token);
eat_pp_directive();
eat_token(T_IDENTIFIER);
if (!info.at_line_begin) {
- errorf(&pp_token.base.source_position,
- "extra tokens at end of #%s",
+ errorf(&pp_token.base.pos, "extra tokens at end of #%s",
is_ifdef ? "ifdef" : "ifndef");
eat_pp_directive();
}
}
pp_conditional_t *conditional = push_conditional();
- conditional->source_position = pp_token.base.source_position;
- conditional->condition = condition;
+ conditional->pos = pp_token.base.pos;
+ conditional->condition = condition;
if (!condition) {
skip_mode = true;
if (!info.at_line_begin) {
if (!skip_mode) {
- warningf(WARN_OTHER, &pp_token.base.source_position, "extra tokens at end of #else");
+ warningf(WARN_OTHER, &pp_token.base.pos, "extra tokens at end of #else");
}
eat_pp_directive();
}
pp_conditional_t *conditional = conditional_stack;
if (conditional == NULL) {
- errorf(&pp_token.base.source_position, "#else without prior #if");
+ errorf(&pp_token.base.pos, "#else without prior #if");
return;
}
if (conditional->in_else) {
- errorf(&pp_token.base.source_position,
+ errorf(&pp_token.base.pos,
"#else after #else (condition started %P)",
- &conditional->source_position);
+ &conditional->pos);
skip_mode = true;
return;
}
if (!conditional->skip) {
skip_mode = conditional->condition;
}
- conditional->source_position = pp_token.base.source_position;
+ conditional->pos = pp_token.base.pos;
}
static void parse_endif_directive(void)
if (!info.at_line_begin) {
if (!skip_mode) {
- warningf(WARN_OTHER, &pp_token.base.source_position, "extra tokens at end of #endif");
+ warningf(WARN_OTHER, &pp_token.base.pos, "extra tokens at end of #endif");
}
eat_pp_directive();
}
pp_conditional_t *conditional = conditional_stack;
if (conditional == NULL) {
- errorf(&pp_token.base.source_position, "#endif without prior #if");
+ errorf(&pp_token.base.pos, "#endif without prior #if");
return;
}
}
if (pp_token.kind != T_IDENTIFIER) {
- warningf(WARN_UNKNOWN_PRAGMAS, &pp_token.base.source_position,
+ warningf(WARN_UNKNOWN_PRAGMAS, &pp_token.base.pos,
"expected identifier after #pragma");
eat_pp_directive();
return;
}
if (value == STDC_VALUE_UNKNOWN) {
kind = STDC_UNKNOWN;
- errorf(&pp_token.base.source_position, "bad STDC pragma argument");
+ errorf(&pp_token.base.pos, "bad STDC pragma argument");
}
}
}
eat_pp_directive();
if (kind == STDC_UNKNOWN) {
- warningf(WARN_UNKNOWN_PRAGMAS, &pp_token.base.source_position,
+ warningf(WARN_UNKNOWN_PRAGMAS, &pp_token.base.pos,
"encountered unknown #pragma");
}
}
long const line = strtol(pp_token.literal.string.begin, &end, 0);
if (*end == '\0') {
/* use offset -1 as this is about the next line */
- input.position.lineno = line - 1;
+ input.pos.lineno = line - 1;
/* force output of line */
- input.output_line = input.position.lineno - 20;
+ input.output_line = input.pos.lineno - 20;
} else {
if (!skip_mode) {
- errorf(&input.position, "'%S' is not a valid line number",
+ errorf(&input.pos, "'%S' is not a valid line number",
&pp_token.literal.string);
}
}
}
if (pp_token.kind == T_STRING_LITERAL
&& pp_token.literal.string.encoding == STRING_ENCODING_CHAR) {
- input.position.input_name = pp_token.literal.string.begin;
- input.position.is_system_header = false;
+ input.pos.input_name = pp_token.literal.string.begin;
+ input.pos.is_system_header = false;
next_input_token();
/* attempt to parse numeric flags as outputted by gcc preprocessor */
* currently we're only interested in "3"
*/
if (streq(pp_token.literal.string.begin, "3")) {
- input.position.is_system_header = true;
+ input.pos.is_system_header = true;
}
next_input_token();
}
bool const old_resolve_escape_sequences = resolve_escape_sequences;
resolve_escape_sequences = false;
- source_position_t const pos = pp_token.base.source_position;
+ position_t const pos = pp_token.base.pos;
do {
if (info.had_whitespace && obstack_object_size(&pp_obstack) != 0)
obstack_1grow(&pp_obstack, ' ');
} else {
skip:
if (!skip_mode) {
- errorf(&pp_token.base.source_position, "invalid preprocessing directive #%K", &pp_token);
+ errorf(&pp_token.base.pos, "invalid preprocessing directive #%K", &pp_token);
}
eat_pp_directive();
}
if (next_token == '(') {
if (current_expansion == NULL)
- expansion_pos = pp_token.base.source_position;
+ expansion_pos = pp_token.base.pos;
next_preprocessing_token();
assert(pp_token.kind == '(');
}
} else {
if (current_expansion == NULL)
- expansion_pos = pp_token.base.source_position;
+ expansion_pos = pp_token.base.pos;
start_expanding(pp_definition);
goto restart;
}
finish_current_argument();
current_call->expand_pos++;
if (current_call->expand_pos >= current_call->n_parameters) {
- errorf(&pp_token.base.source_position,
+ errorf(&pp_token.base.pos,
"too many arguments passed for macro '%Y'",
current_call->symbol);
current_argument = NULL;
static void input_error(unsigned const delta_lines, unsigned const delta_cols, char const *const message)
{
- source_position_t pos = pp_token.base.source_position;
+ position_t pos = pp_token.base.pos;
pos.lineno += delta_lines;
pos.colno += delta_cols;
errorf(&pos, "%s", message);
projects / cparser / commitdiff