[tor/master] Remove a now-obsolete comment about deadcode_dummy__

30 Jul
2018
30 Jul
'18
1:09 p.m.
commit acb54dee7bd247ae2d631de5a0d63d246574d479 Author: Nick Mathewson <nickm@torproject.org> Date: Mon Jul 30 09:09:10 2018 -0400 Remove a now-obsolete comment about deadcode_dummy__ --- src/lib/log/util_bug.h | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/lib/log/util_bug.h b/src/lib/log/util_bug.h index 2ef5be8d3..44a4f8381 100644 --- a/src/lib/log/util_bug.h +++ b/src/lib/log/util_bug.h @@ -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__) */
2535
Age (days ago)
2535
Last active (days ago)
0 comments
1 participants
participants (1)
-
nickm@torproject.org