From 19781b60a15743a4e8bcc9a655eba9fd550d3cad Mon Sep 17 00:00:00 2001
From: Yuval Tassa <tassa@google.com>
Date: Fri, 8 Aug 2025 05:59:20 -0700
Subject: [PATCH] Fix a gcc-related compilation error.

PiperOrigin-RevId: 792592986
Change-Id: I6bd49d3c739a58f9b611fe24594bd3f11e757c5b
---
 src/user/user_objects.cc | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/user/user_objects.cc b/src/user/user_objects.cc
index b80ab60c..41ddf99f 100644
--- a/src/user/user_objects.cc
+++ b/src/user/user_objects.cc
@@ -6876,6 +6876,8 @@ mjtDataType sensorDatatype(mjtSensor type) {
   case mjSENS_USER:
     return mjDATATYPE_REAL;
   }
+
+  return mjDATATYPE_REAL;  // all cases are covered but GCC is extra persnickety
 }
 
 // return sensor needstage
@@ -6936,6 +6938,8 @@ mjtStage sensorNeedstage(mjtSensor type) {
   case mjSENS_USER:
     return mjSTAGE_POS;
   }
+
+  return mjSTAGE_POS;  // all cases are covered but GCC is extra persnickety
 }
 
 // compiler