8acc9f485b
Two modifications:
1. The addition of 2013 to the copyright year range for every file;
2. The use of a single year range, instead of potentially multiple
year ranges, as approved by the FSF.
172 lines
3.5 KiB
C
172 lines
3.5 KiB
C
/* Test case for forgotten hw-watchpoints after fork()-off of a process.
|
|
|
|
Copyright 2012-2013 Free Software Foundation, Inc.
|
|
|
|
This file is part of GDB.
|
|
|
|
This program is free software; you can redistribute it and/or modify
|
|
it under the terms of the GNU General Public License as published by
|
|
the Free Software Foundation; either version 3 of the License, or
|
|
(at your option) any later version.
|
|
|
|
This program 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 General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with this program; if not, see <http://www.gnu.org/licenses/>. */
|
|
|
|
#include <assert.h>
|
|
#include <unistd.h>
|
|
#include <sys/wait.h>
|
|
#include <stdio.h>
|
|
#include <stdlib.h>
|
|
#include <pthread.h>
|
|
|
|
#include <asm/unistd.h>
|
|
#include <unistd.h>
|
|
#define gettid() syscall (__NR_gettid)
|
|
|
|
#include "watchpoint-fork.h"
|
|
|
|
/* Non-atomic `var++' should not hurt as we synchronize the threads by the STEP
|
|
variable. Hit-comments need to be duplicated there to catch both at-stops
|
|
and behind-stops, depending on the target. */
|
|
|
|
volatile int var;
|
|
|
|
void
|
|
marker (void)
|
|
{
|
|
}
|
|
|
|
static void
|
|
empty (void)
|
|
{
|
|
}
|
|
|
|
static void
|
|
mark_exit (void)
|
|
{
|
|
}
|
|
|
|
pthread_t thread;
|
|
volatile int step;
|
|
|
|
static void *
|
|
start (void *arg)
|
|
{
|
|
int i;
|
|
|
|
if (step >= 3)
|
|
goto step_3;
|
|
|
|
while (step != 1)
|
|
{
|
|
i = pthread_yield ();
|
|
assert (i == 0);
|
|
}
|
|
|
|
var++; /* validity-thread-B */
|
|
empty (); /* validity-thread-B */
|
|
step = 2;
|
|
while (step != 3)
|
|
{
|
|
if (step == 99)
|
|
goto step_99;
|
|
|
|
i = pthread_yield ();
|
|
assert (i == 0);
|
|
}
|
|
|
|
step_3:
|
|
if (step >= 5)
|
|
goto step_5;
|
|
|
|
var++; /* after-fork1-B */
|
|
empty (); /* after-fork1-B */
|
|
step = 4;
|
|
while (step != 5)
|
|
{
|
|
if (step == 99)
|
|
goto step_99;
|
|
|
|
i = pthread_yield ();
|
|
assert (i == 0);
|
|
}
|
|
|
|
step_5:
|
|
var++; /* after-fork2-B */
|
|
empty (); /* after-fork2-B */
|
|
return (void *) 5UL;
|
|
|
|
step_99:
|
|
/* We must not get caught here (against a forgotten breakpoint). */
|
|
var++;
|
|
marker ();
|
|
return (void *) 99UL;
|
|
}
|
|
|
|
int
|
|
main (void)
|
|
{
|
|
int i;
|
|
void *thread_result;
|
|
|
|
setbuf (stdout, NULL);
|
|
printf ("main: %d\n", (int) gettid ());
|
|
|
|
/* General hardware breakpoints and watchpoints validity. */
|
|
marker ();
|
|
var++; /* validity-first */
|
|
empty (); /* validity-first */
|
|
|
|
i = pthread_create (&thread, NULL, start, NULL);
|
|
assert (i == 0);
|
|
|
|
var++; /* validity-thread-A */
|
|
empty (); /* validity-thread-A */
|
|
step = 1;
|
|
while (step != 2)
|
|
{
|
|
i = pthread_yield ();
|
|
assert (i == 0);
|
|
}
|
|
|
|
/* Hardware watchpoints got disarmed here. */
|
|
forkoff (1);
|
|
|
|
var++; /* after-fork1-A */
|
|
empty (); /* after-fork1-A */
|
|
step = 3;
|
|
#ifdef FOLLOW_CHILD
|
|
/* Spawn new thread as it was deleted in the child of FORK. */
|
|
i = pthread_create (&thread, NULL, start, NULL);
|
|
assert (i == 0);
|
|
#endif
|
|
while (step != 4)
|
|
{
|
|
i = pthread_yield ();
|
|
assert (i == 0);
|
|
}
|
|
|
|
/* A sanity check for double hardware watchpoints removal. */
|
|
forkoff (2);
|
|
|
|
var++; /* after-fork2-A */
|
|
empty (); /* after-fork2-A */
|
|
step = 5;
|
|
#ifdef FOLLOW_CHILD
|
|
/* Spawn new thread as it was deleted in the child of FORK. */
|
|
i = pthread_create (&thread, NULL, start, NULL);
|
|
assert (i == 0);
|
|
#endif
|
|
|
|
i = pthread_join (thread, &thread_result);
|
|
assert (i == 0);
|
|
assert (thread_result == (void *) 5UL);
|
|
|
|
mark_exit ();
|
|
return 0;
|
|
}
|