diff options
Diffstat (limited to 'lib/tsan/output_tests/free_race2.c')
-rw-r--r-- | lib/tsan/output_tests/free_race2.c | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/lib/tsan/output_tests/free_race2.c b/lib/tsan/output_tests/free_race2.c new file mode 100644 index 0000000..7b2bdec --- /dev/null +++ b/lib/tsan/output_tests/free_race2.c @@ -0,0 +1,26 @@ +#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; +} + +// CHECK: WARNING: ThreadSanitizer: heap-use-after-free +// CHECK: Write of size 4 at {{.*}} by main thread: +// CHECK: #0 bar +// CHECK: #1 main +// CHECK: Previous write of size 8 at {{.*}} by main thread: +// CHECK: #0 free +// CHECK: #1 foo +// CHECK: #2 main + |