[PATCH] D75815: [InstCombine] Simplify calls with "returned" attribute

[Roman Lebedev via Phabricator via llvm-commits]

lebedev.ri added a comment.

I'm going to guess `__attribute__((no_sanitize()))` needs to also imply (read: implicitly add) `noinline` attribute,
but even that is not sufficient to block inter-procedural optimizations.
See also disscussion in https://reviews.llvm.org/D53431

All these semantic guarantees for sanitize_memory functions are rather underspecified in langref.
I'm not sure it is good idea to try to enforce them without codifying them first.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D75815