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
|
// Test for ANNOTATE_BENIGN_RACE_STATIC() and ANNOTATE_UNPROTECTED_READ().
#include <pthread.h> /* pthread_create() */
#include <stdio.h> /* fprintf() */
#include "../../drd/drd.h"
/* Local variables. */
static int s_i;
static volatile int s_j;
ANNOTATE_BENIGN_RACE_STATIC(s_i, "Benign because duplicate assignment.");
/* Local functions. */
static inline void AnnotateIgnoreReadsBegin() { ANNOTATE_IGNORE_READS_BEGIN(); }
static inline void AnnotateIgnoreReadsEnd() { ANNOTATE_IGNORE_READS_END(); }
static void* thread_func(void*)
{
#if defined(__powerpc__) && __GNUC__ -0 == 4 && __GNUC_MINOR__ -0 == 3 \
&& __GNUC_PATCHLEVEL__ -0 == 0
AnnotateIgnoreReadsBegin();
int i = s_j;
AnnotateIgnoreReadsEnd();
s_i = i;
#else
s_i = ANNOTATE_UNPROTECTED_READ(s_j);
#endif
return 0;
}
int main(int argc, char** argv)
{
pthread_t tid;
pthread_create(&tid, 0, thread_func, NULL);
s_j++;
s_i = s_j;
pthread_join(tid, NULL);
fprintf(stderr, "Done.\n");
return 0;
}
|
