From 132f90b17f2207c86aa3d9f94314d972c9b71074 Mon Sep 17 00:00:00 2001
From: Alessio Quaglino <quaglino@google.com>
Date: Wed, 6 Aug 2025 10:18:08 -0700
Subject: [PATCH] Validate `mjs_setFrame` `dest` parameter and raise an error
 if null.

PiperOrigin-RevId: 791742890
Change-Id: I926e6dfb08aa66fac2816b805e156074c37dce99
---
 src/user/user_api.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/user/user_api.cc b/src/user/user_api.cc
index 73db82d8..23f56ec1 100644
--- a/src/user/user_api.cc
+++ b/src/user/user_api.cc
@@ -1136,7 +1136,7 @@ mjsFrame* mjs_findFrame(mjSpec* s, const char* name) {
 
 // set frame
 int mjs_setFrame(mjsElement* dest, mjsFrame* frame) {
-  if (!frame) {
+  if (!frame || !dest) {
     return -1;
   }
   mjCFrame* frameC = static_cast<mjCFrame*>(frame->element);