diff options
| author | David Lamparter <equinox@opensourcerouting.org> | 2023-09-14 11:43:56 +0200 |
|---|---|---|
| committer | David Lamparter <equinox@opensourcerouting.org> | 2023-09-14 11:46:50 +0200 |
| commit | 71510e531d8874f35d15460eb4c8a99d3ef31869 (patch) | |
| tree | 7627cc083fa3f6767712dcf129db4b2b3a9432b9 /pathd/path_pcep_debug.c | |
| parent | 75dbd45c5570c088dc0e2cf83e1b22b0ec0a30b3 (diff) | |
lib: another attempt at Coverity false positives
Typesafe hash tables do this:
assume((tabshift) >= 2 && (tabshift) <= 33);
(val) >> (33 - (tabshift));
Sadly, Coverity currently ignores assume() and says:
[...] right shifting by more than 31 bits has undefined behavior.
The shift amount, "33 - h->hh.tabshift", is 33.
Let's see if Coverity understands this can't happen...
Signed-off-by: David Lamparter <equinox@opensourcerouting.org>
Diffstat (limited to 'pathd/path_pcep_debug.c')
0 files changed, 0 insertions, 0 deletions
