missed uninitialised variable warning

[Gabriel Dos Reis]

dewar@gnat.com (Robert Dewar) writes:

| > void *x = &x;
| > 
| > This must work, and I don't see anything possibly dubious about it.
| 
| 
| Well I certainly find the formal semantics in the C++ standard tricky
| sometimes since it is not a standard that I am fully familiar with,
| but I am not sure I can deduce that this must always work from the
| formal semantics. But that may just be me :-)

The declarator "x" designates an object whose initial value is its own
address.

-- Gaby