would like to know the situations that inhibit Inspector
XE to detect data races and deadlock for sure. For example,
Inspector XE does not detect data races in region of code that is not executed.
I would like to know about other cases as well.
Moreover, I would like to know if there are possibilities
(and if answer is yes, please give examples) that Inspector will report on data
races and deadlock that were not occurred.
Thanks in advance.