smatch_expressions.c

   1 #include "smatch.h"
   2
   3 static struct position get_cur_pos(void)
   4 {
   5         static struct position pos;
   6         static struct position none;
   7         struct expression *expr;
   8         struct statement *stmt;
   9
  10         expr = last_ptr_list((struct ptr_list *)big_expression_stack);
  11         stmt = last_ptr_list((struct ptr_list *)big_statement_stack);
  12         if (expr)
  13                 pos = expr->pos;
  14         else if (stmt)
  15                 pos = stmt->pos;
  16         else
  17                 pos = none;
  18         return pos;
  19 }
  20
  21 struct expression *zero_expr(void)
  22 {
  23         static struct expression *zero;
  24
  25         if (zero)
  26                 return zero;
  27
  28         zero = alloc_expression(get_cur_pos(), EXPR_VALUE);
  29         zero->value = 0;
  30         zero->ctype = &char_ctype;
  31         return zero;
  32 }
  33
  34 struct expression *value_expr(long long val)
  35 {
  36         struct expression *expr;
  37
  38         if (!val)
  39                 return zero_expr();
  40
  41         expr = alloc_expression(get_cur_pos(), EXPR_VALUE);
  42         expr->value = val;
  43         expr->ctype = &llong_ctype;
  44         return expr;
  45 }
  46
  47 struct expression *member_expression(struct expression *deref, int op, struct ident *member)
  48 {
  49         struct expression *expr;
  50
  51         expr = alloc_expression(deref->pos, EXPR_DEREF);
  52         expr->op = op;
  53         expr->deref = deref;
  54         expr->member = member;
  55         expr->member_offset = -1;
  56         return expr;
  57 }
  58
  59 struct expression *deref_expression(struct expression *expr)
  60 {
  61         struct expression *preop;
  62
  63         preop = alloc_expression(expr->pos, EXPR_PREOP);
  64         preop->unop = expr;
  65         preop->op = '*';
  66         return preop;
  67 }
  68
  69 struct expression *assign_expression(struct expression *left, struct expression *right)
  70 {
  71         struct expression *expr;
  72
  73         expr = alloc_expression(right->pos, EXPR_ASSIGNMENT);
  74         expr->op = '=';
  75         expr->left = left;
  76         expr->right = right;
  77         return expr;
  78 }
  79
  80 struct expression *binop_expression(struct expression *left, int op, struct expression *right)
  81 {
  82         struct expression *expr;
  83
  84         expr = alloc_expression(right->pos, EXPR_BINOP);
  85         expr->op = op;
  86         expr->left = left;
  87         expr->right = right;
  88         return expr;
  89 }
  90
  91 struct expression *array_element_expression(struct expression *array, struct expression *offset)
  92 {
  93         struct expression *expr;
  94
  95         expr = binop_expression(array, '+', offset);
  96         return deref_expression(expr);
  97 }
  98
  99 struct expression *symbol_expression(struct symbol *sym)
 100 {
 101         struct expression *expr;
 102
 103         expr = alloc_expression(sym->pos, EXPR_SYMBOL);
 104         expr->symbol = sym;
 105         expr->symbol_name = sym->ident;
 106         return expr;
 107 }
 108
 109 struct expression *compare_expression(struct expression *left, int op, struct expression *right)
 110 {
 111         struct expression *expr;
 112
 113         expr = alloc_expression(get_cur_pos(), EXPR_COMPARE);
 114         expr->op = op;
 115         expr->left = left;
 116         expr->right = right;
 117         return expr;
 118 }