This is the only valid case I know of.

LLVM requires this too: "An explicit alignment may be specified for a global, which must be a power of 2."

Requiring it to be a power of two makes it easier to combine alignment constraints: you take the "max" rather than the least-common-multiple.