ignore_protected feature

.github/workflows/slang.yml

@@ -12,7 +12,7 @@ jobs:
     steps:
       - name: Download Slang Release
         run: |
-          curl -L -o source.tar.gz "https://github.com/MikePopoloski/slang/archive/refs/tags/v6.0.tar.gz"
+          curl -L -o source.tar.gz "https://github.com/MikePopoloski/slang/archive/refs/tags/v7.0.tar.gz"
 
       - name: Extract Tarball
         run: |
@@ -46,16 +46,16 @@ jobs:
           dnf install -y python3 python3-devel
           dnf install -y gcc openssl-devel libffi-devel make cmake curl git
 
-      - name: Install Clang-17
+      - name: Install Clang-18
         run: |
           dnf install -y llvm-toolset
 
       - name: Note Clang version
-        run: clang-17 --version
+        run: clang-18 --version
 
       - name: Download Slang Release
         run: |
-          curl -L -o source.tar.gz "https://github.com/MikePopoloski/slang/archive/refs/tags/v6.0.tar.gz"
+          curl -L -o source.tar.gz "https://github.com/MikePopoloski/slang/archive/refs/tags/v7.0.tar.gz"
 
       - name: Extract Tarball
         run: |
@@ -65,8 +65,8 @@ jobs:
       - name: Build Slang
         working-directory: source
         run: |
-          CC=clang-17 CXX=clang++-17 cmake -B build
-          CC=clang-17 CXX=clang++-17 cmake --build build -j8
+          CC=clang-18 CXX=clang++-18 cmake -B build
+          CC=clang-18 CXX=clang++-18 cmake --build build -j8
 
       - name: Upload Binary Artifact
         uses: actions/upload-artifact@v4

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "slang-rs"
-version = "0.12.0"
+version = "0.13.0"
 edition = "2021"
 license = "Apache-2.0"
 description = "Rust bindings for the Slang Verilog parser"

src/lib.rs

@@ -18,6 +18,7 @@ pub struct SlangConfig<'a> {
     pub libdirs: &'a [&'a str],
     pub libexts: &'a [&'a str],
     pub ignore_unknown_modules: bool,
+    pub ignore_protected: bool,
     pub timescale: Option<&'a str>,
 }
 
@@ -33,6 +34,7 @@ impl<'a> Default for SlangConfig<'a> {
             libdirs: &[],
             libexts: &[],
             ignore_unknown_modules: true,
+            ignore_protected: true,
             timescale: None,
         }
     }
@@ -45,6 +47,32 @@ fn find_slang() -> Option<String> {
         .map(|p| p.to_string_lossy().to_string())
 }
 
+/// Adds options needed to make slang ignore protected envelopes.
+fn push_options_to_ignore_protected(args: &mut Vec<&str>) {
+    let options = vec![
+        "--enable-legacy-protect",
+        "-Wno-protected-envelope",
+        "-Wno-expected-protect-arg",
+        "-Wno-expected-protect-keyword",
+        "-Wno-extra-protect-end",
+        "-Wno-invalid-encoding-byte",
+        "-Wno-invalid-pragma-number",
+        "-Wno-invalid-pragma-viewport",
+        "-Wno-nested-protect-begin",
+        "-Wno-protect-arglist",
+        "-Wno-protect-encoding-bytes",
+        "-Wno-protected-envelope",
+        "-Wno-raw-protect-eof",
+        "-Wno-unknown-protect-encoding",
+        "-Wno-unknown-protect-keyword",
+        "-Wno-unknown-protect-option",
+    ];
+
+    for option in options {
+        args.push(option);
+    }
+}
+
 pub fn run_slang(cfg: &SlangConfig) -> Result<Value, Box<dyn std::error::Error>> {
     // Run the slang binary, dumping JSON to tmp_json.
 
@@ -69,6 +97,10 @@ pub fn run_slang(cfg: &SlangConfig) -> Result<Value, Box<dyn std::error::Error>>
         args.push("--ignore-unknown-modules");
     }
 
+    if cfg.ignore_protected {
+        push_options_to_ignore_protected(&mut args);
+    }
+
     let param_args: Vec<String> = cfg
         .parameters
         .iter()

tests/test.rs

@@ -717,4 +717,62 @@ endmodule
             }]
         );
     }
+
+    #[test]
+    fn test_protected() {
+        let verilog = str2tmpfile(
+            "
+        module foo(
+            input a
+        );
+            `protected
+            asdf
+            `endprotected
+        endmodule",
+        )
+        .unwrap();
+
+        let cfg = SlangConfig {
+            sources: &[verilog.path().to_str().unwrap()],
+            ..Default::default()
+        };
+
+        let definitions = extract_ports(&cfg, false);
+        assert_eq!(
+            definitions["foo"],
+            vec![Port {
+                dir: PortDir::Input,
+                name: "a".to_string(),
+                ty: Type::Logic {
+                    signed: false,
+                    packed_dimensions: vec![],
+                    unpacked_dimensions: vec![],
+                },
+            }]
+        );
+    }
+
+    #[test]
+    #[should_panic(expected = "unknown macro")]
+    fn test_protected_panic() {
+        let verilog = str2tmpfile(
+            "
+        module foo(
+            input a
+        );
+            `protected
+            asdf
+            `endprotected
+        endmodule",
+        )
+        .unwrap();
+
+        let cfg = SlangConfig {
+            sources: &[verilog.path().to_str().unwrap()],
+            ignore_protected: false,
+            ..Default::default()
+        };
+
+        extract_ports(&cfg, false);
+    }
 }