X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ast.h;h=adb7e89f0fbcaf7b64bf45ac250b614c7767c9b4;hb=103d024a3572a6607bd7d18a129b93d2dbfeff82;hp=f6eee8411620c39a01ef398fbf55281533902b92;hpb=3ac3f322bfdcf74b4794e3a85ccc8209893afadf;p=cparser

diff --git a/ast.h b/ast.h
index f6eee84..adb7e89 100644
--- a/ast.h
+++ b/ast.h
@@ -1,6 +1,6 @@
 /*
  * 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
@@ -24,75 +24,72 @@
 #include <stdbool.h>
 #include "entity.h"
 
-typedef struct expression_base_t                expression_base_t;
-typedef struct const_expression_t               const_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 call_argument_t                  call_argument_t;
-typedef struct type_argument_t                  type_argument_t;
-typedef struct call_expression_t                call_expression_t;
-typedef struct binary_expression_t              binary_expression_t;
-typedef struct unary_expression_t               unary_expression_t;
-typedef struct select_expression_t              select_expression_t;
-typedef struct array_access_expression_t        array_access_expression_t;
-typedef struct typeprop_expression_t            typeprop_expression_t;
-typedef struct conditional_expression_t         conditional_expression_t;
-typedef struct expression_list_element_t        expression_list_element_t;
-typedef struct comma_expression_t               comma_expression_t;
-typedef struct statement_expression_t           statement_expression_t;
-typedef struct designator_t                     designator_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 builtin_symbol_expression_t      builtin_symbol_expression_t;
-typedef struct builtin_constant_expression_t    builtin_constant_expression_t;
-typedef struct builtin_address_expression_t     builtin_address_expression_t;
-typedef struct builtin_prefetch_expression_t    builtin_prefetch_expression_t;
-typedef struct classify_type_expression_t       classify_type_expression_t;
-typedef struct bitfield_extract_expression_t    bitfield_extract_expression_t;
-typedef struct label_address_expression_t       label_address_expression_t;
-typedef union  expression_t                     expression_t;
+typedef struct expression_base_t                     expression_base_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 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 call_argument_t                       call_argument_t;
+typedef struct type_argument_t                       type_argument_t;
+typedef struct call_expression_t                     call_expression_t;
+typedef struct binary_expression_t                   binary_expression_t;
+typedef struct unary_expression_t                    unary_expression_t;
+typedef struct select_expression_t                   select_expression_t;
+typedef struct array_access_expression_t             array_access_expression_t;
+typedef struct typeprop_expression_t                 typeprop_expression_t;
+typedef struct conditional_expression_t              conditional_expression_t;
+typedef struct expression_list_element_t             expression_list_element_t;
+typedef struct comma_expression_t                    comma_expression_t;
+typedef struct statement_expression_t                statement_expression_t;
+typedef struct designator_t                          designator_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;
+typedef struct bitfield_extract_expression_t         bitfield_extract_expression_t;
+typedef struct label_address_expression_t            label_address_expression_t;
+typedef union  expression_t                          expression_t;
 
-typedef struct initializer_base_t           initializer_base_t;
-typedef struct initializer_list_t           initializer_list_t;
-typedef struct initializer_value_t          initializer_value_t;
-typedef struct initializer_string_t         initializer_string_t;
-typedef struct initializer_wide_string_t    initializer_wide_string_t;
-typedef struct initializer_designator_t     initializer_designator_t;
-typedef union  initializer_t                initializer_t;
+typedef struct initializer_base_t                    initializer_base_t;
+typedef struct initializer_list_t                    initializer_list_t;
+typedef struct initializer_value_t                   initializer_value_t;
+typedef struct initializer_string_t                  initializer_string_t;
+typedef struct initializer_wide_string_t             initializer_wide_string_t;
+typedef struct initializer_designator_t              initializer_designator_t;
+typedef union  initializer_t                         initializer_t;
 
-typedef struct statement_base_t             statement_base_t;
-typedef struct invalid_statement_t          invalid_statement_t;
-typedef struct empty_statement_t            empty_statement_t;
-typedef struct compound_statement_t         compound_statement_t;
-typedef struct return_statement_t           return_statement_t;
-typedef struct if_statement_t               if_statement_t;
-typedef struct switch_statement_t           switch_statement_t;
-typedef struct declaration_statement_t      declaration_statement_t;
-typedef struct expression_statement_t       expression_statement_t;
-typedef struct goto_statement_t             goto_statement_t;
-typedef struct label_statement_t            label_statement_t;
-typedef struct case_label_statement_t       case_label_statement_t;
-typedef struct while_statement_t            while_statement_t;
-typedef struct do_while_statement_t         do_while_statement_t;
-typedef struct for_statement_t              for_statement_t;
-typedef struct asm_argument_t               asm_argument_t;
-typedef struct asm_clobber_t                asm_clobber_t;
-typedef struct asm_statement_t              asm_statement_t;
-typedef struct ms_try_statement_t           ms_try_statement_t;
-typedef struct leave_statement_t            leave_statement_t;
-typedef union  statement_t                  statement_t;
+typedef struct statement_base_t                      statement_base_t;
+typedef struct invalid_statement_t                   invalid_statement_t;
+typedef struct empty_statement_t                     empty_statement_t;
+typedef struct compound_statement_t                  compound_statement_t;
+typedef struct return_statement_t                    return_statement_t;
+typedef struct if_statement_t                        if_statement_t;
+typedef struct switch_statement_t                    switch_statement_t;
+typedef struct declaration_statement_t               declaration_statement_t;
+typedef struct expression_statement_t                expression_statement_t;
+typedef struct goto_statement_t                      goto_statement_t;
+typedef struct label_statement_t                     label_statement_t;
+typedef struct case_label_statement_t                case_label_statement_t;
+typedef struct while_statement_t                     while_statement_t;
+typedef struct do_while_statement_t                  do_while_statement_t;
+typedef struct for_statement_t                       for_statement_t;
+typedef struct asm_argument_t                        asm_argument_t;
+typedef struct asm_clobber_t                         asm_clobber_t;
+typedef struct asm_statement_t                       asm_statement_t;
+typedef struct ms_try_statement_t                    ms_try_statement_t;
+typedef struct leave_statement_t                     leave_statement_t;
+typedef union  statement_t                           statement_t;
 
-typedef struct translation_unit_t           translation_unit_t;
+typedef struct translation_unit_t                    translation_unit_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);
@@ -102,13 +99,19 @@ void  print_entity(const entity_t *entity);
 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
@@ -116,10 +119,22 @@ bool is_constant_initializer(const initializer_t *initializer);
  *
  * @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