diff options
Diffstat (limited to 'misc/valgrind-supp-extractor.c')
-rw-r--r-- | misc/valgrind-supp-extractor.c | 16 |
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; +} |