================ @@ -68,8 +71,8 @@ $ cmake -DCMAKE_BUILD_TYPE=Release -DLLVM_ENABLE_PROJECTS="clang" -DLLVM_ENABLE_ Compile and link your program with `-fsanitize=type` flag. The TypeSanitizer run-time library should be linked to the final executable, so -make sure to use `clang` (not `ld`) for the final link step. To -get a reasonable performance add `-O1` or higher. +make sure to use ``clang`` (not ``ld``) for the final link step. To increase performance, you can optimise with ``-O1``. +Higher levels of optimization may result in false-negatives as incorrect code fragments may get optimized out incorrectly. ---------------- gbMattN wrote:
I'm a bit leery of putting implementation details in the docs like that; how about something like ``` Higher levels of optimization may result in certain strict type aliasing violations being optimized away (perhaps leading to unintended behavior). This results in the instrumentation giving users false-negatives. ``` - reclarifies that it is strict aliasing violations that get removed rather than just "incorrect code"? https://github.com/llvm/llvm-project/pull/205577 _______________________________________________ cfe-commits mailing list [email protected] https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
