From: Bart Van Assche <bvanassche@acm.org>
Date: Fri, 2 May 2008 19:21:02 +0000 (+0000)
Subject: Refined assert statements.
X-Git-Tag: svn/VALGRIND_3_4_0~644
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=502dbc9d0c0eaa5b707014c99b67b01be1d469d6;p=thirdparty%2Fvalgrind.git

Refined assert statements.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@7993
---

diff --git a/exp-drd/drd_clientreq.c b/exp-drd/drd_clientreq.c
index 053c14c511..8b86cde987 100644
--- a/exp-drd/drd_clientreq.c
+++ b/exp-drd/drd_clientreq.c
@@ -99,12 +99,12 @@ static Addr highest_used_stack_address(const ThreadId vg_tid)
     /* Paranoia ... */
     tl_assert(VG_(thread_get_stack_max)(vg_tid)
               - VG_(thread_get_stack_size)(vg_tid) <= VG_(get_SP)(vg_tid)
-              && VG_(get_SP)(vg_tid) <= VG_(thread_get_stack_max)(vg_tid));
+              && VG_(get_SP)(vg_tid) < VG_(thread_get_stack_max)(vg_tid));
 
     husa = (nframes >= 1 ? sps[nframes - 1] : VG_(get_SP)(vg_tid));
     tl_assert(VG_(thread_get_stack_max)(vg_tid)
               - VG_(thread_get_stack_size)(vg_tid) <= husa
-              && husa <= VG_(thread_get_stack_max)(vg_tid));
+              && husa < VG_(thread_get_stack_max)(vg_tid));
     return husa;
 }