Viewing file:  sync-mis-op-s-1.c (2.34 KB) -rw-r--r--
Select action/file-type:
 (+) |  (+) |  (+) | Code (+) | Session (+) |  (+) | SDB (+) |  (+) |  (+) |  (+) |  (+) |  (+) |
/* { dg-do run { target { ! *-*-* } } } */
/* { dg-additional-sources "../sync-1.c" } */
/* { dg-options "-Dop -Dtype=short -mno-unaligned-atomic-may-use-library" } */
/* Make sure we get a SIGTRAP or equivalent when passing unaligned
but otherwise valid pointers to the atomic builtins. */
#include <signal.h>
#include <stdlib.h>
#ifndef type
#error type not defined
#endif
#ifndef op
#define op 0
#endif
#ifndef xchg
#define xchg 0
#endif
#if op
int sfa (type *p, type *q, int a);
#endif
#if xchg
void acen (type *ptr, type *val, type *ret);
#endif
#ifndef misalignment
#define misalignment 1
#endif
volatile int trap_expected = 0;
struct { char x[misalignment]; type i; } s __attribute__ ((__aligned__ (4)))
= { {0}, (type) 0xdeadbeef };
type x = 2;
type ret = 42;
#ifdef TRAP_USING_ABORT
#define SYMSTR(x) STR1(__USER_LABEL_PREFIX__, x)
#define STR1(x,y) STR2(x, y)
#define STR2(x,y) #x #y
/* LTO requires marking seemingly-unused-but-used global functions. */
void my_abort (void) __asm__ (SYMSTR (abort)) __attribute__ ((__used__));
void my_abort (void)
#else
#error "can't catch break 8"
#endif
{
if (1
#ifndef TRAP_USING_ABORT
&& signum == SIGTRAP
#endif
&& trap_expected
&& s.i == (type) 0xdeadbeef
&& x == 2 && ret == 42)
exit (0);
#ifdef TRAP_USING_ABORT
/* We might be able to trust the exit-value getting through, but add
a NULL-dereference SEGV just in case. Make sure gcc doesn't
understand the NULL. */
*({ int *p; asm ("" : "=rm" (p) : "0" (0)); p; }) = 0xdead;
exit (2);
#else
abort ();
#endif
}
int main(void)
{
type ret;
#ifndef mis_ok
trap_expected = 1;
#endif
#if op
sfa (&s.i, &s.i, 42);
/* We should have fallen into the trap now. But don't call abort
yet: if the trap is implemented as a call to abort, we have to
tell the difference. Set a global variable *and* make sure the
setting isn't eliminated by optimizers: another call to sfa
should do it. */
trap_expected = 0;
#ifdef mis_ok
/* We're missing a sequence point, but we shouldn't have the initial
value. */
if (s.i == (type) 0xdeadbeef)
abort ();
exit (0);
#endif
sfa (&x, &x, 1);
#else
acen (&s.i, &x, &ret);
#ifdef mis_ok
if (s.i != 2 || x != 2 || ret != (type) 0xdeadbeef)
abort ();
exit (0);
#endif
trap_expected = 0;
acen (&x, &x, &ret);
#endif
abort ();
}
|
