From: Philippe Waroquiers <philippe.waroquiers@skynet.be>
Date: Sun, 10 Jun 2012 12:26:26 +0000 (+0000)
Subject: Avoid unused warning for ptrace_write_memory in vgdb.c (only used on some platforms)
X-Git-Tag: svn/VALGRIND_3_8_0~238
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=66becf2eecd3ed7b94e44c697145fbb2b37973ba;p=thirdparty%2Fvalgrind.git

Avoid unused warning for ptrace_write_memory in vgdb.c (only used on some platforms)


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

diff --git a/coregrind/vgdb.c b/coregrind/vgdb.c
index c0f1d815f0..8a4f58a14d 100644
--- a/coregrind/vgdb.c
+++ b/coregrind/vgdb.c
@@ -343,7 +343,7 @@ int ptrace_read_memory (pid_t inferior_pid, CORE_ADDR memaddr,
    to inferior's memory at MEMADDR.
    On failure (cannot write the inferior)
    returns the value of errno.  */
-
+__attribute__((unused)) /* not used on all platforms */
 static
 int ptrace_write_memory (pid_t inferior_pid, CORE_ADDR memaddr, 
                          const unsigned char *myaddr, int len)