Merge remote-tracking branch 'tor-github/pr/1807/head'

This commit is contained in:
Nick Mathewson 2020-03-19 08:02:09 -04:00
commit 4f596b3edf
2 changed files with 8 additions and 0 deletions

View File

@ -115,7 +115,11 @@ test_new_route_len_unhandled_exit(void *arg)
(void)arg;
#ifdef ALL_BUGS_ARE_FATAL
/* Coverity (and maybe clang analyser) complain that the code following
* tt_skip() is unconditionally unreachable. */
#if !defined(__COVERITY__) && !defined(__clang_analyzer__)
tt_skip();
#endif
#endif
MOCK(count_acceptable_nodes, mock_count_acceptable_nodes);

View File

@ -4992,7 +4992,11 @@ test_dir_purpose_needs_anonymity_returns_true_by_default(void *arg)
(void)arg;
#ifdef ALL_BUGS_ARE_FATAL
/* Coverity (and maybe clang analyser) complain that the code following
* tt_skip() is unconditionally unreachable. */
#if !defined(__COVERITY__) && !defined(__clang_analyzer__)
tt_skip();
#endif
#endif
tor_capture_bugs_(1);