Hi Julien,

> -----Original Message-----
> Subject: [PATCH] xen/dt: Rework the prototype of dt_property_read_string()
> to help Eclair
> 
> From: Julien Grall <[email protected]>
> 
> 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 <[email protected]>
> ---
> 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 <[email protected]>
Tested-by: Henry Wang <[email protected]>

Kind regards,
Henry


Reply via email to