On Fri, Dec 09, 2022 at 03:57:32PM +0200, Eduard Zingerman wrote: > From: Kumar Kartikeya Dwivedi <memxor@xxxxxxxxx> > > Test that when reg->id is not same for the same register of type > PTR_TO_MAP_VALUE between current and old explored state, we currently > return false from regsafe and continue exploring. > > Without the fix in prior commit, the test case fails. > > Signed-off-by: Kumar Kartikeya Dwivedi <memxor@xxxxxxxxx> Nice set of fixes. Thanks. When you resend somebody else's patch please add your SOB. This time I did it while applying.
