[llvm-dev] Possible soundness issue with available_externally (split from "RFC: Add guard intrinsics")
Sanjoy Das via llvm-dev
llvm-dev at lists.llvm.org
Wed Feb 24 22:45:22 PST 2016
Mehdi pointed out on IRC that my explanation is incorrect.
Specifically, in the case
I'm trying to sketch out, replacing the latter with the former will *not*
be a problem, since the latter won't have any function attributes added
by the virtue of being something from a comdat.
> I suppose you could have one instance of foo() inline bar() _before_
> any optimization, and another instance of foo() call a refined
> readnone bar. Then replacing the latter with the former will be
> a problem.
More information about the llvm-dev