diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-04-06 21:51:15 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-05-19 05:35:01 +0200 |
| commit | 756f80a7153789c080695c5a1ef0a405339913b2 (patch) | |
| tree | 79772444e5f9776ce34b31c402d129821726c5f0 /validation/linear | |
| parent | e35efe330c6ae7d154197c29b127560d569016d0 (diff) | |
| download | sparse-dev-756f80a7153789c080695c5a1ef0a405339913b2.tar.gz | |
remove bit_size & bit_offset from struct access_data
In struct access_data, the fields: 'bit_offset', 'bit_size'
are always the ones corresponding to the 'result_type' and
are thus completely redundant.
Change this by removing these fields and directly using
the info from the 'result_type' field.
Note: the motivation for this change is the realization that the
initialization of bitfields are buggy because 'bit_size'
is never set for initializers. The bug could be solved by
initializing 'bit_size' & 'bit_offset' but it is much
simpler (and feel safer) to simply use the values from
'result_type'.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/linear')
0 files changed, 0 insertions, 0 deletions