Simone Atzeni

Results 26 comments of Simone Atzeni

@rolandschulz thanks for reporting these issues. I'll look into it as soon as I can and get back to you.

@jprotze With or without Archer is not working on OSX. I can't figure out if it's a Archer or a Tsan problem.

@jprotze I need to double check, but if I remember correctly when I don't link with Archer the races are detected but we get false positives on the tests with...

The problem is that we could have a program that only has some parts/sources/modules/libraries built with the instrumentation, and some that are not. So we could check if the program...

Even if you are looking for symbols from other libraries? I thought it was just a problem with the OMPT symbols

@dongahn why nm or BFD would be heavyweight? It's just a one time check at the OMPT initialization, it shouldn't add that much overhead. I don't think TSan leave any...

we can create such Annotation if missing and if it works we can try to propose it to the LLVM folks

@jprotze yes that would totally work. I am currently doing some bug fixing and changing the Instrumentation pass to work with Clang/LLVM 6.0. We can add it in the next...

@jprotze I tried RunningOnValgrind and it does not get called by Tsan. Take a look to this thread for a possible way to find out if the program is running...

@jprotze Looks good. Maybe add `return 0;` at the end of `runOnValgrind`? Do you get warnings at compile time? Otherwise looks good, you can do a PR to the branch...