torproject/tor
1
0
Fork 0
mirror of https://gitlab.torproject.org/tpo/core/tor.git synced 2024-12-06 19:41:15 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

Remove a now-obsolete comment about deadcode_dummy__

Browse Source
This commit is contained in:
Nick Mathewson
2018-07-30 09:09:10 -04:00
parent 70b16bc679
commit acb54dee7b
1 changed files with 0 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/lib/log/util_bug.h
-2
View File
@@ -89,8 +89,6 @@
#undef BUG
// Coverity defines this in global headers; let's override it. This is a
// magic coverity-only preprocessor thing.
// We use this "deadcode_dummy__" trick to prevent coverity from
// complaining about unreachable bug cases.
#nodef BUG(x) (x)
#endif /* defined(__COVERITY__) */