bart | 5f3be75 | 2009-08-11 15:00:54 +0000 | [diff] [blame] | 1 | /* Test program for the annotations that suppress both reads and writes. */ |
| 2 | |
| 3 | #include <assert.h> /* assert() */ |
| 4 | #include <pthread.h> |
| 5 | #include <stdio.h> /* EOF */ |
| 6 | #include <unistd.h> /* getopt() */ |
| 7 | #include "../../drd/drd.h" |
| 8 | |
| 9 | static int s_a; |
| 10 | static int s_b; |
bart | bcc8449 | 2009-08-12 07:03:30 +0000 | [diff] [blame] | 11 | static int s_c; |
bart | 5f3be75 | 2009-08-11 15:00:54 +0000 | [diff] [blame] | 12 | |
| 13 | static void* thread_func(void* arg) |
| 14 | { |
| 15 | /* Read s_a and modify s_b. */ |
| 16 | s_b = s_a; |
bart | bcc8449 | 2009-08-12 07:03:30 +0000 | [diff] [blame] | 17 | /* Modify s_c. */ |
| 18 | s_c = 1; |
bart | 5f3be75 | 2009-08-11 15:00:54 +0000 | [diff] [blame] | 19 | |
| 20 | return NULL; |
| 21 | } |
| 22 | |
| 23 | int main(int argc, char** argv) |
| 24 | { |
| 25 | int optchar; |
| 26 | int ign_rw = 1; |
| 27 | pthread_t tid; |
bart | 31b983d | 2010-02-21 14:52:59 +0000 | [diff] [blame] | 28 | |
bart | 5f3be75 | 2009-08-11 15:00:54 +0000 | [diff] [blame] | 29 | while ((optchar = getopt(argc, argv, "r")) != EOF) |
| 30 | { |
| 31 | switch (optchar) |
| 32 | { |
| 33 | case 'r': |
| 34 | ign_rw = 0; |
| 35 | break; |
| 36 | default: |
| 37 | assert(0); |
| 38 | } |
| 39 | } |
| 40 | |
| 41 | pthread_create(&tid, 0, thread_func, 0); |
| 42 | if (ign_rw) |
| 43 | ANNOTATE_IGNORE_READS_AND_WRITES_BEGIN(); |
| 44 | /* Read s_b and modify s_a. */ |
| 45 | s_a = s_b; |
| 46 | if (ign_rw) |
| 47 | ANNOTATE_IGNORE_READS_AND_WRITES_END(); |
bart | bcc8449 | 2009-08-12 07:03:30 +0000 | [diff] [blame] | 48 | |
| 49 | /* |
| 50 | * Insert a delay here in order to make sure the load of s_c happens |
| 51 | * after s_c has been modified. |
| 52 | */ |
| 53 | sleep(1); |
| 54 | |
| 55 | /* Read s_c. */ |
sewardj | 6d06b39 | 2011-04-21 23:05:49 +0000 | [diff] [blame^] | 56 | fprintf(stderr, "%s", "x" + s_c); |
bart | bcc8449 | 2009-08-12 07:03:30 +0000 | [diff] [blame] | 57 | |
bart | 5f3be75 | 2009-08-11 15:00:54 +0000 | [diff] [blame] | 58 | pthread_join(tid, 0); |
| 59 | |
| 60 | fprintf(stderr, "Finished.\n"); |
| 61 | |
| 62 | return 0; |
| 63 | } |