1 files changed, 16 insertions, 0 deletions
diff --git a/misc/valgrind-supp-extractor.c b/misc/valgrind-supp-extractor.c
new file mode 100644
index 0000000..0b56a91
--- /dev/null
+++ b/misc/valgrind-supp-extractor.c
@@ -0,0 +1,16 @@
+#include <stdio.h>
+int main (int argc, char ** argv) {
+	char c = fgetc(stdin);
+	int s = 0; /* 0: not in supp, 1: in supp */
+	while (!feof(stdin)) {
+		if (c == '}')
+			s = 0;
+		if (s)
+			fputc(c, stdout);
+		if (c == '{')
+			s = 1;
+		c = fgetc(stdin);
+	}
+	fflush(stdout);
+	return 0;
+}