summaryrefslogtreecommitdiff
path: root/pathd/path_pcep_debug.c
diff options
context:
space:
mode:
authorDavid Lamparter <equinox@opensourcerouting.org>2023-09-14 11:43:56 +0200
committerDavid Lamparter <equinox@opensourcerouting.org>2023-09-14 11:46:50 +0200
commit71510e531d8874f35d15460eb4c8a99d3ef31869 (patch)
tree7627cc083fa3f6767712dcf129db4b2b3a9432b9 /pathd/path_pcep_debug.c
parent75dbd45c5570c088dc0e2cf83e1b22b0ec0a30b3 (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