blob: 6c70684d72a887c49b02ecb17ca097da81a9168f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
|
/* { dg-do run } */
/* { dg-require-effective-target hwaddress_exec } */
/* { dg-shouldfail "hwasan" } */
/* { dg-additional-options "-lpthread" } */
/* This checks the interceptor ABI pthread hooks.
The stack of the thread that is finishing must be cleared of shadow tags
when that thread exits. */
#include <pthread.h>
#ifdef __cplusplus
extern "C" {
#endif
extern int printf (char const *, ...);
#ifdef __cplusplus
}
#endif
typedef __UINTPTR_TYPE__ uintptr_t;
typedef __UINT64_TYPE__ uint64_t;
__attribute__ ((noinline))
void * Ident (void * argument)
{
return argument;
}
void *
pthread_stack_is_cleared (void *argument)
{
(void)argument;
int internal_array[16] = {0};
return Ident((void*)internal_array);
}
int
main (int argc, char **argv)
{
int argument[100] = {0};
argument[1] = 10;
pthread_t thread_index;
pthread_create (&thread_index, NULL, pthread_stack_is_cleared, (void*)argument);
void *retval;
pthread_join (thread_index, &retval);
printf ("(should fail): ");
printf ("value left in stack is: %d\n", ((int *)retval)[0]);
return (uintptr_t)retval;
}
/* { dg-output "HWAddressSanitizer: tag-mismatch on address 0x\[0-9a-f\]*.*" } */
/* { dg-output "READ of size 4 at 0x\[0-9a-f\]* tags: \[\[:xdigit:\]\]\[\[:xdigit:\]\]/00 \\(ptr/mem\\) in thread T0.*" } */
/* { dg-output "SUMMARY: HWAddressSanitizer: tag-mismatch \[^\n\]*.*" } */
|
