diff options
Diffstat (limited to 'gcc-4.9/gcc/testsuite/c-c++-common/tsan/free_race.c')
-rw-r--r-- | gcc-4.9/gcc/testsuite/c-c++-common/tsan/free_race.c | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/c-c++-common/tsan/free_race.c b/gcc-4.9/gcc/testsuite/c-c++-common/tsan/free_race.c new file mode 100644 index 000000000..258f7b742 --- /dev/null +++ b/gcc-4.9/gcc/testsuite/c-c++-common/tsan/free_race.c @@ -0,0 +1,27 @@ +/* { dg-shouldfail "tsan" } */ + +#include <stdlib.h> + +void __attribute__((noinline)) foo(int *mem) { + free(mem); +} + +void __attribute__((noinline)) bar(int *mem) { + mem[0] = 42; +} + +int main() { + int *mem =(int*)malloc (100); + foo(mem); + bar(mem); + return 0; +} + +/* { dg-output "WARNING: ThreadSanitizer: heap-use-after-free.*(\n|\r\n|\r)" } */ +/* { dg-output " Write of size 4 at.* by main thread:(\n|\r\n|\r)" } */ +/* { dg-output " #0 bar.*(\n|\r\n|\r)" } */ +/* { dg-output " #1 main.*(\n|\r\n|\r)" } */ +/* { dg-output " Previous write of size 8 at.* by main thread:(\n|\r\n|\r)" } */ +/* { dg-output " #0 free.*(\n|\r\n|\r)" } */ +/* { dg-output " #\(1|2\) foo.*(\n|\r\n|\r)" } */ +/* { dg-output " #\(2|3\) main.*(\n|\r\n|\r)" } */ |