2000-05-23 20:12:52 +02:00
|
|
|
/* Copyright (C) 2000 Free Software Foundation, Inc.
|
|
|
|
This file is part of the GNU C Library.
|
|
|
|
|
|
|
|
The GNU C Library is free software; you can redistribute it and/or
|
|
|
|
modify it under the terms of the GNU Library General Public License as
|
|
|
|
published by the Free Software Foundation; either version 2 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
|
|
|
|
Library General Public License for more details.
|
|
|
|
|
|
|
|
You should have received a copy of the GNU Library General Public
|
|
|
|
License along with the GNU C Library; see the file COPYING.LIB. If not,
|
|
|
|
write to the Free Software Foundation, Inc., 59 Temple Place - Suite 330,
|
|
|
|
Boston, MA 02111-1307, USA. */
|
|
|
|
|
|
|
|
#include <stdio.h>
|
|
|
|
#include <stdlib.h>
|
|
|
|
#include <string.h>
|
|
|
|
|
2000-05-27 18:51:52 +02:00
|
|
|
/* Prototype for our test function. */
|
|
|
|
extern int do_test (void);
|
|
|
|
|
|
|
|
#define TEST_FUNCTION do_test ()
|
|
|
|
|
|
|
|
/* This defines the `main' function and some more. */
|
|
|
|
#include <test-skeleton.c>
|
|
|
|
|
2000-05-23 20:12:52 +02:00
|
|
|
/* Prototypes for the functions in the DSOs. */
|
|
|
|
extern int calllocal1 (void);
|
|
|
|
extern int (*getlocal1 (void)) (void);
|
|
|
|
extern int callinmod1 (void);
|
|
|
|
extern int (*getinmod1 (void)) (void);
|
|
|
|
extern int callitcpt1 (void);
|
|
|
|
extern int (*getitcpt1 (void)) (void);
|
|
|
|
extern const char *getvarlocal1 (void);
|
|
|
|
extern const char *getvarinmod1 (void);
|
|
|
|
extern const char *getvaritcpt1 (void);
|
|
|
|
extern int calllocal2 (void);
|
|
|
|
extern int (*getlocal2 (void)) (void);
|
|
|
|
extern int callinmod2 (void);
|
|
|
|
extern int (*getinmod2 (void)) (void);
|
|
|
|
extern int callitcpt2 (void);
|
|
|
|
extern int (*getitcpt2 (void)) (void);
|
|
|
|
extern const char *getvarlocal2 (void);
|
|
|
|
extern const char *getvarinmod2 (void);
|
|
|
|
extern const char *getvaritcpt2 (void);
|
|
|
|
extern int callitcpt3 (void);
|
|
|
|
extern int (*getitcpt3 (void)) (void);
|
|
|
|
extern const char *getvaritcpt3 (void);
|
|
|
|
|
|
|
|
extern int protinmod (void);
|
|
|
|
extern int protitcpt (void);
|
|
|
|
|
|
|
|
/* Prototypes for local functions. */
|
|
|
|
extern int protlocal (void);
|
|
|
|
|
|
|
|
const char *protvarlocal = __FILE__;
|
|
|
|
extern const char *protvarinmod;
|
|
|
|
extern const char *protvaritcpt;
|
|
|
|
|
|
|
|
int
|
2000-05-27 18:51:52 +02:00
|
|
|
do_test (void)
|
2000-05-23 20:12:52 +02:00
|
|
|
{
|
|
|
|
int res = 0;
|
|
|
|
int val;
|
|
|
|
|
|
|
|
/* First test: check whether .protected is handled correctly by the
|
|
|
|
assembler/linker. The uses of `protlocal' in the DSOs and in the
|
|
|
|
main program should all be resolved with the local definitions. */
|
|
|
|
val = protlocal () + calllocal1 () + calllocal2 ();
|
|
|
|
if (val != 0x155)
|
|
|
|
{
|
|
|
|
puts ("\
|
|
|
|
The handling of `.protected' seems to be implemented incorrectly: giving up");
|
|
|
|
abort ();
|
|
|
|
}
|
|
|
|
puts ("`.protected' seems to be handled correctly, good!");
|
|
|
|
|
|
|
|
/* Function pointers: for functions which are marked local and for
|
|
|
|
which definitions are available all function pointers must be
|
|
|
|
distinct. */
|
|
|
|
if (protlocal == getlocal1 ())
|
|
|
|
{
|
|
|
|
puts ("`protlocal' in main and mod1 have same address");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
if (protlocal == getlocal2 ())
|
|
|
|
{
|
|
|
|
puts ("`protlocal' in main and mod2 have same address");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
if (getlocal1 () == getlocal2 ())
|
|
|
|
{
|
|
|
|
puts ("`protlocal' in mod1 and mod2 have same address");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
if (getlocal1 () () + getlocal2 () () != 0x44)
|
|
|
|
{
|
|
|
|
puts ("pointers to `protlocal' in mod1 or mod2 incorrect");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Next test. This is similar to the last one but the function we
|
|
|
|
are calling is not defined in the main object. This means that
|
|
|
|
the invocation in the main object uses the definition in the
|
|
|
|
first DSO. */
|
|
|
|
if (protinmod != getinmod1 ())
|
|
|
|
{
|
|
|
|
puts ("`protinmod' in main and mod1 don't have same address");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
if (protinmod == getinmod2 ())
|
|
|
|
{
|
|
|
|
puts ("`protinmod' in main and mod2 have same address");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
if (getinmod1 () == getinmod2 ())
|
|
|
|
{
|
|
|
|
puts ("`protinmod' in mod1 and mod2 have same address");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
if (protinmod () + getinmod1 () () + getinmod2 () () != 0x4800)
|
|
|
|
{
|
|
|
|
puts ("pointers to `protinmod' in mod1 or mod2 incorrect");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
val = protinmod () + callinmod1 () + callinmod2 ();
|
|
|
|
if (val != 0x15800)
|
|
|
|
{
|
|
|
|
printf ("calling of `protinmod' leads to wrong result (%#x)\n", val);
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* A very similar text. Same setup for the main object and the modules
|
|
|
|
but this time we have another definition in a preloaded module. This
|
|
|
|
one intercepts the references from the main object. */
|
|
|
|
if (protitcpt != getitcpt3 ())
|
|
|
|
{
|
|
|
|
puts ("`protitcpt' in main and mod3 don't have same address");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
if (protitcpt == getitcpt1 ())
|
|
|
|
{
|
|
|
|
puts ("`protitcpt' in main and mod1 have same address");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
if (protitcpt == getitcpt2 ())
|
|
|
|
{
|
|
|
|
puts ("`protitcpt' in main and mod2 have same address");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
if (getitcpt1 () == getitcpt2 ())
|
|
|
|
{
|
|
|
|
puts ("`protitcpt' in mod1 and mod2 have same address");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
val = protitcpt () + getitcpt1 () () + getitcpt2 () () + getitcpt3 () ();
|
|
|
|
if (val != 0x8440000)
|
|
|
|
{
|
|
|
|
printf ("\
|
|
|
|
pointers to `protitcpt' in mod1 or mod2 or mod3 incorrect (%#x)\n", val);
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
val = protitcpt () + callitcpt1 () + callitcpt2 () + callitcpt3 ();
|
|
|
|
if (val != 0x19540000)
|
|
|
|
{
|
|
|
|
printf ("calling of `protitcpt' leads to wrong result (%#x)\n", val);
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Now look at variables. First a variable which is available
|
|
|
|
everywhere. We must have three different addresses. */
|
|
|
|
if (protvarlocal == getvarlocal1 ())
|
|
|
|
{
|
|
|
|
puts ("`protvarlocal' in main and mod1 have same address");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
if (protvarlocal == getvarlocal2 ())
|
|
|
|
{
|
|
|
|
puts ("`protvarlocal' in main and mod2 have same address");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
if (getvarlocal1 () == getvarlocal2 ())
|
|
|
|
{
|
|
|
|
puts ("`protvarlocal' in mod1 and mod2 have same address");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
if (strcmp (protvarlocal, __FILE__) != 0)
|
|
|
|
{
|
|
|
|
puts ("`protvarlocal in main has wrong value");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
if (strcmp (getvarlocal1 (), "vismod1.c") != 0)
|
|
|
|
{
|
|
|
|
puts ("`getvarlocal1' returns wrong value");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
if (strcmp (getvarlocal2 (), "vismod2.c") != 0)
|
|
|
|
{
|
|
|
|
puts ("`getvarlocal2' returns wrong value");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* Now the case where there is no local definition. */
|
|
|
|
if (protvarinmod != getvarinmod1 ())
|
|
|
|
{
|
|
|
|
puts ("`protvarinmod' in main and mod1 have not same address");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
if (protvarinmod == getvarinmod2 ())
|
|
|
|
{
|
|
|
|
puts ("`protvarinmod' in main and mod2 have same address");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
if (strcmp (getvarinmod1 (), "vismod1.c") != 0)
|
|
|
|
{
|
|
|
|
puts ("`getvarinmod1' returns wrong value");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
if (strcmp (getvarinmod2 (), "vismod2.c") != 0)
|
|
|
|
{
|
|
|
|
puts ("`getvarinmod2' returns wrong value");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
/* And a test where a variable definition is intercepted. */
|
|
|
|
if (protvaritcpt == getvaritcpt1 ())
|
|
|
|
{
|
|
|
|
puts ("`protvaritcpt' in main and mod1 have same address");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
if (protvaritcpt == getvaritcpt2 ())
|
|
|
|
{
|
|
|
|
puts ("`protvaritcpt' in main and mod2 have same address");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
if (protvaritcpt != getvaritcpt3 ())
|
|
|
|
{
|
|
|
|
puts ("`protvaritcpt' in main and mod3 have not same address");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
if (getvaritcpt1 () == getvaritcpt2 ())
|
|
|
|
{
|
|
|
|
puts ("`protvaritcpt' in mod1 and mod2 have same address");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
if (strcmp (protvaritcpt, "vismod3.c") != 0)
|
|
|
|
{
|
|
|
|
puts ("`protvaritcpt in main has wrong value");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
if (strcmp (getvaritcpt1 (), "vismod1.c") != 0)
|
|
|
|
{
|
|
|
|
puts ("`getvaritcpt1' returns wrong value");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
if (strcmp (getvaritcpt2 (), "vismod2.c") != 0)
|
|
|
|
{
|
|
|
|
puts ("`getvaritcpt2' returns wrong value");
|
|
|
|
res = 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
return res;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
int
|
|
|
|
protlocal (void)
|
|
|
|
{
|
|
|
|
return 0x1;
|
|
|
|
}
|