Blame valgrind-3.7.0-capget.patch
|
Jakub Jelinek |
81c97a |
--- valgrind-3.7.0/coregrind/m_syswrap/syswrap-linux.c.jj 2010-04-07 08:14:12.000000000 -0400
|
|
Jakub Jelinek |
81c97a |
+++ valgrind-3.7.0/coregrind/m_syswrap/syswrap-linux.c 2010-04-12 07:24:12.838876000 -0400
|
|
Jakub Jelinek |
7d17c1 |
@@ -1955,8 +1955,9 @@ PRE(sys_capget)
|
|
Jakub Jelinek |
7d17c1 |
vki_cap_user_header_t, header, vki_cap_user_data_t, data);
|
|
Jakub Jelinek |
7d17c1 |
PRE_MEM_READ( "capget(header)", ARG1,
|
|
Jakub Jelinek |
7d17c1 |
sizeof(struct __vki_user_cap_header_struct) );
|
|
Jakub Jelinek |
7d17c1 |
- PRE_MEM_WRITE( "capget(data)", ARG2,
|
|
Jakub Jelinek |
7d17c1 |
- sizeof(struct __vki_user_cap_data_struct) );
|
|
Jakub Jelinek |
7d17c1 |
+ if (ARG2 != (Addr)NULL)
|
|
Jakub Jelinek |
7d17c1 |
+ PRE_MEM_WRITE( "capget(data)", ARG2,
|
|
Jakub Jelinek |
7d17c1 |
+ sizeof(struct __vki_user_cap_data_struct) );
|
|
Jakub Jelinek |
7d17c1 |
}
|
|
Jakub Jelinek |
7d17c1 |
POST(sys_capget)
|
|
Jakub Jelinek |
7d17c1 |
{
|