output_buffer: converted ob_is_empty() to inline

The function ob_is_empty() is called very often.  It's worth it to
convert it to an inline function.

2 files changed, 4 insertions, 6 deletions

diff --git a/src/outputBuffer.c b/src/outputBuffer.c
index 5a397ac42..88191fd18 100644
--- a/src/outputBuffer.c
+++ b/src/outputBuffer.c
@@ -101,11 +101,6 @@ void ob_set_lazy(bool lazy)
 	ob.lazy = lazy;
 }
 
-int ob_is_empty(void)
-{
-	return ob.begin == ob.end;
-}
-
 void ob_shift(void)
 {
 	assert(ob.begin != ob.end);
diff --git a/src/outputBuffer.h b/src/outputBuffer.h
index e1878196e..53c3893c9 100644
--- a/src/outputBuffer.h
+++ b/src/outputBuffer.h
@@ -78,7 +78,10 @@ void ob_flush(void);
 void ob_set_lazy(bool lazy);
 
 /** is the buffer empty? */
-int ob_is_empty(void);
+static inline bool ob_is_empty(void)
+{
+	return ob.begin == ob.end;
+}
 
 void ob_shift(void);