[llvm-branch-commits] [compiler-rt] [llvm] [clang] [clang-tools-extra] [asan] isInterestingAlloca: remove the isAllocaPromotable condition (PR #77221)

[Vitaly Buka via llvm-branch-commits]

vitalybuka wrote:

> * If `getInterestingMemoryOperands` never calls
>   `StackSafetyGlobalInfo::getInfo`, and a MemIntrinsic is converted to
>   `__asan_memcpy` by `instrumentMemIntrinsic`, when
>   `StackSafetyGlobalInfo::getInfo` is called, StackSafetyAnalysis will
>   consider `__asan_memcpy` as unsafe, leading to an unnecessary
>   alloca instrumentation

We need to calculate StackSafetyGlobalInfo before inserting __asan_memcpy



https://github.com/llvm/llvm-project/pull/77221