summaryrefslogtreecommitdiffhomepage
path: root/ir/ir
diff options
context:
space:
mode:
authorAndreas Fried <andreas.fried@kit.edu>2017-09-21 09:31:31 +0200
committerAndreas Fried <andreas.fried@kit.edu>2018-11-28 15:01:50 +0100
commit2c78db76fcf133a65b885345cd0ad8c95de9d1cf (patch)
tree5abb2fc4d96211ba31cb740dbc6a8e109bcb7143 /ir/ir
parent87f3affe4d999c3e2019e109f2663c0aaea692e7 (diff)
Dump graphs when dumpfilter is a substring (not prefix) of the graph name.
This behaviour is already documented in the debug extension (http://pp.ipd.kit.edu/firm/Debug_Extension.html). It is also more useful when name mangling comes into play.
Diffstat (limited to 'ir/ir')
-rw-r--r--ir/ir/irdump.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/ir/ir/irdump.c b/ir/ir/irdump.c
index 804a438..1a4ab1f 100644
--- a/ir/ir/irdump.c
+++ b/ir/ir/irdump.c
@@ -203,10 +203,10 @@ const char *ir_get_dump_filter(void)
return dump_filter;
}
-/** Returns true if dump file filter is not set, or if it is a prefix of name. */
+/** Returns true if dump file filter is not set, or if it is a substring of name. */
static int ir_should_dump(const char *name)
{
- return !dump_filter || strstart(name, dump_filter);
+ return !dump_filter || strstr(name, dump_filter);
}
/* -------------- some extended helper functions ----------------- */