Powered by Linux
Re: [PATCH 1/2] extra: Fix false output of handle_AND_op and handle_AND_condition — Semantic Matching Tool

Re: [PATCH 1/2] extra: Fix false output of handle_AND_op and handle_AND_condition

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

 



On Mon, Jul 12, 2021 at 06:09:46PM +0530, Harshvardhan Jha wrote:
> handle_AND_condition and handle_AND_op gave false outputs. This could be
> seen in the test case in validation/sm_bits1.c the expected output was
> 0x1 for possible and 0x0 for definitely set. However, in the previous
> state 0x0 was output for both possibly set and definitely set.
> 
> Signed-off-by: Harshvardhan Jha <harshvardhan.jha@xxxxxxxxxx>
> ---
>  smatch_expressions.c  | 10 ++++++
>  smatch_extra.c        | 72 +++++++++----------------------------------
>  validation/sm_bits1.c | 23 ++++++++++++++

We need the smatch_extra.h part as well.

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