https://bugs.llvm.org/show_bug.cgi?id=46656
Bug ID: 46656
Summary: False positives when using
std::condition_variable::wait_for
Product: compiler-rt
Version: unspecified
Hardware: PC
OS: Linux
Status: NEW
Severity: enhancement
Priority: P
Component: tsan
Assignee: unassignedb...@nondot.org
Reporter: jchorko+cl...@gmail.com
CC: llvm-bugs@lists.llvm.org
Created attachment 23709
--> https://bugs.llvm.org/attachment.cgi?id=23709&action=edit
Example program that demonstrates issue
Thread sanitizer reports false positive double locks and data races when
std::condition_variable::wait_for is used.
std::condition_variable::wait_for is implemented using pthread_cond_clockwait
when available (GLIBC >= 2.30 or Android API >= 30, see
https://reviews.llvm.org/D65339) instead of pthread_cond_timedwait, but there
is no interceptor for this function in
compiler-rt/lib/tsan/rtl/tsan_interceptors_posix.cpp
Issue can be reproduced with attached program test_case.cpp, compiled with
-fsanitize=thread -stdlib=libc++ flags on current trunk (tested on
fb75451775f83c04d53e4e94bb4bd298ea9a882f)
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
