Re: [PATCH] extra: Fixed false output of handle_AND_op and handle_AND_condition

Dan Carpenter <[email protected]> Mon, 12 Jul 2021 10:30:06 +0300

Newsgroups	org.kernel.vger.smatch
Message-ID	<20210712073006.GA1954@kadam>

On Sun, Jul 11, 2021 at 02:20:47AM +0530, Harshvardhan Jha wrote:
> -	set_extra_expr_true_false(var,
> -				  true_rl ? alloc_estate_rl(true_rl) : NULL,
> -				  false_rl ? alloc_estate_rl(false_rl) : NULL);
> +
> +	sval.uvalue = 1ULL << (ffsll(known.uvalue) - 1);
> +	bits_expr = value_expr_sval(sval);
                    ^^^^^^^^^^^^^^^
Ugh.  Actually you forgot to send me this part of the patch so it doesn't
compile.  Please resend.

regards,
dan carpenter