From: Qing Zhao <qing.z...@oracle.com> Date: Wed, 12 Jul 2017 08:49:52 -0500
> and it also clearly mentioned that “specially aligned memory might > use this constraint”. It guarantees the achieve the opposite of what you are trying to do. That is, it can be used to guarantee that something is aligned to a multiple of X or greater. What you want is to know that something is guaranteed to be aligned less strongly that X. And that invariant is not provided for.