Does c99/c++03 guarantee that &a+1 > &a is always true?

for example, there's a (c-like) std::copy, and

int a = 0 ;
int b[9] ;
std__copy(&a , &a+1 , b) ;

Does this always work?

Edit
Report