Merge pull request #5189 from diffblue/string_comments

Daniel Kroening · web-flow · commit 49dbc61f7228 · 2019-11-15T10:35:21.000Z
C++20 replacements for has_suffix/has_prefix
diff --git a/src/util/prefix.h b/src/util/prefix.h
@@ -12,6 +12,8 @@ Author: Daniel Kroening, kroening@kroening.com
 
 #include <string>
 
+// C++20 will have std::string::starts_with
+
 inline bool has_prefix(const std::string &s, const std::string &prefix)
 {
   return s.compare(0, prefix.size(), prefix)==0;
diff --git a/src/util/suffix.h b/src/util/suffix.h
@@ -12,6 +12,8 @@ Author: Daniel Kroening, kroening@kroening.com
 
 #include <string>
 
+// C++20 will have std::string::ends_with
+
 inline bool has_suffix(const std::string &s, const std::string &suffix)
 {
   if(suffix.size()>s.size())

Original file line number	Diff line number	Diff line change
`@@ -12,6 +12,8 @@ Author: Daniel Kroening, [email protected]`
`12`	`12`
`13`	`13`	`#include <string>`
`14`	`14`
	`15`	`+// C++20 will have std::string::starts_with`
	`16`	`+`
`15`	`17`	`inline bool has_prefix(const std::string &s, const std::string &prefix)`
`16`	`18`	`{`
`17`	`19`	`return s.compare(0, prefix.size(), prefix)==0;`