Powered by Linux
Re: [PATCH] extra: Fixed false output of handle_AND_op and handle_AND_condition — Semantic Matching Tool

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

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



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




[Index of Archives]     [Linux USB Devel]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]     [Big List of Linux Books]

  Powered by Linux