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

Reply via email to