From 09bb6448ae221c09a00d1f4a9b45ce8535003319 Mon Sep 17 00:00:00 2001
From: Luca Boccassi <luca.boccassi@gmail.com>
Date: Sat, 28 Mar 2026 21:14:07 +0000
Subject: [PATCH] limits-util: add assert for physical memory calculation
 overflow

Coverity flags (uint64_t) sc * (uint64_t) ps as a potential
overflow. Add an assert to make the bounds explicit for static
analyzers.

CID#1548042

Follow-up for eefc66aa8f77c96a13a78d6c40c79ed7f3d6dc9d
---
 src/basic/limits-util.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/basic/limits-util.c b/src/basic/limits-util.c
index d48d67dbf77..02fbe92cc77 100644
--- a/src/basic/limits-util.c
+++ b/src/basic/limits-util.c
@@ -28,6 +28,8 @@ uint64_t physical_memory(void) {
         assert(sc > 0);
 
         ps = page_size();
+        /* Silence static analyzers */
+        assert((uint64_t) sc <= UINT64_MAX / (uint64_t) ps);
         mem = (uint64_t) sc * (uint64_t) ps;
 
         r = cg_get_root_path(&root);