False memory dependeces

[Alessandro Lonardo]

Is there any support in gcc to eliminate false dependences beetwen 
instructions that perform memory access?
Example:

a[i]   = b[i] //1
a[i+1] = c[i] //2

I would like to emit the r-value of line 2 before emitting the l-value 
of line 1.
It would be fine also to have the possibility of emitting a pragma of 
the kind:
c[] is not overalapping with a[] in memory.

Thanks in advance,


Alessandro Lonardo.