Remove special cases for EXPR_ERROR and TYPE_ERROR from constant folding and type...

[cparser] / ast.h

diff --git a/ast.h b/ast.h
index 9223ca2..a221ec2 100644 (file)
--- a/ast.h
+++ b/ast.h
@@ -72,6 +72,7 @@ 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 computed_goto_statement_t             computed_goto_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;
@@ -112,10 +113,8 @@ typedef enum expression_classification_t {
 } expression_classification_t;
 
 /**
- * Returns true if a given expression is a compile time
- * constant. §6.6
- *
- * @param expression  the expression to check
+ * Returns true when an initializer contains only constants/linker_constant
+ * values.
  */
 expression_classification_t is_constant_initializer(const initializer_t *initializer);
 
@@ -129,7 +128,7 @@ expression_classification_t is_constant_expression(const expression_t *expressio
 
 /**
  * Checks if an expression is a constant/known value to the linker. Examples:
- *  - all constant expression casted to a pointer type
+ *  - all constant/linker constant expression casted to a pointer type
  *  - "&x", with x being a global variable.
  *  - "array" or "a.array" in case array is an array and array and a,
  *  respectively is an object with link time constant address
@@ -138,6 +137,7 @@ expression_classification_t is_linker_constant(const expression_t *expression);
 
 long fold_constant_to_int(const expression_t *expression);
 bool fold_constant_to_bool(const expression_t *expression);
+bool constant_is_negative(const expression_t *constant);
 
 /**
  * the type of a literal is usually the biggest type that can hold the value.