efriedma-quic wrote: This isn't really the right place to add this code; we should be doing it alongside all the other attributes on function definitions...
That said: - I'm not sure this matches the requirements for C++ semantics; noalias is very aggressive, so we might end up with undefined behavior in unintended cases. I'd like someone familiar with the relevant standard bits to comment on the requirements here. CC @zygoloid - Even if it does, somehow, match the standard requirements, I'd be worried about breaking someone's code anyway. What's the practical fallout from this? Do we need a flag to control it? https://github.com/llvm/llvm-project/pull/136792 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
