https://llvm.org/bugs/show_bug.cgi?id=27757
Bug ID: 27757
Summary: Don't track pthread_exit
Product: clang
Version: unspecified
Hardware: PC
OS: Linux
Status: NEW
Severity: normal
Priority: P
Component: Static Analyzer
Assignee: [email protected]
Reporter: [email protected]
CC: [email protected]
Classification: Unclassified
Clang analyzer don't stop after a pthread_exit and report false error.
You can run it with https://github.com/RetroShare/RetroShare
Memory Error: Double free: Attempt to free released memory
1: Calling 'UdpLayer::recv_loop' in
/home/user/GIT/RetroShare/trunk/libbitdht/src/udp/udplayer.cc:240
2: Memory is allocated in
/home/user/GIT/RetroShare/trunk/libbitdht/src/udp/udplayer.cc:247
3: Entering loop body in
/home/user/GIT/RetroShare/trunk/libbitdht/src/udp/udplayer.cc:258
4: Entering loop body in
/home/user/GIT/RetroShare/trunk/libbitdht/src/udp/udplayer.cc:261
5: Assuming 'toStop' is not equal to 0 in
/home/user/GIT/RetroShare/trunk/libbitdht/src/udp/udplayer.cc:270
6: Memory is released in
/home/user/GIT/RetroShare/trunk/libbitdht/src/udp/udplayer.cc:275
7: Assuming 'status' is <= 0 in
/home/user/GIT/RetroShare/trunk/libbitdht/src/udp/udplayer.cc:284
8: Assuming 'status' is >= 0 in
/home/user/GIT/RetroShare/trunk/libbitdht/src/udp/udplayer.cc:288
9: Looping back to the head of the loop in
/home/user/GIT/RetroShare/trunk/libbitdht/src/udp/udplayer.cc:261
10: Entering loop body in
/home/user/GIT/RetroShare/trunk/libbitdht/src/udp/udplayer.cc:261
11: Assuming 'toStop' is not equal to 0 in
/home/user/GIT/RetroShare/trunk/libbitdht/src/udp/udplayer.cc:270
12: Attempt to free released memory in
/home/user/GIT/RetroShare/trunk/libbitdht/src/udp/udplayer.cc:275
--
You are receiving this mail because:
You are on the CC list for the bug.
_______________________________________________
llvm-bugs mailing list
[email protected]
http://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
