[llvm-commits] [llvm-gcc-4.2] r76208 - in /llvm-gcc-4.2/trunk/gcc: llvm-backend.cpp llvm-convert.cpp

[Anton Korobeynikov]

> Ah, it's deciding it's unreachable because of the *bar.  So it's not
> really a question of whether loading from an uninitialized alloca is
> defined, but whether the contents of the local are defined.
Right

> Okay, I guess... as long as it doesn't break tying a variable to an
> allocatable register.  (I'm specifically worried about a variable
> being overwritten because it gets allocated over.)
It's up to programmer. :) Note that we only translate loads and stores
to such variables (modelled as inline asm reading / writing to the
specified register), so I think this should be perfectly ok.

-- 
With best regards, Anton Korobeynikov
Faculty of Mathematics and Mechanics, Saint Petersburg State University