arsenm wrote: > If the value to be analyzed is directly from addrspacecast, we take the source address space directly.
I don't think this is valid in general. You are allow to speculatively produce invalid addrspacecasts. For example: ``` __generic int* g_ptr = ...; __local int* l_ptr = (__local int*) g_ptr; if (is_shared(g_ptr)) *l_ptr = 1; ``` https://github.com/llvm/llvm-project/pull/108258 _______________________________________________ llvm-branch-commits mailing list llvm-branch-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
