For other CodeQL resources, including tutorials and examples, see Learning CodeQL
Gets the padded size of type t on this architecture; that is,
the number of bits that ‘sizeof’ should return, taking into account
any trailing padding on top of the bit size.
int paddedSize(Type t)