* [PATCH] of: cpu: add check in __of_find_n_match_cpu_property()
@ 2026-04-29 20:14 Sergey Shtylyov
2026-05-06 19:51 ` Rob Herring (Arm)
0 siblings, 1 reply; 2+ messages in thread
From: Sergey Shtylyov @ 2026-04-29 20:14 UTC (permalink / raw)
To: devicetree, Rob Herring, Saravana Kannan; +Cc: Grant Likely, lvc-project
In __of_find_n_match_cpu_property(), checking the variable ac for 0 won't
prevent a possible overflow when multiplying it by sizeof(*cell). Besides,
of_read_number() (called in the *for* loop) can't return correct result if
that variable (which equals the #address-cells prop's value) exceeds 2, so
additionally checking for that seems logical...
Found by Linux Verification Center (linuxtesting.org) with the Svace static
analysis tool.
Fixes: f3cea45a77c8 ("of: Fix iteration bug over CPU reg properties")
Signed-off-by: Sergey Shtylyov <s.shtylyov@auroraos.dev>
---
The patch is against the dt/linus branch of Rob Herring's linux.git repo...
drivers/of/cpu.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/drivers/of/cpu.c b/drivers/of/cpu.c
index 5214dc3d05ae..bd0e918d6f29 100644
--- a/drivers/of/cpu.c
+++ b/drivers/of/cpu.c
@@ -60,7 +60,7 @@ static bool __of_find_n_match_cpu_property(struct device_node *cpun,
cell = of_get_property(cpun, prop_name, &prop_len);
if (!cell && !ac && arch_match_cpu_phys_id(cpu, 0))
return true;
- if (!cell || !ac)
+ if (!cell || !ac || ac > 2)
return false;
prop_len /= sizeof(*cell) * ac;
for (tid = 0; tid < prop_len; tid++) {
--
2.53.0
^ permalink raw reply related [flat|nested] 2+ messages in thread
* Re: [PATCH] of: cpu: add check in __of_find_n_match_cpu_property()
2026-04-29 20:14 [PATCH] of: cpu: add check in __of_find_n_match_cpu_property() Sergey Shtylyov
@ 2026-05-06 19:51 ` Rob Herring (Arm)
0 siblings, 0 replies; 2+ messages in thread
From: Rob Herring (Arm) @ 2026-05-06 19:51 UTC (permalink / raw)
To: Sergey Shtylyov; +Cc: Grant Likely, lvc-project, Saravana Kannan, devicetree
On Wed, 29 Apr 2026 23:14:39 +0300, Sergey Shtylyov wrote:
> In __of_find_n_match_cpu_property(), checking the variable ac for 0 won't
> prevent a possible overflow when multiplying it by sizeof(*cell). Besides,
> of_read_number() (called in the *for* loop) can't return correct result if
> that variable (which equals the #address-cells prop's value) exceeds 2, so
> additionally checking for that seems logical...
>
> Found by Linux Verification Center (linuxtesting.org) with the Svace static
> analysis tool.
>
> Fixes: f3cea45a77c8 ("of: Fix iteration bug over CPU reg properties")
> Signed-off-by: Sergey Shtylyov <s.shtylyov@auroraos.dev>
>
> ---
> The patch is against the dt/linus branch of Rob Herring's linux.git repo...
>
> drivers/of/cpu.c | 2 +-
> 1 file changed, 1 insertion(+), 1 deletion(-)
>
Applied, thanks!
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2026-05-06 19:51 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2026-04-29 20:14 [PATCH] of: cpu: add check in __of_find_n_match_cpu_property() Sergey Shtylyov
2026-05-06 19:51 ` Rob Herring (Arm)
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox