[quote="emersonknapp, post:3, topic:7930"]
Anything not annotated doesnt get analyzed. The llvm libcxx implementation has the Capability annotations on its `std::mutex` implementation, but if you dont mark any data as `GUARDED_BY` the mutex, the analysis has nothing to operate on
[/quote]
Yep, that makes sense. What I'm wondering is does this have any impact on the analysis of threads that are annotated? If an annotated thread interacts with a non-annotated one, how trustworthy are the analysis results?
---
[Visit Topic](
https://discourse.ros.org/t/adding-clang-thread-safety-analysis-for-ros2-core-packages/7930/4) or reply to this email to respond.
If you do not want to receive messages from ros-users please use the unsubscribe link below. If you use the one above, you will stop all of ros-users from receiving updates.
______________________________________________________________________________
ros-users mailing list
ros-users@lists.ros.org
http://lists.ros.org/mailman/listinfo/ros-users
Unsubscribe: <
http://lists.ros.org/mailman//options/ros-users>
(text/plain)