/*
* This file is part of cparser.
- * Copyright (C) 2007-2008 Matthias Braun <matze@braunis.de>
+ * Copyright (C) 2007-2009 Matthias Braun <matze@braunis.de>
*
* This program is free software; you can redistribute it and/or
* modify it under the terms of the GNU General Public License
#include "entity.h"
typedef struct expression_base_t expression_base_t;
-typedef struct const_expression_t const_expression_t;
+typedef struct literal_expression_t literal_expression_t;
typedef struct string_literal_expression_t string_literal_expression_t;
typedef struct funcname_expression_t funcname_expression_t;
-typedef struct wide_string_literal_expression_t wide_string_literal_expression_t;
typedef struct compound_literal_expression_t compound_literal_expression_t;
typedef struct reference_expression_t reference_expression_t;
typedef struct cast_expression_t cast_expression_t;
typedef struct offsetof_expression_t offsetof_expression_t;
typedef struct va_start_expression_t va_start_expression_t;
typedef struct va_arg_expression_t va_arg_expression_t;
+typedef struct va_copy_expression_t va_copy_expression_t;
typedef struct builtin_constant_expression_t builtin_constant_expression_t;
typedef struct builtin_types_compatible_expression_t builtin_types_compatible_expression_t;
typedef struct classify_type_expression_t classify_type_expression_t;
void init_ast(void);
void exit_ast(void);
-void ast_set_output(FILE *out);
void print_expression(const expression_t *expression);
void print_initializer(const initializer_t *initializer);
void print_ast(const translation_unit_t *unit);
void change_indent(int delta);
void *allocate_ast(size_t size);
+typedef enum expression_classification_t {
+ EXPR_CLASS_VARIABLE,
+ EXPR_CLASS_ERROR,
+ EXPR_CLASS_CONSTANT
+} expression_classification_t;
+
/**
* Returns true if a given expression is a compile time
- * constant.
+ * constant. ยง6.6
*
* @param expression the expression to check
*/
-bool is_constant_initializer(const initializer_t *initializer);
+expression_classification_t is_constant_initializer(const initializer_t *initializer);
/**
* Returns true if a given expression is a compile time
*
* @param expression the expression to check
*/
-bool is_constant_expression(const expression_t *expression);
+expression_classification_t is_constant_expression(const expression_t *expression);
-bool is_address_constant(const expression_t *expression);
+/**
+ * An object with a fixed but at compiletime unknown adress which will be known
+ * at link/load time.
+ */
+expression_classification_t is_address_constant(const expression_t *expression);
-long fold_constant(const expression_t *expression);
+long fold_constant_to_int(const expression_t *expression);
+bool fold_constant_to_bool(const expression_t *expression);
+
+/**
+ * the type of a literal is usually the biggest type that can hold the value.
+ * Since this is backend dependent the parses needs this call exposed.
+ * Works for EXPR_LITERAL_* expressions.
+ */
+void determine_literal_type(literal_expression_t *literal);
#endif