diff options
author | Nick Mathewson <nickm@torproject.org> | 2017-07-28 10:02:38 -0400 |
---|---|---|
committer | Nick Mathewson <nickm@torproject.org> | 2017-07-28 10:02:38 -0400 |
commit | 602c52cad486516defc9d5ed375effd74cfe4529 (patch) | |
tree | cb832219a39e6cc84067512fd7493faf44dee307 /changes | |
parent | 5f0fa480dd94f4fec7b8b026dbd0a524f7b9c786 (diff) | |
download | tor-602c52cad486516defc9d5ed375effd74cfe4529.tar.gz tor-602c52cad486516defc9d5ed375effd74cfe4529.zip |
Coverity deadcode shenanigans on BUG() macro.
We don't actually want Coverity to complain when a BUG() check can
never fail, since such checks can prevent us from introducing bugs
later on.
Closes ticket 23054. Closes CID 1415720, 1415724.
Diffstat (limited to 'changes')
-rw-r--r-- | changes/bug23054 | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/changes/bug23054 b/changes/bug23054 new file mode 100644 index 0000000000..39006cd807 --- /dev/null +++ b/changes/bug23054 @@ -0,0 +1,4 @@ + o Minor features (static analysis): + - The BUG() macro has been changed slightly so that Coverity no + longer complains about dead code if the bug is impossible. Closes + ticket 23054. |