C has the "restrict" keyword to indicate that no aliasing should occur.