sysdeps/generic/bp-start.h

   1 /* Bounded-pointer checking macros for C.
   2    Copyright (C) 2000 Free Software Foundation, Inc.
   3    This file is part of the GNU C Library.
   4    Contributed by Greg McGary <greg@mcgary.org>
   5
   6    The GNU C Library is free software; you can redistribute it and/or
   7    modify it under the terms of the GNU Library General Public License as
   8    published by the Free Software Foundation; either version 2 of the
   9    License, or (at your option) any later version.
  10
  11    The GNU C Library is distributed in the hope that it will be useful,
  12    but WITHOUT ANY WARRANTY; without even the implied warranty of
  13    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  14    Library General Public License for more details.
  15
  16    You should have received a copy of the GNU Library General Public
  17    License along with the GNU C Library; see the file COPYING.LIB.  If not,
  18    write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
  19    Boston, MA 02111-1307, USA.  */
  20
  21
  22 #if __BOUNDED_POINTERS__
  23
  24   /* The command-line arg vector and environment vector come to us from
  25      the OS as an unbounded pointer to an array of unbounded strings.
  26      The user's main expects argv and __environ to be bounded pointers
  27      to arrays of bounded strings.  */
  28 # define INIT_ARGV_and_ENVIRON \
  29   do {                                                                        \
  30     int envc;                                                                 \
  31     for (envc = 0; *ubp_ev; ubp_ev++, envc++)                                 \
  32       ;                                                                       \
  33     ubp_ev -= envc;                                                           \
  34                                                                               \
  35     /* GKM FIXME: we could save some space by allocating only enough for      \
  36        the additional low & high words, and destructively rewriting           \
  37        argv in place.  */                                                     \
  38     __ptrvalue (argv) = __ptrlow (argv)                                       \
  39       = alloca ((argc + envc + 2) * sizeof (*argv));                          \
  40     __ptrhigh (argv) = __ptrvalue (argv) + argc + 1;                          \
  41     __ptrvalue (__environ) = __ptrlow (__environ) = __ptrhigh (argv);         \
  42     __ptrhigh (__environ) = __ptrvalue (__environ) + envc + 1;                \
  43     boundify_vector (__environ, ubp_ev);                                      \
  44     boundify_vector (argv, ubp_av);                                           \
  45   } while (0)
  46
  47
  48 /* Copy an unbounded vector of unbounded strings into a bounded
  49    counterpart.  */
  50
  51 static void
  52 boundify_vector (char **dest, char *__unbounded *__unbounded src)
  53 {
  54   char *__unbounded s;
  55   for (; *src; src++, dest++)
  56     {
  57       __ptrvalue (*dest) = __ptrlow (*dest) = *src;
  58       __ptrhigh (*dest) = src[1];
  59     }
  60   *dest = 0;
  61   /* The OS lays out strings contiguously in vector order,
  62      so  */
  63   for (s = __ptrvalue (dest[-1]); *s; s++)
  64     ;
  65   __ptrhigh (dest[-1]) = ++s;
  66 }
  67
  68 #else
  69
  70 # define INIT_ARGV_and_ENVIRON __environ = ubp_ev
  71
  72 #endif