Can assert() actually function this way?  Can you use assert to tell the optimizer it can assume something is true?<p>I&#x27;ve noticed that memcpy(x, y, 4) on x86 can generate very efficient code (register move), but on ARM it expands to something much more verbose because the addresses might not be aligned.<p>Could this effectively function as a way of promising to the compiler that the addresses are aligned?<p><pre><code>    void move4_aligned(void *dst, const void *src) {
      assert(((uintptr_t)dst &amp; 0x3) == 0);
      assert(((uintptr_t)src &amp; 0x3) == 0);
      memcpy(dst, src, 4);
    }</code></pre>