2 * sparse/smatch_types.c
4 * Copyright (C) 2009 Dan Carpenter.
6 * Licensed under the Open Software License version 1.1
11 * The idea here is that you have an expression and you
12 * want to know what the type is for that.
17 static struct symbol
*get_type_symbol(struct expression
*expr
)
19 if (!expr
|| expr
->type
!= EXPR_SYMBOL
|| !expr
->symbol
)
22 return get_base_type(expr
->symbol
);
25 static struct symbol
*get_symbol_from_deref(struct expression
*expr
)
28 struct symbol
*struct_sym
;
31 if (!expr
|| expr
->type
!= EXPR_DEREF
)
34 member
= expr
->member
;
35 struct_sym
= get_type(expr
->deref
);
37 // sm_msg("could not find struct type");
40 if (struct_sym
->type
== SYM_PTR
)
41 struct_sym
= get_base_type(struct_sym
);
42 FOR_EACH_PTR(struct_sym
->symbol_list
, tmp
) {
43 if (tmp
->ident
== member
)
44 return get_base_type(tmp
);
45 } END_FOR_EACH_PTR(tmp
);
49 static struct symbol
*get_return_type(struct expression
*expr
)
53 tmp
= get_type(expr
->fn
);
56 return get_base_type(tmp
);
59 static struct symbol
*get_pointer_type(struct expression
*expr
)
64 if (!sym
|| sym
->type
!= SYM_PTR
)
66 return get_base_type(sym
);
69 static struct symbol
*fake_pointer_sym(struct expression
*expr
)
74 sym
= alloc_symbol(expr
->pos
, SYM_PTR
);
76 base
= get_type(expr
);
79 sym
->ctype
.base_type
= base
;
83 struct symbol
*get_type(struct expression
*expr
)
89 expr
= strip_parens(expr
);
93 return get_type_symbol(expr
);
95 return get_symbol_from_deref(expr
);
98 return fake_pointer_sym(expr
);
100 return get_pointer_type(expr
->unop
);
101 return get_type(expr
->unop
);
103 case EXPR_FORCE_CAST
:
104 case EXPR_IMPLIED_CAST
:
105 return get_base_type(expr
->cast_type
);
109 tmp
= get_type(expr
->left
);
110 if (!tmp
|| (tmp
->type
!= SYM_ARRAY
&& tmp
->type
!= SYM_PTR
))
112 return get_base_type(tmp
);
114 return get_return_type(expr
);
117 // sm_msg("unhandled type %d", expr->type);
124 int type_unsigned(struct symbol
*base_type
)
126 if (base_type
->ctype
.modifiers
& MOD_UNSIGNED
)
131 long long type_max(struct symbol
*base_type
)
133 long long ret
= whole_range
.max
;
136 if (!base_type
|| !base_type
->bit_size
)
138 bits
= base_type
->bit_size
;
141 if (!type_unsigned(base_type
))
147 long long type_min(struct symbol
*base_type
)
149 long long ret
= whole_range
.min
;
152 if (!base_type
|| !base_type
->bit_size
)
154 if (type_unsigned(base_type
))
156 ret
= whole_range
.max
;
157 bits
= base_type
->bit_size
- 1;