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
