diff options
Diffstat (limited to 'src/plugin.cpp')
| -rw-r--r-- | src/plugin.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/plugin.cpp b/src/plugin.cpp index a4f7b66..27b6d18 100644 --- a/src/plugin.cpp +++ b/src/plugin.cpp @@ -39,6 +39,7 @@ struct Node; Command command = Command::DetectNullPointers; std::map<tree, Node*> foundNodesMap; std::map<Node*, Node*> updateNodesMap; +std::string dumpFile; // copy/paste from plugin.h look like again guard header issue. extern void register_attribute (const struct attribute_spec *attr); @@ -139,6 +140,10 @@ int plugin_init (struct plugin_name_args *plugin_info, return 0; } } + if (!strcmp (argv[f].key, "specialdump")) + { + dumpFile = argv[f].value; + } } register_callback(plugin_info->base_name, |