On Fri, 20 Dec 2024, Dmitry Kandybka wrote:
> In pmc_core_ltr_show(), promote 'val' to 'u64' to avoid possible integer
> overflow. Values (10 bit) are multiplied by the scale, the result of
> expression is in a range from 1 to 34,326,183,936 which is bigger then
> UINT32_MAX. Compile tested only.
>
> Found by Linux Verification Center (linuxtesting.org) with SVACE.
>
> Signed-off-by: Dmitry Kandybka <d.kandybka@xxxxxxxxx>
> ---
> drivers/platform/x86/intel/pmc/core.c | 4 ++--
> 1 file changed, 2 insertions(+), 2 deletions(-)
>
> diff --git a/drivers/platform/x86/intel/pmc/core.c b/drivers/platform/x86/intel/pmc/core.c
> index 3e7f99ac8c94..f06ba9636b03 100644
> --- a/drivers/platform/x86/intel/pmc/core.c
> +++ b/drivers/platform/x86/intel/pmc/core.c
> @@ -660,12 +660,12 @@ static int pmc_core_ltr_show(struct seq_file *s, void *unused)
> if (FIELD_GET(LTR_REQ_NONSNOOP, ltr_raw_data)) {
> scale = FIELD_GET(LTR_DECODED_SCALE, nonsnoop_ltr);
> val = FIELD_GET(LTR_DECODED_VAL, nonsnoop_ltr);
> - decoded_non_snoop_ltr = val * convert_ltr_scale(scale);
> + decoded_non_snoop_ltr = (u64)val * convert_ltr_scale(scale);
> }
> if (FIELD_GET(LTR_REQ_SNOOP, ltr_raw_data)) {
> scale = FIELD_GET(LTR_DECODED_SCALE, snoop_ltr);
> val = FIELD_GET(LTR_DECODED_VAL, snoop_ltr);
> - decoded_snoop_ltr = val * convert_ltr_scale(scale);
> + decoded_snoop_ltr = (u64)val * convert_ltr_scale(scale);
Please change val to u64 instead so casting won't be necessary.
--
i.
