how to use uint64_t in C [duplicate]

Answer 1

1 is an int which is either only 32 bits on your platform, or it could be 64 bits but signed.

Use (uint64_t)1 << 63 to cast 1 to 64-bit unsigned integer first. (Or ((uint64_t)1) << 63 if you prefer)