| commit | 8cf8b43eb33c93c5cf23dbc192cb693bd6ffb154 | [log] [tgz] |
|---|---|---|
| author | Patrick Rohr <prohr@google.com> | Thu Apr 25 14:29:42 2024 -0700 |
| committer | Patrick Rohr <prohr@google.com> | Thu Apr 25 14:29:42 2024 -0700 |
| tree | 148e568f6a6dc8df5059c8e8e9d3271d9d674600 | |
| parent | 761e60191f9e3a66c747f662dba7a5aa58f9a967 [diff] |
maxImmSize is guaranteed to be larger than 0 Since sets are always of size > 1 and in range [0, uint32_max], max is guaranteed > 0, so maxImmSize can never be 0. Test: TH Change-Id: Ib4c3416f571e747a4e189a9e1134ce148da321d2