]> git.ipfire.org Git - thirdparty/systemd.git/commit
projects / thirdparty / systemd.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c8b53fc) | patch
uid-range: add asserts to document overflow safety in coalesce
authorLuca Boccassi <luca.boccassi@gmail.com>
Sat, 28 Mar 2026 19:55:35 +0000 (19:55 +0000)
committerLuca Boccassi <luca.boccassi@gmail.com>
Sat, 28 Mar 2026 19:56:31 +0000 (19:56 +0000)
commit1b7d2fa978d76a1caed7dc9e615e403a29ff6971
treed9625f30c5bb4c2c1368df56c895c56dd2a6800ftree | snapshot
parentc8b53fcfd3463679e6475e9b57b61a97dac1a287commit | diff
uid-range: add asserts to document overflow safety in coalesce

Coverity flags the x->start + x->nr and y->start + y->nr additions
as potential overflows. These are safe because uid_range_add_internal()
validates start + nr <= UINT32_MAX before inserting entries. Add asserts
to document this invariant for static analyzers.

CID#1548015

Follow-up for 8530dc4467691a893aa2e07319b18a84fec96cad
src/basic/uid-range.c diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.