From: Julian Seward <jseward@acm.org>
Date: Fri, 16 Nov 2007 03:55:48 +0000 (+0000)
Subject: Rename a couple more UInts which really should be SVals.
X-Git-Tag: svn/VALGRIND_3_3_0~131
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bf6574af7cd8105440b9ec144588a5474d98c656;p=thirdparty%2Fvalgrind.git

Rename a couple more UInts which really should be SVals.


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

diff --git a/helgrind/hg_main.c b/helgrind/hg_main.c
index b9358c5391..3a7982119e 100644
--- a/helgrind/hg_main.c
+++ b/helgrind/hg_main.c
@@ -3818,7 +3818,7 @@ SVal* sequentialise_tree ( /*MOD*/SVal* dst, /*OUT*/Bool* anyShared,
 
 #  undef PUT
 
-   tl_assert( (((Char*)dst) - ((Char*)dst0)) == 8 * sizeof(UInt) );
+   tl_assert( (((Char*)dst) - ((Char*)dst0)) == 8 * sizeof(SVal) );
    return dst;
 }
 
@@ -3842,7 +3842,7 @@ Bool sequentialise_CacheLine ( /*OUT*/SVal* dst, Word nDst, CacheLine* src )
 
    /* Assert we wrote N_LINE_ARANGE shadow values. */
    tl_assert( ((HChar*)dst) - ((HChar*)dst0) 
-              == nDst * sizeof(UInt) );
+              == nDst * sizeof(SVal) );
 
    return anyShared;
 }