[Bug middle-end/33279] Failed to warn uninitialized stack variable

[Andrew Pinski]

On 2 Sep 2007 13:56:13 -0000, hjl at lucon dot org
<gcc-bugzilla@gcc.gnu.org> wrote:
> What does bar get back to? Are you saying if a pointer is passed to bar,
> it can get back to any original struct where the pointer is a field?


It only matters at the context at the point bar is called with the
struct.  No other place matters.  It does not matter if bar can be
called with a simple array (that will cause undefined code if bar
tries to go before the array) as it still can be using pointer
arithmetic.