Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-07 00:58:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Flare: add [[noreturn]] to bad_pipe_op()

Browse source
This commit is contained in:
Max Kellermann 2020-02-21 20:42:08 +01:00
parent c9af57aff8
commit 3d44864c79
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/Flare.cc
View file

@ -13,6 +13,7 @@ Flare::Flare()
{ {
} }
[[noreturn]]
static void bad_pipe_op(const char* which, bool signal_safe) static void bad_pipe_op(const char* which, bool signal_safe)
{ {
if ( signal_safe ) if ( signal_safe )