#include "symbol.h"
#include "token_t.h"
#include "type.h"
+#include "entity_t.h"
#include "adt/obst.h"
/** The AST obstack contains all data that must stay in the AST. */
extern struct obstack ast_obstack;
+/**
+ * Operator precedence classes
+ */
+typedef enum precedence_t {
+ PREC_BOTTOM,
+ PREC_EXPRESSION, /* , left to right */
+ PREC_ASSIGNMENT, /* = += -= *= /= %= <<= >>= &= ^= |= right to left */
+ PREC_CONDITIONAL, /* ?: right to left */
+ PREC_LOGICAL_OR, /* || left to right */
+ PREC_LOGICAL_AND, /* && left to right */
+ PREC_OR, /* | left to right */
+ PREC_XOR, /* ^ left to right */
+ PREC_AND, /* & left to right */
+ PREC_EQUALITY, /* == != left to right */
+ PREC_RELATIONAL, /* < <= > >= left to right */
+ PREC_SHIFT, /* << >> left to right */
+ PREC_ADDITIVE, /* + - left to right */
+ PREC_MULTIPLICATIVE, /* * / % left to right */
+ PREC_CAST, /* (type) right to left */
+ PREC_UNARY, /* ! ~ ++ -- + - * & sizeof right to left */
+ PREC_POSTFIX, /* () [] -> . left to right */
+ PREC_PRIMARY,
+ PREC_TOP
+} precedence_t;
+
/**
* Expression kinds.
*/
EXPR_UNKNOWN = 0,
EXPR_INVALID,
EXPR_REFERENCE,
+ EXPR_REFERENCE_ENUM_VALUE,
EXPR_CONST,
EXPR_CHARACTER_CONSTANT,
EXPR_WIDE_CHARACTER_CONSTANT,
EXPR_VA_START,
EXPR_VA_ARG,
EXPR_STATEMENT,
+ EXPR_LABEL_ADDRESS, /**< GCC extension &&label operator */
EXPR_UNARY_FIRST,
EXPR_UNARY_NEGATE = EXPR_UNARY_FIRST,
EXPR_UNARY_CAST,
EXPR_UNARY_CAST_IMPLICIT, /**< compiler generated cast */
EXPR_UNARY_ASSUME, /**< MS __assume() */
- EXPR_UNARY_LAST = EXPR_UNARY_ASSUME,
+ EXPR_UNARY_DELETE,
+ EXPR_UNARY_DELETE_ARRAY,
+ EXPR_UNARY_THROW,
+ EXPR_UNARY_LAST = EXPR_UNARY_THROW,
EXPR_BINARY_FIRST,
EXPR_BINARY_ADD = EXPR_BINARY_FIRST,
EXPR_BINARY_BITWISE_OR_ASSIGN,
EXPR_BINARY_COMMA,
- EXPR_BINARY_BUILTIN_EXPECT,
EXPR_BINARY_ISGREATER,
EXPR_BINARY_ISGREATEREQUAL,
EXPR_BINARY_ISLESS,
case EXPR_BINARY_BITWISE_XOR_ASSIGN: \
case EXPR_BINARY_BITWISE_OR_ASSIGN: \
case EXPR_BINARY_COMMA: \
- case EXPR_BINARY_BUILTIN_EXPECT: \
case EXPR_BINARY_ISGREATER: \
case EXPR_BINARY_ISGREATEREQUAL: \
case EXPR_BINARY_ISLESS: \
case EXPR_BINARY_ISLESSGREATER: \
case EXPR_BINARY_ISUNORDERED:
-#define EXPR_UNARY_CASES \
+/**
+ * unary expression with mandatory operand
+ */
+#define EXPR_UNARY_CASES_MANDATORY \
case EXPR_UNARY_NEGATE: \
case EXPR_UNARY_PLUS: \
case EXPR_UNARY_BITWISE_NEGATE: \
case EXPR_UNARY_PREFIX_DECREMENT: \
case EXPR_UNARY_CAST: \
case EXPR_UNARY_CAST_IMPLICIT: \
- case EXPR_UNARY_ASSUME:
+ case EXPR_UNARY_ASSUME: \
+ case EXPR_UNARY_DELETE: \
+ case EXPR_UNARY_DELETE_ARRAY:
/**
- * A scope containing declarations.
+ * unary expression with optinal operand
*/
-struct scope_t {
- declaration_t *declarations; /**< List of declarations in this scope. */
- declaration_t *last_declaration; /**< last declaration in this scope. */
-};
+#define EXPR_UNARY_CASES_OPTIONAL \
+ case EXPR_UNARY_THROW: \
+
+#define EXPR_UNARY_CASES \
+ EXPR_UNARY_CASES_MANDATORY \
+ EXPR_UNARY_CASES_OPTIONAL
struct expression_base_t {
expression_kind_t kind;
type_t *type;
source_position_t source_position;
+ bool parenthesized;
#ifndef NDEBUG
bool transformed;
#endif
struct reference_expression_t {
expression_base_t base;
- declaration_t *declaration;
+ entity_t *entity;
};
struct call_argument_t {
struct select_expression_t {
expression_base_t base;
expression_t *compound;
- symbol_t *symbol;
-
- declaration_t *compound_entry;
+ entity_t *compound_entry;
};
struct array_access_expression_t {
expression_base_t base;
expression_t *array_ref;
expression_t *index;
- bool flipped; /* index/ref was written in a 5[a] way */
+ bool flipped; /**< index/ref was written in a 5[a] way */
};
struct typeprop_expression_t {
struct va_start_expression_t {
expression_base_t base;
expression_t *ap;
- declaration_t *parameter;
+ variable_t *parameter;
};
struct va_arg_expression_t {
expression_t *type_expression;
};
+struct label_address_expression_t {
+ expression_base_t base;
+ label_t *label;
+};
+
union expression_t {
expression_kind_t kind;
expression_base_t base;
conditional_expression_t conditional;
statement_expression_t statement;
classify_type_expression_t classify_type;
+ label_address_expression_t label_address;
};
-typedef enum storage_class_tag_t {
- STORAGE_CLASS_NONE,
- STORAGE_CLASS_EXTERN,
- STORAGE_CLASS_STATIC,
- STORAGE_CLASS_TYPEDEF,
- STORAGE_CLASS_AUTO,
- STORAGE_CLASS_REGISTER,
- STORAGE_CLASS_ENUM_ENTRY,
- STORAGE_CLASS_THREAD,
- STORAGE_CLASS_THREAD_EXTERN,
- STORAGE_CLASS_THREAD_STATIC,
-} storage_class_tag_t;
-
-typedef enum namespace_t {
- NAMESPACE_NORMAL,
- NAMESPACE_STRUCT,
- NAMESPACE_UNION,
- NAMESPACE_ENUM,
- NAMESPACE_LABEL,
-} namespace_t;
-
typedef enum initializer_kind_t {
INITIALIZER_VALUE,
INITIALIZER_LIST,
GNU_AK_LAST
} gnu_attribute_kind_t;
-/**
- * Extended microsoft modifier.
- */
-typedef enum decl_modifier_t {
- DM_DLLIMPORT = 1 << 0,
- DM_DLLEXPORT = 1 << 1,
- DM_THREAD = 1 << 2,
- DM_NAKED = 1 << 3,
- DM_MICROSOFT_INLINE = 1 << 4,
- DM_FORCEINLINE = 1 << 5,
- DM_SELECTANY = 1 << 6,
- DM_NOTHROW = 1 << 7,
- DM_NOVTABLE = 1 << 8,
- DM_NORETURN = 1 << 9,
- DM_NOINLINE = 1 << 10,
- DM_RESTRICT = 1 << 11,
- DM_NOALIAS = 1 << 12,
- DM_PACKED = 1 << 13,
- DM_TRANSPARENT_UNION = 1 << 14,
- DM_PURE = 1 << 15,
- DM_CONSTRUCTOR = 1 << 16,
- DM_DESTRUCTOR = 1 << 17,
- DM_UNUSED = 1 << 18,
- DM_USED = 1 << 19,
- DM_CDECL = 1 << 20,
- DM_FASTCALL = 1 << 21,
- DM_STDCALL = 1 << 22,
- DM_THISCALL = 1 << 23,
- DM_DEPRECATED = 1 << 24
-} decl_modifier_t;
-
-typedef unsigned decl_modifiers_t;
-
-struct declaration_t {
- unsigned char namespc;
- unsigned char declared_storage_class;
- unsigned char storage_class;
- unsigned char alignment; /**< Alignment of the declaration, 0 for default. */
- decl_modifiers_t modifiers; /**< modifiers. */
- const char *deprecated_string; /**< MS deprecated string if any. */
- symbol_t *get_property_sym; /**< MS get property. */
- symbol_t *put_property_sym; /**< MS put property. */
- unsigned int address_taken : 1;
- unsigned int is_inline : 1;
- unsigned int used : 1; /**< Set if the declaration is used. */
- type_t *type;
- symbol_t *symbol;
- source_position_t source_position;
- union {
- bool complete; /**< used to indicate wether struct/union types are already defined or if just the name is declared */
- statement_t *statement;
- initializer_t *initializer;
- expression_t *enum_value;
- } init;
- scope_t scope; /**< The scope that this declaration opens. */
- scope_t *parent_scope; /**< The parent scope where this declaration lives. */
-
- /** next declaration in a scope */
- declaration_t *next;
- /** next declaration with same symbol */
- declaration_t *symbol_next;
-
- /* the following fields are used in ast2firm module */
- unsigned char declaration_kind;
- union {
- unsigned int value_number;
- ir_entity *entity;
- ir_node *block;
- ir_node *vla_base;
- tarval *enum_val;
- ir_type *irtype;
- } v;
-};
-
typedef enum statement_kind_t {
STATEMENT_INVALID,
STATEMENT_EMPTY,
STATEMENT_COMPOUND,
STATEMENT_RETURN,
STATEMENT_DECLARATION,
+ STATEMENT_LOCAL_LABEL,
STATEMENT_IF,
STATEMENT_SWITCH,
STATEMENT_EXPRESSION,
STATEMENT_DO_WHILE,
STATEMENT_FOR,
STATEMENT_ASM,
- STATEMENT_MS_TRY,
- STATEMENT_LEAVE
+ STATEMENT_MS_TRY, /**< MS __try/__finally or __try/__except */
+ STATEMENT_LEAVE /**< MS __leave */
} statement_kind_t;
struct statement_base_t {
struct declaration_statement_t {
statement_base_t base;
- declaration_t *declarations_begin;
- declaration_t *declarations_end;
+ entity_t *declarations_begin;
+ entity_t *declarations_end;
+};
+
+struct local_label_statement_t {
+ statement_base_t base;
+ entity_t *labels_begin;
+ entity_t *labels_end;
};
struct if_statement_t {
};
struct switch_statement_t {
- statement_base_t base;
+ statement_base_t base;
expression_t *expression;
statement_t *body;
- case_label_statement_t *first_case, *last_case;
+ case_label_statement_t *first_case, *last_case; /**< List of all cases, including default. */
+ case_label_statement_t *default_label; /**< The default label if existent. */
+ unsigned long default_proj_nr; /**< The Proj-number for the default Proj. */
};
struct goto_statement_t {
statement_base_t base;
- declaration_t *label; /**< The destination label. */
- goto_statement_t *next; /**< links all goto statements of a function */
+ label_t *label; /**< The destination label. */
+ expression_t *expression; /**< The expression for an assigned goto. */
+ goto_statement_t *next; /**< links all goto statements of a function */
};
struct case_label_statement_t {
statement_base_t base;
- expression_t *expression; /**< The case label expression, NULL for default label. */
- expression_t *end_range; /**< For GNUC case a .. b: the end range expression, NULL else. */
+ expression_t *expression; /**< The case label expression, NULL for default label. */
+ expression_t *end_range; /**< For GNUC case a .. b: the end range expression, NULL else. */
+ case_label_statement_t *next; /**< link to the next case label in switch */
statement_t *statement;
- case_label_statement_t *next; /**< link to the next case label in switch */
+ long first_case; /**< The folded value of expression. */
+ long last_case; /**< The folded value of end_range. */
+ bool is_bad; /**< If set marked as bad to suppress warnings. */
+ bool is_empty_range; /**< If set marked this as an empty range. */
};
struct label_statement_t {
statement_base_t base;
- declaration_t *label;
+ label_t *label;
statement_t *statement;
label_statement_t *next; /**< links all label statements of a function */
};
return_statement_t returns;
compound_statement_t compound;
declaration_statement_t declaration;
+ local_label_statement_t local_label;
if_statement_t ifs;
switch_statement_t switchs;
goto_statement_t gotos;
projects / cparser / blobdiff