X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ast.h;h=a221ec21eabb9b8e8947e05233de8c76bf7292ac;hb=b8f4fc13774d296a361e9e80e813a7eb906fc54b;hp=9223ca2b68ffd71884ab7ed2b038f0efe2b61427;hpb=fda688cb0802286970961e7013217055ce94218f;p=cparser diff --git a/ast.h b/ast.h index 9223ca2..a221ec2 100644 --- 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.