Enna1 wrote: > @fhahn can TySan be made to trap when it detects a problem? I tried > `-fsanitize-trap=type` but got: > > `clang++: error: unsupported argument 'type' to option '-fsanitize-trap='` > > `-fsanitize-trap=all` does not seem to result in TySan trapping, only > logging...
`-fsanitize-trap` only supports UBSan and CFI, see https://github.com/llvm/llvm-project/blob/main/clang/lib/Driver/SanitizerArgs.cpp#L66. If we want TySan to stop and abort when it detects first type-based aliasing violation, I would suggest implement `halt_on_error` support for TySan and default `halt_on_error` to false. For reference, TSan defaults `halt_on_error` to false, see https://github.com/llvm/llvm-project/blob/main/compiler-rt/lib/tsan/rtl/tsan_flags.inc#L45. https://github.com/llvm/llvm-project/pull/76261 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
