Remove CHECK_N and bp-checks.h.
authorJoseph Myers <joseph@codesourcery.com>
Fri, 8 Feb 2013 20:06:30 +0000 (20:06 +0000)
committerJoseph Myers <joseph@codesourcery.com>
Fri, 8 Feb 2013 20:06:30 +0000 (20:06 +0000)
46 files changed:
ChangeLog
debug/segfault.c
ports/ChangeLog.alpha
ports/ChangeLog.arm
ports/ChangeLog.mips
ports/sysdeps/unix/sysv/linux/alpha/fdatasync.c
ports/sysdeps/unix/sysv/linux/alpha/gethostname.c
ports/sysdeps/unix/sysv/linux/arm/pread.c
ports/sysdeps/unix/sysv/linux/arm/pread64.c
ports/sysdeps/unix/sysv/linux/arm/pwrite.c
ports/sysdeps/unix/sysv/linux/arm/pwrite64.c
ports/sysdeps/unix/sysv/linux/mips/mips64/fxstat64.c
ports/sysdeps/unix/sysv/linux/mips/pread.c
ports/sysdeps/unix/sysv/linux/mips/pread64.c
ports/sysdeps/unix/sysv/linux/mips/pwrite.c
ports/sysdeps/unix/sysv/linux/mips/pwrite64.c
sysdeps/generic/bp-checks.h [deleted file]
sysdeps/unix/sysv/linux/getdents.c
sysdeps/unix/sysv/linux/i386/brk.c
sysdeps/unix/sysv/linux/i386/getgroups.c
sysdeps/unix/sysv/linux/i386/setgroups.c
sysdeps/unix/sysv/linux/mmap64.c
sysdeps/unix/sysv/linux/msgrcv.c
sysdeps/unix/sysv/linux/msgsnd.c
sysdeps/unix/sysv/linux/powerpc/powerpc32/pread.c
sysdeps/unix/sysv/linux/powerpc/powerpc32/pread64.c
sysdeps/unix/sysv/linux/powerpc/powerpc32/pwrite.c
sysdeps/unix/sysv/linux/powerpc/powerpc32/pwrite64.c
sysdeps/unix/sysv/linux/powerpc/powerpc64/pread.c
sysdeps/unix/sysv/linux/powerpc/powerpc64/pread64.c
sysdeps/unix/sysv/linux/powerpc/powerpc64/pwrite.c
sysdeps/unix/sysv/linux/powerpc/powerpc64/pwrite64.c
sysdeps/unix/sysv/linux/pread.c
sysdeps/unix/sysv/linux/pread64.c
sysdeps/unix/sysv/linux/pwrite.c
sysdeps/unix/sysv/linux/pwrite64.c
sysdeps/unix/sysv/linux/readv.c
sysdeps/unix/sysv/linux/semop.c
sysdeps/unix/sysv/linux/semtimedop.c
sysdeps/unix/sysv/linux/sh/pread.c
sysdeps/unix/sysv/linux/sh/pread64.c
sysdeps/unix/sysv/linux/sh/pwrite.c
sysdeps/unix/sysv/linux/sh/pwrite64.c
sysdeps/unix/sysv/linux/sparc/sparc64/msgrcv.c
sysdeps/unix/sysv/linux/sysctl.c
sysdeps/unix/sysv/linux/writev.c

