https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110035
--- Comment #7 from Pontakorn Prasertsuk <ptk.prasertsuk at gmail dot com> --- For the LLVM IR code of the snippet I provided, Clang's alias analysis can prove that `new` call has no side effect to other memory location. This is indicated by `noalias` keyword at the return value of the `new` call (_Znwm). According to Clang's Language Reference: "On function return values, the noalias attribute indicates that the function acts like a system memory allocation function, returning a pointer to allocated storage disjoint from the storage for any other object accessible to the caller." Is this possible for GCC alias analysis pass?