From 3d44864c79715f7d91d3d903df8b85c7a0468d2f Mon Sep 17 00:00:00 2001
From: Max Kellermann <max.kellermann@gmail.com>
Date: Fri, 21 Feb 2020 20:42:08 +0100
Subject: [PATCH] Flare: add [[noreturn]] to bad_pipe_op()

---
 src/Flare.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/Flare.cc b/src/Flare.cc
index 166917d914..9f00e99167 100644
--- a/src/Flare.cc
+++ b/src/Flare.cc
@@ -13,6 +13,7 @@ Flare::Flare()
 	{
 	}
 
+[[noreturn]]
 static void bad_pipe_op(const char* which, bool signal_safe)
 	{
 	if ( signal_safe )