Subzero: Allow overriding command-line args from the browser.

src/IceRangeSpec.h

Index: src/IceRangeSpec.h
diff --git a/src/IceRangeSpec.h b/src/IceRangeSpec.h
index cdd9c35738794b69bf7699beccd2275088fdf655..244fe4ac9e70385ceb2a6ad70fc8b078c6bf5948 100644
--- a/src/IceRangeSpec.h
+++ b/src/IceRangeSpec.h
@@ -59,6 +59,12 @@ public:
   // matching on function name works correctly.  Note that this is not
   // thread-safe, so we count on all this being handled by the startup thread.
   static bool hasNames() { return HasNames; }
+  // Helper function to tokenize a string into a vector of string tokens, given
+  // a single delimiter character.  An empty string produces an empty token
+  // vector.  Zero-length tokens are allowed, e.g. ",a,,,b," may tokenize to
+  // {"","a","","","b",""}.
+  static std::vector<std::string> tokenize(const std::string &Spec,
+                                           char Delimiter);
 
 private:
   void include(const std::string &Token);