diff options
| author | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2017-11-23 22:04:48 +0100 |
|---|---|---|
| committer | Luc Van Oostenryck <luc.vanoostenryck@gmail.com> | 2018-06-23 07:46:40 +0200 |
| commit | 5c189c40bb2c8fd7f5652f930ddb2869a1d1a9ff (patch) | |
| tree | 3cf6a60cd59d53e567e30c79023722cfaa59aa6e /linearize.c | |
| parent | 718af70ef6ba339007365016211b94d0b67e28ff (diff) | |
| download | sparse-dev-5c189c40bb2c8fd7f5652f930ddb2869a1d1a9ff.tar.gz | |
cast: do not try to linearize illegal casts
Also, do not warn about them because the warnings should
already have been given at evaluation time.
Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'linearize.c')
| -rw-r--r-- | linearize.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/linearize.c b/linearize.c index 755734b7..d1a079f4 100644 --- a/linearize.c +++ b/linearize.c @@ -1312,6 +1312,8 @@ static pseudo_t cast_pseudo(struct entrypoint *ep, pseudo_t src, struct symbol * warning(to->pos, "non size-preserving pointer to integer cast"); src = cast_pseudo(ep, src, from, size_t_ctype); return cast_pseudo(ep, src, size_t_ctype, to); + case OP_BADOP: + return VOID; default: break; } |