uint32_t is promoted to a signed 64-bit value only if int is 64 bits. Even on 64-bit systems, int is typically 32 bits. Does TBAA mean type-based alias analysi

uint32_t is promoted to a signed 64-bit value only if int is 64 bits. Even on 64-bit systems, int is typically 32 bits. Does TBAA mean type-based alias analysis? https://en.wikipedia.org/wiki/Alias_analysis#Type-based_alias_analysis https://en.wikipedia.org/wiki/Alias_analysis#Type-based_alia... (EDIT: I keep forgetting HN doesn't support markdown.)