Sanitize RegexSet input so alternation is properly handled (#1756)

* tests: Avoid using globs as regexes

* Sanitize regex set input to properly handle alternation

* Add test case for alternates/anchors interaction

* emit warning if wildcard pattern is used

* update changelog and bump versions

Co-authored-by: Darren Kulp <[email protected]>
Co-authored-by: Christian Poveda <[email protected]>

Author: 3 people

CHANGELOG.md

@@ -151,6 +151,9 @@
 
 ## Changed
 
+ * Regex inputs are sanitized so alternation (`a|b`) is handled correctly but
+   wildcard patterns (`*`) are now considered invalid.
+
 ## Removed
 
 ## Fixed

Cargo.lock

@@ -11,7 +11,7 @@ readme = "../README.md"
 repository = "https://github.com/rust-lang/rust-bindgen"
 documentation = "https://docs.rs/bindgen"
 homepage = "https://rust-lang.github.io/rust-bindgen/"
-version = "0.61.0"
+version = "0.62.0"
 edition = "2018"
 # If you change this, also update README.md and msrv in .github/workflows/bindgen.yml
 rust-version = "1.57.0"

bindgen-cli/Cargo.toml

@@ -1,4 +1,4 @@
-// bindgen-flags: --opaque-type "*"
+// bindgen-flags: --opaque-type ".*"
 
 template <int> class a {
   union {};

bindgen-tests/tests/expectations/tests/whitelist-alternates.rs

@@ -1,4 +1,4 @@
-// bindgen-flags: --opaque-type "*"
+// bindgen-flags: --opaque-type ".*"
 
 union a;
-struct b;
+struct b;

bindgen-tests/tests/headers/empty-union.hpp

@@ -1,4 +1,4 @@
-// bindgen-flags: --rustified-enum * --with-derive-ord
+// bindgen-flags: --rustified-enum ".*" --with-derive-ord
 
 enum A {
 	A0 = 0,
@@ -12,4 +12,4 @@ enum B {
 	B1 = B0 + 3,
 	B2 = B0 + 2,
 	B3 = B0 - 2,
-};
+};

bindgen-tests/tests/headers/forward_declared_opaque.h

@@ -0,0 +1,8 @@
+// bindgen-flags: --whitelist-type 'Whitelisted.*|Allow.*'
+// Test for changes introduced in #1756
+
+struct WhitelistedType {};
+struct AllowType {};
+// this would have been accepted because the start anchor
+// wouldn't be applied to the second alternative:
+struct NoAllowType {};

bindgen-tests/tests/headers/ord-enum.h

@@ -14,7 +14,7 @@ readme = "../README.md"
 repository = "https://github.com/rust-lang/rust-bindgen"
 documentation = "https://docs.rs/bindgen"
 homepage = "https://rust-lang.github.io/rust-bindgen/"
-version = "0.61.0"
+version = "0.62.0"
 edition = "2018"
 build = "build.rs"
 # If you change this, also update README.md and msrv in .github/workflows/bindgen.yml

bindgen-tests/tests/headers/whitelist-alternates.h

@@ -26,7 +26,11 @@ impl RegexSet {
     where
         S: AsRef<str>,
     {
-        self.items.push(string.as_ref().to_owned());
+        let string = string.as_ref().to_owned();
+        if string == "*" {
+            warn!("using wildcard patterns (`*`) is no longer considered valid. Use `.*` instead");
+        }
+        self.items.push(string);
         self.matched.push(Cell::new(false));
         self.set = None;
     }
@@ -53,7 +57,7 @@ impl RegexSet {
     /// Must be called before calling `matches()`, or it will always return
     /// false.
     pub fn build(&mut self, record_matches: bool) {
-        let items = self.items.iter().map(|item| format!("^{}$", item));
+        let items = self.items.iter().map(|item| format!("^({})$", item));
         self.record_matches = record_matches;
         self.set = match RxSet::new(items) {
             Ok(x) => Some(x),