Re: [Xen-devel] [PATCH v3 1/4] xen/arm: initialize target

[Julien Grall <julien.grall@xxxxxxx>]

Hi Stefano,

On 06/11/2018 22:05, Stefano Stabellini wrote:
> Initialize variable target before passing it as a parameter.
> It makes the code a bit nicer and it is a safety certification
> requirement.
>
> M3CM Rule-9.1: The value of an object with automatic storage duration
> shall not be read before it has been set
>
> QAVerify: 2972
> Signed-off-by: Stefano Stabellini <stefanos@xxxxxxxxxx>
Acked-by: Julien Grall <julien.grall@xxxxxxx>

Cheers,

--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel