[llvm-commits] [llvm] r64352 - /llvm/trunk/lib/Transforms/Scalar/SimplifyLibCalls.cpp

[Eli Friedman]

On Thu, Feb 12, 2009 at 1:08 AM, Duncan Sands <baldrick at free.fr> wrote:
> If we decided that nocapture means: "(really not captured) or (captured,
> but did something which results in undefined alias analysis results)",
> and say that pointer swizzling results in undefined alias analysis behavior,
> then all arguments to printf could be marked nocapture I guess.

I think it's pretty clearly legal to printf the value of a pointer to
a file, read it back in, and dereference it, although it's certainly a
bit unusual.

-Eli