https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50417
--- Comment #25 from npl at chello dot at --- Yes, that works fine. I just meant to say it needs more work than casting to a type with less alignment, and unless explicitly marked with this pragma you can expect a compiler to access like the (deduced) type was properly aligned.
