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