[llvm-dev] lifetime.start/end

[Michael Kruse via llvm-dev]

Should we take work of the C
(http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2263.htm) and C++
(http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2019/p1797r0.html)
standard committee into account? The inconsistencies in both standards
and compiler implementations are being worked on. If we go with a
strict interpretation of current standard text, there are probably not
many optimizations left that we can do based on pointer origin. In
particular, N2090 criticizes that working for pointer equality (the
C11 wording) "is too strong" [1].

Michael

[1] http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2090.htm#q2.-can-equality-testing-on-pointers-be-affected-by-pointer-provenance-information