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@xxxxxxxxx> --- linearize.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/linearize.c b/linearize.c index 22cf0fdde..d7fb0b61a 100644 --- a/linearize.c +++ b/linearize.c @@ -1311,6 +1311,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; } -- 2.17.1 -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html