https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78214
--- Comment #1 from Levi Morrison <levim at php dot net> --- Perhaps a less error-prone way to set that same bit is: UINT64_C(0x1) << 47 Not sure what would be preferred.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78214
--- Comment #1 from Levi Morrison <levim at php dot net> --- Perhaps a less error-prone way to set that same bit is: UINT64_C(0x1) << 47 Not sure what would be preferred.