On Mon, Mar 21, 2016 at 01:36:22AM +0100, Joerg Sonnenberger wrote: > Here is a trivial test case showing that the basic problem exists for > both clang and gcc: > > int a, b > > int f(void) { > return &a != &b; > }
Do you perhaps mean "extern int a, b;"? That's an important distinction. In particular I can't find anything in C99 that guarantees that two such declarations for which storage is not reserved can't refer to the same object. -- David A. Holland dholl...@netbsd.org