diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-08-15 09:38:40 +0200 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-06-23 07:46:40 +0200 |
| commit | ff7f001bef9aa88ff951d61ec10772e7d2143180 (patch) | |
| tree | dc9f33aea66424b69f017843a24b096238493f0e /Documentation | |
| parent | 0d19a077e74ce523f05b64708517bd657721a68e (diff) | |
| download | sparse-dev-ff7f001bef9aa88ff951d61ec10772e7d2143180.tar.gz | |
cast: temporary simplify handling cast to/from void*
Currently pointer casts from/to void are treated as casts
to/from integer. The rationale being that a void pointer can't
anyway be dereferenced.
Allow to continue to do so by using a new 'machine type' for void
pointers which then allow to select the right type of cast:
OP_PTRCAST or OP_[S]CAST.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions