From: Paul Floyd <pjfloyd@wanadoo.fr>
Date: Sat, 6 Dec 2025 10:09:19 +0000 (+0100)
Subject: Darwin client stack: add an assert to check the stringtable doesn't get overwritten
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=ec228db38313830d374edf1519d314c88a51b98e;p=thirdparty%2Fvalgrind.git

Darwin client stack: add an assert to check the stringtable doesn't get overwritten

As per the previous change for FreeBSD.
---

diff --git a/coregrind/m_initimg/initimg-darwin.c b/coregrind/m_initimg/initimg-darwin.c
index 0befeaef3..d4257c954 100644
--- a/coregrind/m_initimg/initimg-darwin.c
+++ b/coregrind/m_initimg/initimg-darwin.c
@@ -453,6 +453,8 @@ Addr setup_client_stack( void*  init_sp,
 
    vg_assert((strtab-stringbase) == stringsize);
 
+   vg_assert((HChar*)ptr <= stringbase);
+
    if (VG_(resolved_exename) == NULL) {
       const HChar *exe_name = VG_(find_executable)(VG_(args_the_exename));
       HChar interp_name[VKI_PATH_MAX];