[Valgrind-developers] [valgrind] Darwin client stack: add an assert to check the stringtable doesn't get overwritten

[Paul F. <pa...@so...>]

https://sourceware.org/cgit/valgrind/commit/?id=ec228db38313830d374edf1519d314c88a51b98e

commit ec228db38313830d374edf1519d314c88a51b98e
Author: Paul Floyd <pj...@wa...>
Date:   Sat Dec 6 11:09:19 2025 +0100

    Darwin client stack: add an assert to check the stringtable doesn't get overwritten
    
    As per the previous change for FreeBSD.

Diff:
---
 coregrind/m_initimg/initimg-darwin.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/coregrind/m_initimg/initimg-darwin.c b/coregrind/m_initimg/initimg-darwin.c
index 0befeaef39..d4257c9544 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];