slicer: add function slicer criterion

This criterion marks all instructions of a given function
as slicer starting point. This is useful when the slicing does
not aim at properties, but path that hit a certain function.

Author: Petr Bauch

src/goto-instrument/full_slicer_class.h

@@ -113,6 +113,23 @@ class assert_criteriont:public slicing_criteriont
   }
 };
 
+class in_function_criteriont : public slicing_criteriont
+{
+public:
+  explicit in_function_criteriont(const std::string &function_name)
+    : target_function(function_name)
+  {
+  }
+
+  virtual bool operator()(goto_programt::const_targett target)
+  {
+    return target->function == target_function;
+  }
+
+protected:
+  const irep_idt target_function;
+};
+
 class properties_criteriont:public slicing_criteriont
 {
 public: