add __builtin_may_alias for alias testing