[PATCH] D32198: [TySan] A Type Sanitizer (LLVM)

[CJ Johnson via Phabricator via llvm-commits]

CJ-Johnson added a comment.

@fhahn We don't currently enable `-fstrict-aliasing` at Google. I was exploring what it would take for us to get strict-aliasing clean. Unfortunately, after running some of our internal benchmarks, I found that there was little to no performance benefit.

In addition, running internal tests showed no failures, implying that the behavior had gone unchanged (at least for the unit tests I ran, which was not an insignificant amount). That being the case, it's conceivable that some cases are not being caught in the optimizer, though I'm not familiar enough with it to say for sure, nor do I have specific re-pro examples. I was simply trying to see "is this something we can turn on?" and was unable to find a benefit for doing so at this time.

I would love for someone to take a look at TySan and TBAA optimization in LLVM!


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D32198/new/

https://reviews.llvm.org/D32198