diff options
Diffstat (limited to 'gcc-4.9/gcc/testsuite/c-c++-common/tsan/free_race2.c')
-rw-r--r-- | gcc-4.9/gcc/testsuite/c-c++-common/tsan/free_race2.c | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/c-c++-common/tsan/free_race2.c b/gcc-4.9/gcc/testsuite/c-c++-common/tsan/free_race2.c new file mode 100644 index 000000000..3971180c2 --- /dev/null +++ b/gcc-4.9/gcc/testsuite/c-c++-common/tsan/free_race2.c @@ -0,0 +1,28 @@ +/* { 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.* by main thread:(\n|\r\n|\r)" } */ +/* { dg-output " #0 bar.*" } */ +/* { dg-output " #1 main .*" } */ +/* { dg-output " Previous write of size 8 at .* by main thread:(\n|\r\n|\r)" } */ +/* { dg-output " #0 free .*" } */ +/* { dg-output " #\(1|2\) foo.*(\n|\r\n|\r)" } */ +/* { dg-output " #\(2|3\) main .*" } */ + |