diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-04-08 23:00:50 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-05-19 05:35:01 +0200 |
| commit | ff3b6ef6bb18349e75700a23bb9176b895e34a6b (patch) | |
| tree | feb20e3ca2e5aeb47d03f50b4d6d53495104fee6 | |
| parent | b1672eab399fdce2c050e8aa07767489a2071981 (diff) | |
| download | sparse-dev-ff3b6ef6bb18349e75700a23bb9176b895e34a6b.tar.gz | |
remove alignment from struct access_data
In struct access_data, the field 'alignment' is always
the one present in 'result_type' and is thus completely
redundant.
Change this by removing this field.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
| -rw-r--r-- | linearize.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/linearize.c b/linearize.c index e8a1628b..c9e4a7a9 100644 --- a/linearize.c +++ b/linearize.c @@ -844,7 +844,7 @@ struct access_data { struct symbol *source_type; // source ctype pseudo_t address; // pseudo containing address .. pseudo_t origval; // pseudo for original value .. - unsigned int offset, alignment; // byte offset + unsigned int offset; // byte offset struct position pos; }; @@ -897,7 +897,6 @@ static int linearize_address_gen(struct entrypoint *ep, ad->pos = expr->pos; ad->result_type = ctype; ad->source_type = base_type(ctype); - ad->alignment = ctype->ctype.alignment; if (expr->type == EXPR_PREOP && expr->op == '*') return linearize_simple_address(ep, expr->unop, ad); |