Hi Julien, > -----Original Message----- > Subject: [PATCH] xen/dt: Rework the prototype of dt_property_read_string() > to help Eclair > > From: Julien Grall <jgr...@amazon.com> > > Eclair vXXX is unable to prove the parameter out_string will only be > used the return of dt_property_read_string() is 0. So it will consider > that MISRA C:2012 Rule 9.1 was violated. > > Rework the prototype so the string is returned and use ERR_PTR() to > embed the error code. > > Signed-off-by: Julien Grall <jgr...@amazon.com> > --- > The XXX should be replaced with the version of Eclair. Nicola, can you > provide it?
I am seeing some ongoing discussions about the commit message, but the code itself looks good to me, and I also tested this patch to make sure things are good, so: Reviewed-by: Henry Wang <henry.w...@arm.com> Tested-by: Henry Wang <henry.w...@arm.com> Kind regards, Henry