avm2: Implement VerifyError 1078

core/src/avm2/verify.rs

@@ -483,7 +483,7 @@ fn verify_block<'gc>(
             }
 
             // Ensure the global scope exists for these opcodes
-            Op::FindProperty { .. } | Op::FindPropStrict { .. } | Op::GetLex { .. } => {
+            Op::FindProperty { .. } | Op::FindPropStrict { .. } => {
                 // FP checks the scope that the function was defined in
                 // for freestanding functions. We can't do that easily,
                 // so just avoid this verification step for them.
@@ -525,6 +525,31 @@ fn verify_block<'gc>(
                 }
             }
 
+            Op::GetLex { index } => {
+                // See comment for FindProperty/FindPropStrict.
+                if !method.is_function {
+                    if body.init_scope_depth + current_scope_depth == 0 {
+                        return Err(Error::AvmError(verify_error(
+                            activation,
+                            "Error #1013: Cannot call OP_findproperty when scopeDepth is 0.",
+                            1013,
+                        )?));
+                    }
+                }
+
+                let multiname = method
+                    .translation_unit()
+                    .pool_maybe_uninitialized_multiname(*index, &mut activation.borrow_gc())?;
+
+                if multiname.has_lazy_component() {
+                    return Err(Error::AvmError(verify_error(
+                        activation,
+                        "Error #1078: Illegal opcode/multiname combination.",
+                        1078,
+                    )?));
+                }
+            }
+
             _ => {}
         }
         if let Some(end_idx) = end_idx {