index 83d439b..27cbc6d 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,78 @@
+2013-02-08  Joseph Myers  <joseph@codesourcery.com>
+
+       [BZ #13550]
+       * debug/segfault.c: Don't include <bp-checks.h>.
+       * sysdeps/generic/bp-checks.h: Remove file.
+       * sysdeps/unix/sysv/linux/getdents.c: Don't include <bp-checks.h>.
+       (__GETDENTS): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/i386/brk.c: Don't include <bp-checks.h>.
+       * sysdeps/unix/sysv/linux/i386/getgroups.c: Likewise.
+       (__getgroups): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/i386/setgroups.c: Likewise.
+       (setgroups): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/mmap64.c: Don't include <bp-checks.h>.
+       * sysdeps/unix/sysv/linux/msgrcv.c: Likewise.
+       (__libc_msgrcv): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/msgsnd.c: Don't include <bp-checks.h>.
+       (__libc_msgsnd): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/powerpc/powerpc32/pread.c: Don't include
+       <bp-checks.h>.
+       (__libc_pread): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/powerpc/powerpc32/pread64.c: Don't
+       include <bp-checks.h>.
+       (__libc_pread64): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/powerpc/powerpc32/pwrite.c: Don't
+       include <bp-checks.h>.
+       (__libc_pwrite): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/powerpc/powerpc32/pwrite64.c: Don't
+       include <bp-checks.h>.
+       (__libc_pwrite64): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/powerpc/powerpc64/pread.c: Don't include
+       <bp-checks.h>.
+       (__libc_pread): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/powerpc/powerpc64/pread64.c: Don't
+       include <bp-checks.h>.
+       (__libc_pread64): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/powerpc/powerpc64/pwrite.c: Don't
+       include <bp-checks.h>.
+       (__libc_pwrite): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/powerpc/powerpc64/pwrite64.c: Don't
+       include <bp-checks.h>.
+       (__libc_pwrite64): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/pread.c: Don't include <bp-checks.h>.
+       (do_pread): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/pread64.c: Don't include <bp-checks.h>.
+       (do_pread64): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/pwrite.c: Don't include <bp-checks.h>.
+       (do_pwrite): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/pwrite64.c: Don't include <bp-checks.h>.
+       (do_pwrite64): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/readv.c: Don't include <bp-checks.h>.
+       (__libc_readv): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/semop.c: Don't include <bp-checks.h>.
+       (semop): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/semtimedop.c: Don't include
+       <bp-checks.h>.
+       (semtimedop): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/sh/pread.c: Don't include <bp-checks.h>.
+       (__libc_pread): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/sh/pread64.c: Don't include
+       <bp-checks.h>.
+       (__libc_pread64): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/sh/pwrite.c: Don't include
+       <bp-checks.h>.
+       (__libc_pwrite): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/sh/pwrite64.c: Don't include
+       <bp-checks.h>.
+       (__libc_pwrite64): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/sparc/sparc64/msgrcv.c: Don't include
+       <bp-checks.h>.
+       (__libc_msgrcv): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/sysctl.c: Don't include <bp-checks.h>.
+       (__sysctl): Don't use CHECK_N.  Remove GKM FIXME comment.
+       * sysdeps/unix/sysv/linux/writev.c: Don't include <bp-checks.h>.
+       (__libc_writev): Don't use CHECK_N.
+
 2013-02-08  Roland McGrath  <roland@hack.frob.com>
 
        * string/strcpy.c: Removed unused variable.
index 99c65a7..e1d058f 100644 (file)
@@ -31,8 +31,6 @@
 #include <_itoa.h>
 #include <ldsodefs.h>
 
-#include <bp-checks.h>
-
 /* This file defines macros to access the content of the sigcontext element
    passed up by the signal handler.  */
 #include <sigcontextinfo.h>
index f631c5b..38c41dc 100644 (file)
@@ -1,6 +1,12 @@
 2013-02-08  Joseph Myers  <joseph@codesourcery.com>
 
        [BZ #13550]
+       * sysdeps/unix/sysv/linux/alpha/fdatasync.c: Don't include
+       <bp-checks.h>.
+       * sysdeps/unix/sysv/linux/alpha/gethostname.c: Likewise.
+       (__gethostname): Don't use CHECK_N.
+
+       [BZ #13550]
        * sysdeps/unix/sysv/linux/alpha/msgctl.c: Do not include
        <bp-checks.h>.
        (__new_msgctl): Do not use CHECK_1.
index 6f8f33c..23b9075 100644 (file)
@@ -1,3 +1,19 @@
+2013-02-08  Joseph Myers  <joseph@codesourcery.com>
+
+       [BZ #13550]
+       * sysdeps/unix/sysv/linux/arm/pread.c: Don't include
+       <bp-checks.h>.
+       (__libc_pread): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/arm/pread64.c: Don't include
+       <bp-checks.h>.
+       (__libc_pread64): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/arm/pwrite.c: Don't include
+       <bp-checks.h>.
+       (__libc_pwrite): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/arm/pwrite64.c: Don't include
+       <bp-checks.h>.
+       (__libc_pwrite64): Don't use CHECK_N.
+
 2013-02-08  Carlos O'Donell  <carlos@redhat.com>
 
        [BZ #15006]
index cde1f70..c00275d 100644 (file)
@@ -1,5 +1,20 @@
 2013-02-08  Joseph Myers  <joseph@codesourcery.com>
 
+       [BZ #13550]
+       * sysdeps/unix/sysv/linux/mips/mips64/fxstat64.c: Don't include
+       <bp-checks.h>.
+       * sysdeps/unix/sysv/linux/mips/pread.c: Likewise.
+       (__libc_pread): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/mips/pread64.c: Don't include
+       <bp-checks.h>.
+       (__libc_pread64): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/mips/pwrite.c: Don't include
+       <bp-checks.h>.
+       (__libc_pwrite): Don't use CHECK_N.
+       * sysdeps/unix/sysv/linux/mips/pwrite64.c: Don't include
+       <bp-checks.h>.
+       (__libc_pwrite64): Don't use CHECK_N.
+
        * sysdeps/mips/add_n.S (__mpn_add_n): Use END.
        * sysdeps/mips/bsd-_setjmp.S (_setjmp): Likewise.
        * sysdeps/mips/bsd-setjmp.S (setjmp): Likewise.
index 1906741..fdcad0b 100644 (file)
@@ -23,7 +23,6 @@
 
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 #include <kernel-features.h>
 
index d643950..48f3cec 100644 (file)
 
 #include <sysdep.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 int
 __gethostname (char *name, size_t len)
 {
   int result;
 
-  result = INLINE_SYSCALL (gethostname, 2, CHECK_N (name, len), len);
+  result = INLINE_SYSCALL (gethostname, 2, name, len);
 
   if (result == 0
       /* See whether the string is terminated.  If not we will return
index dafee3d..e178402 100644 (file)
@@ -22,7 +22,6 @@
 
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 ssize_t
 __libc_pread (fd, buf, count, offset)
@@ -37,7 +36,7 @@ __libc_pread (fd, buf, count, offset)
     {
       /* In the ARM EABI, 64-bit values are aligned to even/odd register
         pairs for syscalls.  */
-      result = INLINE_SYSCALL (pread64, 6, fd, CHECK_N (buf, count), count, 0,
+      result = INLINE_SYSCALL (pread64, 6, fd, buf, count, 0,
                               __LONG_LONG_PAIR (offset >> 31, offset));
 
       return result;
@@ -47,7 +46,7 @@ __libc_pread (fd, buf, count, offset)
 
   /* In the ARM EABI, 64-bit values are aligned to even/odd register
      pairs for syscalls.  */
-  result = INLINE_SYSCALL (pread64, 6, fd, CHECK_N (buf, count), count, 0,
+  result = INLINE_SYSCALL (pread64, 6, fd, buf, count, 0,
                           __LONG_LONG_PAIR (offset >> 31, offset));
 
   LIBC_CANCEL_RESET (oldtype);
index 6d1d914..c7863a3 100644 (file)
@@ -22,7 +22,6 @@
 
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 ssize_t
 __libc_pread64 (fd, buf, count, offset)
@@ -37,7 +36,7 @@ __libc_pread64 (fd, buf, count, offset)
     {
       /* In the ARM EABI, 64-bit values are aligned to even/odd register
         pairs for syscalls.  */
-      result = INLINE_SYSCALL (pread64, 6, fd, CHECK_N (buf, count), count, 0,
+      result = INLINE_SYSCALL (pread64, 6, fd, buf, count, 0,
                               __LONG_LONG_PAIR ((off_t) (offset >> 32),
                                                 (off_t) (offset & 0xffffffff)));
 
@@ -48,7 +47,7 @@ __libc_pread64 (fd, buf, count, offset)
 
   /* In the ARM EABI, 64-bit values are aligned to even/odd register
      pairs for syscalls.  */
-  result = INLINE_SYSCALL (pread64, 6, fd, CHECK_N (buf, count), count, 0,
+  result = INLINE_SYSCALL (pread64, 6, fd, buf, count, 0,
                           __LONG_LONG_PAIR ((off_t) (offset >> 32),
                                             (off_t) (offset & 0xffffffff)));
 
index f188950..4ae2e83 100644 (file)
@@ -22,7 +22,6 @@
 
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 ssize_t
 __libc_pwrite (fd, buf, count, offset)
@@ -37,7 +36,7 @@ __libc_pwrite (fd, buf, count, offset)
     {
       /* In the ARM EABI, 64-bit values are aligned to even/odd register
         pairs for syscalls.  */
-      result = INLINE_SYSCALL (pwrite64, 6, fd, CHECK_N (buf, count), count, 0,
+      result = INLINE_SYSCALL (pwrite64, 6, fd, buf, count, 0,
                               __LONG_LONG_PAIR (offset >> 31, offset));
 
       return result;
@@ -47,7 +46,7 @@ __libc_pwrite (fd, buf, count, offset)
 
   /* In the ARM EABI, 64-bit values are aligned to even/odd register
      pairs for syscalls.  */
-  result = INLINE_SYSCALL (pwrite64, 6, fd, CHECK_N (buf, count), count, 0,
+  result = INLINE_SYSCALL (pwrite64, 6, fd, buf, count, 0,
                           __LONG_LONG_PAIR (offset >> 31, offset));
 
   LIBC_CANCEL_RESET (oldtype);
index 29c63ee..bd6fca5 100644 (file)
@@ -22,7 +22,6 @@
 
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 ssize_t
 __libc_pwrite64 (fd, buf, count, offset)
@@ -37,7 +36,7 @@ __libc_pwrite64 (fd, buf, count, offset)
     {
       /* In the ARM EABI, 64-bit values are aligned to even/odd register
         pairs for syscalls.  */
-      result = INLINE_SYSCALL (pwrite64, 6, fd, CHECK_N (buf, count), count, 0,
+      result = INLINE_SYSCALL (pwrite64, 6, fd, buf, count, 0,
                               __LONG_LONG_PAIR ((off_t) (offset >> 32),
                                                 (off_t) (offset & 0xffffffff)));
 
@@ -48,7 +47,7 @@ __libc_pwrite64 (fd, buf, count, offset)
 
   /* In the ARM EABI, 64-bit values are aligned to even/odd register
      pairs for syscalls.  */
-  result = INLINE_SYSCALL (pwrite64, 6, fd, CHECK_N (buf, count), count, 0,
+  result = INLINE_SYSCALL (pwrite64, 6, fd, buf, count, 0,
                           __LONG_LONG_PAIR ((off_t) (offset >> 32),
                                             (off_t) (offset & 0xffffffff)));
 
index 017b39d..434c7cd 100644 (file)
@@ -23,7 +23,6 @@
 
 #include <sysdep.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 #include <xstatconv.h>
 
index b269e1c..db18265 100644 (file)
@@ -26,7 +26,6 @@
 
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 #include <kernel-features.h>
 
@@ -54,10 +53,9 @@ __libc_pread (fd, buf, count, offset)
   if (SINGLE_THREAD_P)
     {
 #if _MIPS_SIM == _ABIN32 || _MIPS_SIM == _ABI64
-      result = INLINE_SYSCALL (pread, 4, fd, CHECK_N (buf, count), count,
-                              offset);
+      result = INLINE_SYSCALL (pread, 4, fd, buf, count, offset);
 #else
-      result = INLINE_SYSCALL (pread, 6, fd, CHECK_N (buf, count), count, 0,
+      result = INLINE_SYSCALL (pread, 6, fd, buf, count, 0,
                               __LONG_LONG_PAIR (offset >> 31, offset));
 #endif
       return result;
@@ -66,9 +64,9 @@ __libc_pread (fd, buf, count, offset)
   int oldtype = LIBC_CANCEL_ASYNC ();
 
 #if _MIPS_SIM == _ABIN32 || _MIPS_SIM == _ABI64
-  result = INLINE_SYSCALL (pread, 4, fd, CHECK_N (buf, count), count, offset);
+  result = INLINE_SYSCALL (pread, 4, fd, buf, count, offset);
 #else
-  result = INLINE_SYSCALL (pread, 6, fd, CHECK_N (buf, count), count, 0,
+  result = INLINE_SYSCALL (pread, 6, fd, buf, count, 0,
                           __LONG_LONG_PAIR (offset >> 31, offset));
 #endif
 
index 8c2c403..3b8c8aa 100644 (file)
@@ -25,7 +25,6 @@
 
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 #include <kernel-features.h>
 
@@ -50,10 +49,9 @@ __libc_pread64 (fd, buf, count, offset)
   if (SINGLE_THREAD_P)
     {
 #if _MIPS_SIM == _ABIN32 || _MIPS_SIM == _ABI64
-      result = INLINE_SYSCALL (pread, 4, fd, CHECK_N (buf, count), count,
-                              offset);
+      result = INLINE_SYSCALL (pread, 4, fd, buf, count, offset);
 #else
-     result = INLINE_SYSCALL (pread, 6, fd, CHECK_N (buf, count), count, 0,
+     result = INLINE_SYSCALL (pread, 6, fd, buf, count, 0,
                              __LONG_LONG_PAIR ((off_t) (offset >> 32),
                              (off_t) (offset & 0xffffffff)));
 #endif
@@ -63,9 +61,9 @@ __libc_pread64 (fd, buf, count, offset)
   int oldtype = LIBC_CANCEL_ASYNC ();
 
 #if _MIPS_SIM == _ABIN32 || _MIPS_SIM == _ABI64
-  result = INLINE_SYSCALL (pread, 4, fd, CHECK_N (buf, count), count, offset);
+  result = INLINE_SYSCALL (pread, 4, fd, buf, count, offset);
 #else
-  result = INLINE_SYSCALL (pread, 6, fd, CHECK_N (buf, count), count, 0,
+  result = INLINE_SYSCALL (pread, 6, fd, buf, count, 0,
                           __LONG_LONG_PAIR ((off_t) (offset >> 32),
                                             (off_t) (offset & 0xffffffff)));
 #endif
index aa35014..94213bc 100644 (file)
@@ -26,7 +26,6 @@
 
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 #include <kernel-features.h>
 
@@ -54,10 +53,9 @@ __libc_pwrite (fd, buf, count, offset)
   if (SINGLE_THREAD_P)
     {
 #if _MIPS_SIM == _ABIN32 || _MIPS_SIM == _ABI64
-      result = INLINE_SYSCALL (pwrite, 4, fd, CHECK_N (buf, count), count,
-                              offset);
+      result = INLINE_SYSCALL (pwrite, 4, fd, buf, count, offset);
 #else
-      result = INLINE_SYSCALL (pwrite, 6, fd, CHECK_N (buf, count), count, 0,
+      result = INLINE_SYSCALL (pwrite, 6, fd, buf, count, 0,
                               __LONG_LONG_PAIR (offset >> 31, offset));
 #endif
       return result;
@@ -66,9 +64,9 @@ __libc_pwrite (fd, buf, count, offset)
   int oldtype = LIBC_CANCEL_ASYNC ();
 
 #if _MIPS_SIM == _ABIN32 || _MIPS_SIM == _ABI64
-  result = INLINE_SYSCALL (pwrite, 4, fd, CHECK_N (buf, count), count, offset);
+  result = INLINE_SYSCALL (pwrite, 4, fd, buf, count, offset);
 #else
-  result = INLINE_SYSCALL (pwrite, 6, fd, CHECK_N (buf, count), count, 0,
+  result = INLINE_SYSCALL (pwrite, 6, fd, buf, count, 0,
                           __LONG_LONG_PAIR (offset >> 31, offset));
 #endif
 
index 1d14e07..aa8a4de 100644 (file)
@@ -25,7 +25,6 @@
 
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 #include <kernel-features.h>
 
@@ -49,10 +48,9 @@ __libc_pwrite64 (fd, buf, count, offset)
   if (SINGLE_THREAD_P)
     {
 #if _MIPS_SIM == _ABIN32 || _MIPS_SIM == _ABI64
-      result = INLINE_SYSCALL (pwrite, 4, fd, CHECK_N (buf, count), count,
-                              offset);
+      result = INLINE_SYSCALL (pwrite, 4, fd, buf, count, offset);
 #else
-     result = INLINE_SYSCALL (pwrite, 6, fd, CHECK_N (buf, count), count, 0,
+     result = INLINE_SYSCALL (pwrite, 6, fd, buf, count, 0,
                              __LONG_LONG_PAIR ((off_t) (offset >> 32),
                             (off_t) (offset & 0xffffffff)));
 #endif
@@ -63,9 +61,9 @@ __libc_pwrite64 (fd, buf, count, offset)
   int oldtype = LIBC_CANCEL_ASYNC ();
 
 #if _MIPS_SIM == _ABIN32 || _MIPS_SIM == _ABI64
-  result = INLINE_SYSCALL (pwrite, 4, fd, CHECK_N (buf, count), count, offset);
+  result = INLINE_SYSCALL (pwrite, 4, fd, buf, count, offset);
 #else
-  result = INLINE_SYSCALL (pwrite, 6, fd, CHECK_N (buf, count), count, 0,
+  result = INLINE_SYSCALL (pwrite, 6, fd, buf, count, 0,
                           __LONG_LONG_PAIR ((off_t) (offset >> 32),
                                             (off_t) (offset & 0xffffffff)));
 #endif
diff --git a/sysdeps/generic/bp-checks.h b/sysdeps/generic/bp-checks.h
deleted file mode 100644 (file)
index 162f785..0000000
+++ /dev/null
@@ -1,49 +0,0 @@
-/* Bounded-pointer checking macros for C.
-   Copyright (C) 2000-2013 Free Software Foundation, Inc.
-   This file is part of the GNU C Library.
-   Contributed by Greg McGary <greg@mcgary.org>
-
-   The GNU C Library is free software; you can redistribute it and/or
-   modify it under the terms of the GNU Lesser General Public
-   License as published by the Free Software Foundation; either
-   version 2.1 of the License, or (at your option) any later version.
-
-   The GNU C Library is distributed in the hope that it will be useful,
-   but WITHOUT ANY WARRANTY; without even the implied warranty of
-   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
-   Lesser General Public License for more details.
-
-   You should have received a copy of the GNU Lesser General Public
-   License along with the GNU C Library; if not, see
-   <http://www.gnu.org/licenses/>.  */
-
-#ifndef _bp_checks_h_
-#define _bp_checks_h_ 1
-
-#if __BOUNDED_POINTERS__
-
-# define BOUNDS_VIOLATED (__builtin_trap (), 0)
-
-# define _CHECK_N(ARG, N, COND)                                \
-  (((COND)                                             \
-    && (__ptrvalue (ARG) < __ptrlow (ARG)              \
-       || __ptrvalue (ARG) + (N) > __ptrhigh (ARG))    \
-    && BOUNDS_VIOLATED),                               \
-   __ptrvalue (ARG))
-
-/* Check bounds of a pointer seated to an array of N objects.  */
-# define CHECK_N(ARG, N) _CHECK_N ((ARG), (N), 1)
-/* Same as CHECK_N, but tolerate ARG == NULL.  */
-# define CHECK_N_NULL_OK(ARG, N) _CHECK_N ((ARG), (N), __ptrvalue (ARG))
-
-#else /* !__BOUNDED_POINTERS__ */
-
-/* Do nothing if not compiling with -fbounded-pointers.  */
-
-# define BOUNDS_VIOLATED
-# define CHECK_N(ARG, N) (ARG)
-# define CHECK_N_NULL_OK(ARG, N) (ARG)
-
-#endif /* !__BOUNDED_POINTERS__ */
-
-#endif /* _bp_checks_h_ */
index eebdee8..2d588a6 100644 (file)
@@ -28,7 +28,6 @@
 
 #include <sysdep.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 #include <linux/posix_types.h>
 
@@ -109,7 +108,7 @@ __GETDENTS (int fd, char *buf, size_t nbytes)
       && (offsetof (struct kernel_dirent, d_reclen)
          == offsetof (struct dirent, d_reclen)))
     {
-      retval = INLINE_SYSCALL (getdents, 3, fd, CHECK_N(buf, nbytes), nbytes);
+      retval = INLINE_SYSCALL (getdents, 3, fd, buf, nbytes);
 
       /* The kernel added the d_type value after the name.  Change
         this now.  */
@@ -158,8 +157,7 @@ __GETDENTS (int fd, char *buf, size_t nbytes)
                   - offsetof (DIRENT_TYPE, d_name);
          kbuf = __alloca(kbytes);
        }
-      retval = INLINE_SYSCALL (getdents64, 3, fd, CHECK_N(kbuf, kbytes),
-                              kbytes);
+      retval = INLINE_SYSCALL (getdents64, 3, fd, kbuf, kbytes);
 # ifndef __ASSUME_GETDENTS64_SYSCALL
       if (retval != -1 || (errno != EINVAL && errno != ENOSYS))
 # endif
@@ -255,8 +253,7 @@ __GETDENTS (int fd, char *buf, size_t nbytes)
 
     skdp = kdp = __alloca (red_nbytes);
 
-    retval = INLINE_SYSCALL (getdents, 3, fd,
-                            CHECK_N ((char *) kdp, red_nbytes), red_nbytes);
+    retval = INLINE_SYSCALL (getdents, 3, fd, (char *) kdp, red_nbytes);
 
     if (retval == -1)
       return -1;
index eea4e02..47bb01d 100644 (file)
@@ -20,8 +20,6 @@
 #include <unistd.h>
 #include <sysdep.h>
 
-#include <bp-checks.h>
-
 /* This must be initialized data because commons can't have aliases.  */
 void *__curbrk = 0;
 
index c7e44fd..7d85f8f 100644 (file)
@@ -22,7 +22,6 @@
 
 #include <sysdep.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 #include <linux/posix_types.h>
 
@@ -34,7 +33,7 @@
 int
 __getgroups (int n, gid_t *groups)
 {
-  return INLINE_SYSCALL (getgroups32, 2, n, CHECK_N (groups, n));
+  return INLINE_SYSCALL (getgroups32, 2, n, groups);
 }
 
 weak_alias (__getgroups, getgroups)
index c0895a1..701ce6e 100644 (file)
@@ -22,7 +22,6 @@
 
 #include <sysdep.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 #include <setxid.h>
 #include <linux/posix_types.h>
@@ -33,6 +32,6 @@
 int
 setgroups (size_t n, const gid_t *groups)
 {
-  return INLINE_SETXID_SYSCALL (setgroups32, 2, n, CHECK_N (groups, n));
+  return INLINE_SETXID_SYSCALL (setgroups32, 2, n, groups);
 }
 libc_hidden_def (setgroups)
index 7d94c1d..a424092 100644 (file)
@@ -22,7 +22,6 @@
 
 #include <sysdep.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 #include <kernel-features.h>
 
index f9b399e..edf81a5 100644 (file)
@@ -23,8 +23,6 @@
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
 
-#include <bp-checks.h>
-
 /* Kludge to work around Linux' restriction of only up to five
    arguments to a system call.  */
 struct ipc_kludge
@@ -46,7 +44,7 @@ __libc_msgrcv (msqid, msgp, msgsz, msgtyp, msgflg)
      fives parameters to a system call.  */
   struct ipc_kludge tmp;
 
-  tmp.msgp = CHECK_N (msgp, msgsz);
+  tmp.msgp = msgp;
   tmp.msgtyp = msgtyp;
 
   if (SINGLE_THREAD_P)
index 853ea91..556159b 100644 (file)
@@ -23,8 +23,6 @@
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
 
-#include <bp-checks.h>
-
 int
 __libc_msgsnd (msqid, msgp, msgsz, msgflg)
      int msqid;
@@ -34,12 +32,12 @@ __libc_msgsnd (msqid, msgp, msgsz, msgflg)
 {
   if (SINGLE_THREAD_P)
     return INLINE_SYSCALL (ipc, 5, IPCOP_msgsnd, msqid, msgsz,
-                          msgflg, (void *) CHECK_N (msgp, msgsz));
+                          msgflg, (void *) msgp);
 
   int oldtype = LIBC_CANCEL_ASYNC ();
 
   int result = INLINE_SYSCALL (ipc, 5, IPCOP_msgsnd, msqid, msgsz,
-                              msgflg, (void *) CHECK_N (msgp, msgsz));
+                              msgflg, (void *) msgp);
 
   LIBC_CANCEL_RESET (oldtype);
 
index 3695d8f..619db32 100644 (file)
@@ -22,7 +22,6 @@
 
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 #include <kernel-features.h>
 
@@ -38,7 +37,7 @@ __libc_pread (fd, buf, count, offset)
   if (SINGLE_THREAD_P)
     {
       /* On PPC32 64bit values are aligned in odd/even register pairs.  */
-      result = INLINE_SYSCALL (pread, 6, fd, CHECK_N (buf, count), count,
+      result = INLINE_SYSCALL (pread, 6, fd, buf, count,
                               0, offset >> 31, offset);
 
       return result;
@@ -47,7 +46,7 @@ __libc_pread (fd, buf, count, offset)
   int oldtype = LIBC_CANCEL_ASYNC ();
 
   /* On PPC32 64bit values are aligned in odd/even register pairs.  */
-  result = INLINE_SYSCALL (pread, 6, fd, CHECK_N (buf, count), count,
+  result = INLINE_SYSCALL (pread, 6, fd, buf, count,
                               0, offset >> 31, offset);
 
   LIBC_CANCEL_RESET (oldtype);
index 12e83aa..75407b3 100644 (file)
@@ -21,7 +21,6 @@
 
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 #include <kernel-features.h>
 
@@ -38,7 +37,7 @@ __libc_pread64 (fd, buf, count, offset)
   if (SINGLE_THREAD_P)
     {
       /* On PPC32 64bit values are aligned in odd/even register pairs.  */
-      result = INLINE_SYSCALL (pread, 6, fd, CHECK_N (buf, count), count,
+      result = INLINE_SYSCALL (pread, 6, fd, buf, count,
                               0, (long) (offset >> 32),
                               (long) offset);
 
@@ -48,7 +47,7 @@ __libc_pread64 (fd, buf, count, offset)
   int oldtype = LIBC_CANCEL_ASYNC ();
 
   /* On PPC32 64bit values are aligned in odd/even register pairs.  */
-  result = INLINE_SYSCALL (pread, 6, fd, CHECK_N (buf, count), count,
+  result = INLINE_SYSCALL (pread, 6, fd, buf, count,
                           0, (long) (offset >> 32),
                           (long) offset);
 
index 005e24f..e71c91b 100644 (file)
@@ -22,7 +22,6 @@
 
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 #include <kernel-features.h>
 
@@ -39,7 +38,7 @@ __libc_pwrite (fd, buf, count, offset)
   if (SINGLE_THREAD_P)
     {
       /* On PPC32 64bit values are aligned in odd/even register pairs.  */
-      result = INLINE_SYSCALL (pwrite, 6, fd, CHECK_N (buf, count), count,
+      result = INLINE_SYSCALL (pwrite, 6, fd, buf, count,
                               0, offset >> 31, offset);
 
       return result;
@@ -48,7 +47,7 @@ __libc_pwrite (fd, buf, count, offset)
   int oldtype = LIBC_CANCEL_ASYNC ();
 
   /* On PPC32 64bit values are aligned in odd/even register pairs.  */
-  result = INLINE_SYSCALL (pwrite, 6, fd, CHECK_N (buf, count), count,
+  result = INLINE_SYSCALL (pwrite, 6, fd, buf, count,
                           0, offset >> 31, offset);
 
   LIBC_CANCEL_RESET (oldtype);
index f001c6e..7094e93 100644 (file)
@@ -21,7 +21,6 @@
 
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 #include <kernel-features.h>
 
@@ -38,7 +37,7 @@ __libc_pwrite64 (fd, buf, count, offset)
   if (SINGLE_THREAD_P)
     {
   /* On PPC32 64bit values are aligned in odd/even register pairs.  */
-      result = INLINE_SYSCALL (pwrite, 6, fd, CHECK_N (buf, count), count,
+      result = INLINE_SYSCALL (pwrite, 6, fd, buf, count,
                               0, (long) (offset >> 32),
                               (long) offset);
 
@@ -48,7 +47,7 @@ __libc_pwrite64 (fd, buf, count, offset)
   int oldtype = LIBC_CANCEL_ASYNC ();
 
   /* On PPC32 64bit values are aligned in odd/even register pairs.  */
-  result = INLINE_SYSCALL (pwrite, 6, fd, CHECK_N (buf, count), count,
+  result = INLINE_SYSCALL (pwrite, 6, fd, buf, count,
                           0, (long) (offset >> 32),
                           (long) offset);
 
index 896a415..70f1d6c 100644 (file)
@@ -22,7 +22,6 @@
 
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 #include <kernel-features.h>
 
@@ -40,16 +39,14 @@ __libc_pread (fd, buf, count, offset)
 
   if (SINGLE_THREAD_P)
     {
-      result = INLINE_SYSCALL (pread, 4, fd, CHECK_N (buf, count), count,
-                                offset);
+      result = INLINE_SYSCALL (pread, 4, fd, buf, count, offset);
 
       return result;
     }
 
   int oldtype = LIBC_CANCEL_ASYNC ();
 
-  result = INLINE_SYSCALL (pread, 4, fd, CHECK_N (buf, count), count,
-                            offset);
+  result = INLINE_SYSCALL (pread, 4, fd, buf, count, offset);
 
   LIBC_CANCEL_RESET (oldtype);
 
index aaf18e5..a11f6e3 100644 (file)
@@ -21,7 +21,6 @@
 
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 #include <kernel-features.h>
 
@@ -39,16 +38,14 @@ __libc_pread64 (fd, buf, count, offset)
 
   if (SINGLE_THREAD_P)
     {
-      result = INLINE_SYSCALL (pread, 4, fd, CHECK_N (buf, count), count,
-                                offset);
+      result = INLINE_SYSCALL (pread, 4, fd, buf, count, offset);
 
       return result;
     }
 
   int oldtype = LIBC_CANCEL_ASYNC ();
 
-   result = INLINE_SYSCALL (pread, 4, fd, CHECK_N (buf, count), count,
-                            offset);
+   result = INLINE_SYSCALL (pread, 4, fd, buf, count, offset);
 
   LIBC_CANCEL_RESET (oldtype);
 
index 9795756..0ccb0a9 100644 (file)
@@ -22,7 +22,6 @@
 
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 #include <kernel-features.h>
 
@@ -40,16 +39,14 @@ __libc_pwrite (fd, buf, count, offset)
 
   if (SINGLE_THREAD_P)
     {
-      result = INLINE_SYSCALL (pwrite, 4, fd, CHECK_N (buf, count), count,
-                              offset);
+      result = INLINE_SYSCALL (pwrite, 4, fd, buf, count, offset);
 
       return result;
     }
 
   int oldtype = LIBC_CANCEL_ASYNC ();
 
-  result = INLINE_SYSCALL (pwrite, 4, fd, CHECK_N (buf, count), count,
-                                            offset);
+  result = INLINE_SYSCALL (pwrite, 4, fd, buf, count, offset);
 
   LIBC_CANCEL_RESET (oldtype);
 
index 65ddefd..6a8acb4 100644 (file)
@@ -21,7 +21,6 @@
 
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 #include <kernel-features.h>
 
@@ -39,16 +38,14 @@ __libc_pwrite64 (fd, buf, count, offset)
 
   if (SINGLE_THREAD_P)
     {
-      result = INLINE_SYSCALL (pwrite, 4, fd, CHECK_N (buf, count), count,
-                                offset);
+      result = INLINE_SYSCALL (pwrite, 4, fd, buf, count, offset);
 
       return result;
     }
 
   int oldtype = LIBC_CANCEL_ASYNC ();
 
-  result = INLINE_SYSCALL (pwrite, 4, fd, CHECK_N (buf, count), count,
-                            offset);
+  result = INLINE_SYSCALL (pwrite, 4, fd, buf, count, offset);
 
   LIBC_CANCEL_RESET (oldtype);
 
index aa3ee63..1494879 100644 (file)
@@ -23,7 +23,6 @@
 
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 #include <kernel-features.h>
 
@@ -44,7 +43,7 @@ do_pread (int fd, void *buf, size_t count, off_t offset)
   ssize_t result;
 
   assert (sizeof (offset) == 4);
-  result = INLINE_SYSCALL (pread, 5, fd, CHECK_N (buf, count), count,
+  result = INLINE_SYSCALL (pread, 5, fd, buf, count,
                           __LONG_LONG_PAIR (offset >> 31, offset));
 
   return result;
index 36cb66b..be829ce 100644 (file)
@@ -22,7 +22,6 @@
 
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 #include <kernel-features.h>
 
@@ -39,7 +38,7 @@ do_pread64 (int fd, void *buf, size_t count, off64_t offset)
 {
   ssize_t result;
 
-  result = INLINE_SYSCALL (pread, 5, fd, CHECK_N (buf, count), count,
+  result = INLINE_SYSCALL (pread, 5, fd, buf, count,
                           __LONG_LONG_PAIR ((off_t) (offset >> 32),
                                             (off_t) (offset & 0xffffffff)));
 
index 2514716..5a31d17 100644 (file)
@@ -23,7 +23,6 @@
 
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 #include <kernel-features.h>
 
@@ -44,7 +43,7 @@ do_pwrite (int fd, const void *buf, size_t count, off_t offset)
   ssize_t result;
 
   assert (sizeof (offset) == 4);
-  result = INLINE_SYSCALL (pwrite, 5, fd, CHECK_N (buf, count), count,
+  result = INLINE_SYSCALL (pwrite, 5, fd, buf, count,
                           __LONG_LONG_PAIR (offset >> 31, offset));
 
   return result;
index f2a99b6..fb46e4b 100644 (file)
@@ -22,7 +22,6 @@
 
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 #include <kernel-features.h>
 
@@ -39,7 +38,7 @@ do_pwrite64 (int fd, const void *buf, size_t count, off64_t offset)
 {
   ssize_t result;
 
-  result = INLINE_SYSCALL (pwrite, 5, fd, CHECK_N (buf, count), count,
+  result = INLINE_SYSCALL (pwrite, 5, fd, buf, count,
                           __LONG_LONG_PAIR ((off_t) (offset >> 32),
                                             (off_t) (offset & 0xffffffff)));
 
index efee11d..8bdb97a 100644 (file)
@@ -23,7 +23,6 @@
 
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 #include <kernel-features.h>
 
 #ifndef __ASSUME_COMPLETE_READV_WRITEV
@@ -47,12 +46,12 @@ __libc_readv (fd, vector, count)
   ssize_t result;
 
   if (SINGLE_THREAD_P)
-    result = INLINE_SYSCALL (readv, 3, fd, CHECK_N (vector, count), count);
+    result = INLINE_SYSCALL (readv, 3, fd, vector, count);
   else
     {
       int oldtype = LIBC_CANCEL_ASYNC ();
 
-      result = INLINE_SYSCALL (readv, 3, fd, CHECK_N (vector, count), count);
+      result = INLINE_SYSCALL (readv, 3, fd, vector, count);
 
       LIBC_CANCEL_RESET (oldtype);
     }
index f0ea778..cbe42ac 100644 (file)
@@ -22,7 +22,6 @@
 
 #include <sysdep.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 /* Perform user-defined atomical operation of array of semaphores.  */
 
@@ -32,6 +31,5 @@ semop (semid, sops, nsops)
      struct sembuf *sops;
      size_t nsops;
 {
-  return INLINE_SYSCALL (ipc, 5, IPCOP_semop,
-                        semid, (int) nsops, 0, CHECK_N (sops, nsops));
+  return INLINE_SYSCALL (ipc, 5, IPCOP_semop, semid, (int) nsops, 0, sops);
 }
index 22a5037..3da3554 100644 (file)
@@ -22,7 +22,6 @@
 
 #include <sysdep.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 /* Perform user-defined atomical operation of array of semaphores.  */
 
@@ -34,6 +33,6 @@ semtimedop (semid, sops, nsops, timeout)
      const struct timespec *timeout;
 {
   return INLINE_SYSCALL (ipc, 6, IPCOP_semtimedop,
-                        semid, (int) nsops, 0, CHECK_N (sops, nsops),
+                        semid, (int) nsops, 0, sops,
                         timeout);
 }
index 6f0c3ba..ae338dc 100644 (file)
@@ -23,7 +23,6 @@
 
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 #include <kernel-features.h>
 
@@ -46,14 +45,14 @@ __libc_pread (fd, buf, count, offset)
 
   if (SINGLE_THREAD_P)
     {
-      result = INLINE_SYSCALL (pread, 6, fd, CHECK_N (buf, count), count, 0,
+      result = INLINE_SYSCALL (pread, 6, fd, buf, count, 0,
                               __LONG_LONG_PAIR (offset >> 31, offset));
       return result;
     }
 
   int oldtype = LIBC_CANCEL_ASYNC ();
 
-  result = INLINE_SYSCALL (pread, 6, fd, CHECK_N (buf, count), count, 0,
+  result = INLINE_SYSCALL (pread, 6, fd, buf, count, 0,
                           __LONG_LONG_PAIR (offset >> 31, offset));
 
   LIBC_CANCEL_RESET (oldtype);
index acce914..2a46d70 100644 (file)
@@ -22,7 +22,6 @@
 
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 #include <kernel-features.h>
 
@@ -45,7 +44,7 @@ __libc_pread64 (fd, buf, count, offset)
 
   if (SINGLE_THREAD_P)
     {
-     result = INLINE_SYSCALL (pread, 6, fd, CHECK_N (buf, count), count, 0,
+     result = INLINE_SYSCALL (pread, 6, fd, buf, count, 0,
                              __LONG_LONG_PAIR ((off_t) (offset >> 32),
                              (off_t) (offset & 0xffffffff)));
      return result;
@@ -53,7 +52,7 @@ __libc_pread64 (fd, buf, count, offset)
 
   int oldtype = LIBC_CANCEL_ASYNC ();
 
-  result = INLINE_SYSCALL (pread, 6, fd, CHECK_N (buf, count), count, 0,
+  result = INLINE_SYSCALL (pread, 6, fd, buf, count, 0,
                           __LONG_LONG_PAIR ((off_t) (offset >> 32),
                                             (off_t) (offset & 0xffffffff)));
 
index 441c867..4b20e51 100644 (file)
@@ -23,7 +23,6 @@
 
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 #include <kernel-features.h>
 
@@ -46,14 +45,14 @@ __libc_pwrite (fd, buf, count, offset)
 
   if (SINGLE_THREAD_P)
     {
-      result = INLINE_SYSCALL (pwrite, 6, fd, CHECK_N (buf, count), count, 0,
+      result = INLINE_SYSCALL (pwrite, 6, fd, buf, count, 0,
                               __LONG_LONG_PAIR (offset >> 31, offset));
       return result;
     }
 
   int oldtype = LIBC_CANCEL_ASYNC ();
 
-  result = INLINE_SYSCALL (pwrite, 6, fd, CHECK_N (buf, count), count, 0,
+  result = INLINE_SYSCALL (pwrite, 6, fd, buf, count, 0,
                           __LONG_LONG_PAIR (offset >> 31, offset));
 
   LIBC_CANCEL_RESET (oldtype);
index a4ca560..5639b3c 100644 (file)
@@ -22,7 +22,6 @@
 
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 #include <kernel-features.h>
 
@@ -45,7 +44,7 @@ __libc_pwrite64 (fd, buf, count, offset)
 
   if (SINGLE_THREAD_P)
     {
-     result = INLINE_SYSCALL (pwrite, 6, fd, CHECK_N (buf, count), count, 0,
+     result = INLINE_SYSCALL (pwrite, 6, fd, buf, count, 0,
                              __LONG_LONG_PAIR ((off_t) (offset >> 32),
                             (off_t) (offset & 0xffffffff)));
 
@@ -54,7 +53,7 @@ __libc_pwrite64 (fd, buf, count, offset)
 
   int oldtype = LIBC_CANCEL_ASYNC ();
 
-  result = INLINE_SYSCALL (pwrite, 6, fd, CHECK_N (buf, count), count, 0,
+  result = INLINE_SYSCALL (pwrite, 6, fd, buf, count, 0,
                           __LONG_LONG_PAIR ((off_t) (offset >> 32),
                                             (off_t) (offset & 0xffffffff)));
 
index bce7a58..625eeb2 100644 (file)
@@ -22,8 +22,6 @@
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
 
-#include <bp-checks.h>
-
 ssize_t
 __libc_msgrcv (msqid, msgp, msgsz, msgtyp, msgflg)
      int msqid;
@@ -34,12 +32,12 @@ __libc_msgrcv (msqid, msgp, msgsz, msgtyp, msgflg)
 {
   if (SINGLE_THREAD_P)
     return INLINE_SYSCALL (ipc, 6, IPCOP_msgrcv, msqid, msgsz, msgflg,
-                          CHECK_N (msgp, msgsz), msgtyp);
+                          msgp, msgtyp);
 
   int oldtype = LIBC_CANCEL_ASYNC ();
 
   ssize_t result = INLINE_SYSCALL (ipc, 6, IPCOP_msgrcv, msqid, msgsz, msgflg,
-                                  CHECK_N (msgp, msgsz), msgtyp);
+                                  msgp, msgtyp);
 
   LIBC_CANCEL_RESET (oldtype);
 
index 5c6b1fb..2d37de7 100644 (file)
 
 #include <sysdep.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 
 int
 __sysctl (int *name, int nlen, void *oldval, size_t *oldlenp,
          void *newval, size_t newlen)
 {
-  /* GKM FIXME: force __sysctl_args decl to have unbounded pointers.  */
   struct __sysctl_args args =
   {
     .name = name,
@@ -38,9 +36,6 @@ __sysctl (int *name, int nlen, void *oldval, size_t *oldlenp,
     .newval = newval,
     .newlen = newlen
   };
-  (void) CHECK_N (name, nlen);
-  (void) CHECK_N (oldval, *oldlenp);
-  (void) CHECK_N (newval, newlen);
 
   return INLINE_SYSCALL (_sysctl, 1, __ptrvalue (&args));
 }
index 993660a..e53c0d3 100644 (file)
@@ -23,7 +23,6 @@
 
 #include <sysdep-cancel.h>
 #include <sys/syscall.h>
-#include <bp-checks.h>
 #include <kernel-features.h>
 
 #ifndef __ASSUME_COMPLETE_READV_WRITEV
@@ -47,12 +46,12 @@ __libc_writev (fd, vector, count)
   ssize_t result;
 
   if (SINGLE_THREAD_P)
-    result = INLINE_SYSCALL (writev, 3, fd, CHECK_N (vector, count), count);
+    result = INLINE_SYSCALL (writev, 3, fd, vector, count);
   else
     {
       int oldtype = LIBC_CANCEL_ASYNC ();
 
-      result = INLINE_SYSCALL (writev, 3, fd, CHECK_N (vector, count), count);
+      result = INLINE_SYSCALL (writev, 3, fd, vector, count);
 
       LIBC_CANCEL_RESET (oldtype);
     }