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

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 <[email protected]>
> ---
>  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