[llvm-dev] Possible soundness issue with available_externally (split from "RFC: Add guard intrinsics")

[Sanjoy Das via llvm-dev]

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.

-- Sanjoy