]> git.ipfire.org Git - thirdparty/valgrind.git/commitdiff
Merge r7399 (fix for #157665: valgrind fails on shmdt(0) after shmat
authorJulian Seward <jseward@acm.org>
Wed, 14 May 2008 12:40:15 +0000 (12:40 +0000)
committerJulian Seward <jseward@acm.org>
Wed, 14 May 2008 12:40:15 +0000 (12:40 +0000)
to 0)

git-svn-id: svn://svn.valgrind.org/valgrind/branches/VALGRIND_3_3_BRANCH@8083

coregrind/m_syswrap/syswrap-ppc32-linux.c
coregrind/m_syswrap/syswrap-ppc64-linux.c
coregrind/m_syswrap/syswrap-x86-linux.c

index 41c3612144e503edff64fdb27d792c843d4a55f4..af80c110dc3da7f680d4f2f67fd3050cdac26ade 100644 (file)
@@ -887,9 +887,7 @@ POST(sys_ipc)
       POST_MEM_WRITE( ARG4, sizeof( Addr ) );
 
       addr = deref_Addr ( tid, ARG4, "shmat(addr)" );
-      if ( addr > 0 ) {
-       ML_(generic_POST_sys_shmat)( tid, addr, ARG2, ARG5, ARG3 );
-      }
+      ML_(generic_POST_sys_shmat)( tid, addr, ARG2, ARG5, ARG3 );
       break;
     }
   case VKI_SHMDT:
index 8a05659a34a7e74253c613de7a387cf4ac4e9db5..04ce86e48ca3dcfe17dc4e032710aae75d6cbe5a 100644 (file)
@@ -901,9 +901,7 @@ POST(sys_ipc)
       POST_MEM_WRITE( ARG4, sizeof( Addr ) );
 
       addr = deref_Addr ( tid, ARG4, "shmat(addr)" );
-      if ( addr > 0 ) {
-       ML_(generic_POST_sys_shmat)( tid, addr, ARG2, ARG5, ARG3 );
-      }
+      ML_(generic_POST_sys_shmat)( tid, addr, ARG2, ARG5, ARG3 );
       break;
     }
   case VKI_SHMDT:
index 6dd5d4b8fb1dabd69735efdf48d9359e6df71ccf..24fa29f2fe82d22f805aa261cc60be0c487e4b43 100644 (file)
@@ -1278,9 +1278,7 @@ POST(sys_ipc)
       POST_MEM_WRITE( ARG4, sizeof( Addr ) );
 
       addr = deref_Addr ( tid, ARG4, "shmat(addr)" );
-      if ( addr > 0 ) { 
-         ML_(generic_POST_sys_shmat)( tid, addr, ARG2, ARG5, ARG3 );
-      }
+      ML_(generic_POST_sys_shmat)( tid, addr, ARG2, ARG5, ARG3 );
       break;
    }
    case VKI_SHMDT: