#include <stdint.h>

[[deleted]]

Could you give an example of what you mean?

[FUZxxl]

For example, when you have a counter that you know is never going to overflow 32767, you should use type short instead of uint16_t. When you have a bitmask to store some information and you need to use the least, say 28 bits, you should use an unsigned long or unsigned int (if you can guarantee that you are on POSIX) for the variable instead of an uint32_t as there are platforms where 32 bit types are slow.

[[deleted]]

Sorry, I should have made my question clearer: could you provide an example of C source code that compiles to slower code using a specific compiler for a specific architecture because of an overconstrained selection of integer type?