validate: check global var type to be in range

2026-04-22 03:02:01 -04:00 · 2022-01-13 14:27:39 -05:00
parent a4ea9ce68d
commit c9f52bd651
1 changed files with 4 additions and 1 deletions
--- a/src/valid/interface.rs
+++ b/src/valid/interface.rs
@@ -332,7 +332,10 @@ impl super::Validator {
        use super::TypeFlags;

        log::debug!("var {:?}", var);
-        let type_info = &self.types[var.ty.index()];
+        let type_info = self
+            .types
+            .get(var.ty.index())
+            .ok_or(GlobalVariableError::InvalidType)?;

        let (required_type_flags, is_resource) = match var.class {
            crate::StorageClass::Function => return Err(GlobalVariableError::InvalidUsage),