Data Structures |
| struct | expression_type |
Functions |
| static int | is_integer_type (const type_t *type) |
| static int | is_signed_integer_type (const type_t *type) |
| static int | is_float_type (const type_t *type) |
| expr_t * | make_expr (enum expr_type type) |
| expr_t * | make_exprl (enum expr_type type, int val) |
| expr_t * | make_exprd (enum expr_type type, double val) |
| expr_t * | make_exprs (enum expr_type type, char *val) |
| expr_t * | make_exprt (enum expr_type type, var_t *var, expr_t *expr) |
| expr_t * | make_expr1 (enum expr_type type, expr_t *expr) |
| expr_t * | make_expr2 (enum expr_type type, expr_t *expr1, expr_t *expr2) |
| expr_t * | make_expr3 (enum expr_type type, expr_t *expr1, expr_t *expr2, expr_t *expr3) |
| static void | check_scalar_type (const struct expr_loc *expr_loc, const type_t *cont_type, const type_t *type) |
| static void | check_arithmetic_type (const struct expr_loc *expr_loc, const type_t *cont_type, const type_t *type) |
| static void | check_integer_type (const struct expr_loc *expr_loc, const type_t *cont_type, const type_t *type) |
| static type_t * | find_identifier (const char *identifier, const type_t *cont_type, int *found_in_cont_type) |
| static int | is_valid_member_operand (const type_t *type) |
| static struct expression_type | resolve_expression (const struct expr_loc *expr_loc, const type_t *cont_type, const expr_t *e) |
| const type_t * | expr_resolve_type (const struct expr_loc *expr_loc, const type_t *cont_type, const expr_t *expr) |
| void | write_expr (FILE *h, const expr_t *e, int brackets, int toplevel, const char *toplevel_prefix, const type_t *cont_type, const char *local_var_prefix) |
| static int | compare_type (const type_t *a, const type_t *b) |
| int | compare_expr (const expr_t *a, const expr_t *b) |