On Mon, Jul 12, 2021 at 06:24:27PM +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_extra.c | 72 +++++++++---------------------------------- > smatch_extra.h | 1 + > validation/sm_bits1.c | 23 ++++++++++++++ We've got the .h now but not the smatch_expressions.c file. ;) regards, dan carpenter
