It is possible to get false positives, as
<citerefentry><refentrytitle>witness
</refentrytitle><manvolnum>4
</manvolnum></citerefentry> is conservative. A true positive report
<emphasis>does not
</emphasis> mean that a system is dead-locked; instead it should be understood as a warning that a
deadlock could have happened here.