Re: [PATCH] x86/xen: silence smatch warning in pmu_msr_chk_emulated()

[Juergen Gross]

On 20.10.22 15:16, Jan Beulich wrote:
> On 20.10.2022 13:37, Juergen Gross wrote:
> > Commit 8714f7bcd3c2 ("xen/pv: add fault recovery control to pmu msr
> > accesses") introduced code resulting in a warning issued by the smatch
> > static checker, claiming to use an uninitialized variable.
> >
> > This is a false positive, but work around the warning nevertheless.
>
> The risk of introducing a problem might be quite low here, but in general
> it exists: With the adjustment you remove any chance of the compiler
> spotting a missing initialization before use. And I'm not convinced using
> 0 in such a case would actually be ending up sufficiently benign.

Hmm, an alternative would be to initialize it to -1 and add a test for the
index to be >= 0 before using it.

Or to live with the smash warning with the chance, that a compiler might be
warning for the same reason in the future.


Juergen

Attachment: OpenPGP_0xB0DE9DD628BF132F.asc
Description: OpenPGP public key

Attachment: OpenPGP_signature
Description: OpenPGP digital signature