[MacPorts] #52053: clang-3.8 @3.8.1_3 Sanitizer self-tests to check sanity
#52053: clang-3.8 @3.8.1_3 Sanitizer self-tests to check sanity -------------------------+-------------------------------- Reporter: hmijail@… | Owner: macports-tickets@… Type: enhancement | Status: new Priority: Normal | Milestone: Component: ports | Version: 2.3.4 Keywords: tests | Port: clang-3.8 -------------------------+-------------------------------- The official documentation for some of the clang sanitizers (for example, Thread Sanitizer) [http://clang.llvm.org/docs/ThreadSanitizer.html only mention Linux as supported]. However, the sanitizer is included in the OS X build, and seems to work - in that it seems to detect problems. On the other hand, at least one of those detected problems seems to be a false positive, so I can only wonder. Given that LLVM and Clang seem to include a lot of self-tests, using them would be a good way to check whether the sanitizers seem useable in OS X. I have tried building clang-3.8 with MacPorts and jumping in afterwards to run the tests, but it's complicated enough that I don't even know if they are there or need to be checked out and built additionally. I'm hoping that for the maintainers it might be easier to organize. -- Ticket URL: <https://trac.macports.org/ticket/52053> MacPorts <https://www.macports.org/> Ports system for OS X
#52053: clang-3.8 @3.8.1_3 Sanitizer self-tests to check sanity --------------------------+------------------------ Reporter: hmijail@… | Owner: jeremyhu@… Type: enhancement | Status: new Priority: Normal | Milestone: Component: ports | Version: Resolution: | Keywords: Port: clang-3.8 | --------------------------+------------------------ Changes (by mf2k@…): * cc: jeremyhu@… (removed) * keywords: tests => * version: 2.3.4 => * owner: macports-tickets@… => jeremyhu@… -- Ticket URL: <https://trac.macports.org/ticket/52053#comment:1> MacPorts <https://www.macports.org/> Ports system for OS X
#52053: clang-3.8 @3.8.1_3 Sanitizer self-tests to check sanity --------------------------+------------------------ Reporter: hmijail@… | Owner: jeremyhu@… Type: enhancement | Status: closed Priority: Normal | Milestone: Component: ports | Version: Resolution: invalid | Keywords: Port: clang-3.8 | --------------------------+------------------------ Changes (by jeremyhu@…): * status: new => closed * resolution: => invalid Comment: Yes, TSan is supported on macOS. We discussed it quite extensively at WWDC, and it is integrated quite nicely into Xcode 8. It doesn't look like anything is actually being reported here. -- Ticket URL: <https://trac.macports.org/ticket/52053#comment:2> MacPorts <https://www.macports.org/> Ports system for OS X
#52053: clang-3.8 @3.8.1_3 Sanitizer self-tests to check sanity --------------------------+------------------------ Reporter: hmijail@… | Owner: jeremyhu@… Type: enhancement | Status: closed Priority: Normal | Milestone: Component: ports | Version: Resolution: invalid | Keywords: Port: clang-3.8 | --------------------------+------------------------ Comment (by larryv@…): Replying to [ticket:52053 hmijail@…]:
However, the sanitizer is included in the OS X build, and seems to work - in that it seems to detect problems. On the other hand, at least one of those detected problems seems to be a false positive, so I can only wonder.
The sanitizers, like any code analysis tools, may report false positives. Such reports are not necessarily indicative of a build problem. If you feel that they are reporting issues that they should not be, you should work with upstream to fix it. -- Ticket URL: <https://trac.macports.org/ticket/52053#comment:3> MacPorts <https://www.macports.org/> Ports system for OS X
#52053: clang-3.8 @3.8.1_3 Sanitizer self-tests to check sanity --------------------------+------------------------ Reporter: hmijail@… | Owner: jeremyhu@… Type: enhancement | Status: closed Priority: Normal | Milestone: Component: ports | Version: Resolution: invalid | Keywords: Port: clang-3.8 | --------------------------+------------------------ Comment (by hmijail@…): Replying to [comment:2 jeremyhu@…]:
Yes, TSan is supported on macOS. We discussed it quite extensively at WWDC, and it is integrated quite nicely into Xcode 8.
That's nice to know. It's just a pity that it's not documented anywhere. That's why I turned to the code itself - and its tests. Anyway, thanks for letting me know.
It doesn't look like anything is actually being reported here.
It was an enhancement request, not a report. -- Ticket URL: <https://trac.macports.org/ticket/52053#comment:4> MacPorts <https://www.macports.org/> Ports system for OS X
#52053: clang-3.8 @3.8.1_3 Sanitizer self-tests to check sanity --------------------------+------------------------ Reporter: hmijail@… | Owner: jeremyhu@… Type: enhancement | Status: closed Priority: Normal | Milestone: Component: ports | Version: Resolution: invalid | Keywords: Port: clang-3.8 | --------------------------+------------------------ Comment (by hmijail@…): Replying to [comment:3 larryv@…]:
Replying to [ticket:52053 hmijail@…]:
However, the sanitizer is included in the OS X build, and seems to work - in that it seems to detect problems. On the other hand, at least one of those detected problems seems to be a false positive, so I can only wonder.
The sanitizers, like any code analysis tools, may report false positives. Such reports are not necessarily indicative of a build problem. If you feel that they are reporting issues that they should not be, you should work with upstream to fix it.
I'll gladly do that, but first I needed to know if the code was supposed to work at all on Mac OS X. -- Ticket URL: <https://trac.macports.org/ticket/52053#comment:5> MacPorts <https://www.macports.org/> Ports system for OS X
#52053: clang-3.8 @3.8.1_3 Sanitizer self-tests to check sanity --------------------------+------------------------ Reporter: hmijail@… | Owner: jeremyhu@… Type: enhancement | Status: closed Priority: Normal | Milestone: Component: ports | Version: Resolution: invalid | Keywords: Port: clang-3.8 | --------------------------+------------------------ Comment (by hmijail@…): In fact, knowing that TSan will be included in XCode 8 helps very little. That is future, and Apple builds its own clang - so I don't know how that matters at all for MacPorts' current clang 3.8. So, again: the *current* Clang 3.8 does include a TSan. Does that work on OS X? No idea, no documentation, though it SEEMS to work. The self-tests at least would give an indication. -- Ticket URL: <https://trac.macports.org/ticket/52053#comment:6> MacPorts <https://www.macports.org/> Ports system for OS X
#52053: clang-3.8 @3.8.1_3 Sanitizer self-tests to check sanity --------------------------+------------------------ Reporter: hmijail@… | Owner: jeremyhu@… Type: enhancement | Status: closed Priority: Normal | Milestone: Component: ports | Version: Resolution: invalid | Keywords: Port: clang-3.8 | --------------------------+------------------------ Comment (by jeremyhu@…): Our ("Apple") version of TSan and ASan are *very* close to the OSS (ie "MacPorts") versions. There are only a couple very minor patches on top of the OSS versions for things that are more specific to our internal environment. The meat of the sanitizers is the same as the OSS version. TSan in 3.8 and 3.9 should be quite usable and reliable on OS X. As for the documentation, please file an upstream bug. -- Ticket URL: <https://trac.macports.org/ticket/52053#comment:7> MacPorts <https://www.macports.org/> Ports system for OS X
#52053: clang-3.8 @3.8.1_3 Sanitizer self-tests to check sanity --------------------------+------------------------ Reporter: hmijail@… | Owner: jeremyhu@… Type: enhancement | Status: closed Priority: Normal | Milestone: Component: ports | Version: Resolution: invalid | Keywords: Port: clang-3.8 | --------------------------+------------------------ Comment (by hmijail@…): OK, thank you. -- Ticket URL: <https://trac.macports.org/ticket/52053#comment:8> MacPorts <https://www.macports.org/> Ports system for OS X
participants (1)
-
MacPorts