From 0e60d52cc7e261da11c37bd649511584d92a688b Mon Sep 17 00:00:00 2001
From: Zubin Duggal <zubin.duggal@gmail.com>
Date: Thu, 14 Dec 2023 15:58:13 +0530
Subject: [PATCH] rts: drop unused postString function
---
rts/eventlog/EventLog.c | 10 ----------
1 file changed, 10 deletions(-)
diff --git a/rts/eventlog/EventLog.c b/rts/eventlog/EventLog.c
index 1f7472b0fd73..eadd9969d4cb 100644
--- a/rts/eventlog/EventLog.c
+++ b/rts/eventlog/EventLog.c
@@ -198,16 +198,6 @@ static inline void postStringLen(EventsBuf *eb, const char *buf, StgWord len)
eb->pos++;
}
-/* Post a null-terminated string to the event log.
- * It is the caller's responsibility to ensure that there is
- * enough room for strlen(buf)+1 bytes.
- */
-static inline void postString(EventsBuf *eb, const char *buf)
-{
- const StgWord len = buf ? strlen(buf) : 0;
- postStringLen(eb, buf, len);
-}
-
static inline StgWord64 time_ns(void)
{ return TimeToNS(stat_getElapsedTime()); }
--
GitLab