diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-06-22 17:25:39 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-06-29 23:19:40 +0200 |
| commit | 3ad464ff247aa6c5039c9567960787d578c99462 (patch) | |
| tree | bb15543e6cd439e3cb7f029943df1b692e6eb1de /linearize.c | |
| parent | e46af66b3c2b1cb32c6394ac5e6c7ce632d905a9 (diff) | |
| download | sparse-dev-3ad464ff247aa6c5039c9567960787d578c99462.tar.gz | |
cast: optimize away casts to/from pointers
Now that all casts to or from a pointer are between a pointer
and a pointer-sized unsigned integer, from an optimization
PoV, they are all no-ops.
So, optimize them away at simplification time.
Note: casts between pointers (OP_PTRCAST) should also be
optimized away but the original type is used for a
number a things (for example in check_access()) and
can't be optimized away so simply (yet).
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'linearize.c')
0 files changed, 0 insertions, 0 deletions