On Fri, Dec 8, 2017 at 1:16 AM, Luc Van Oostenryck
<luc.vanoostenryck@xxxxxxxxx> wrote:
> Expressions involving the logical-not '!' does not
> call degenerate().
>
> Since the result type is always 'int' and thus independent
> of the expression being negated, this has no effect on the
> type-checking but the linearization is wrong.
> For example, code like:
> int foo(void)
> {
> if (!arr) return 1;
> return 0;
> }
> generates:
> foo:
> load %r6 <- 0[arr]
> seteq.32 %r7 <- VOID, $0
> ret.32 %r7
> The 'load' being, obviously wrong.
>
> Fix this by adding the missing degenerate().
Good catch. This series looks good to me.
Chris
--
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
