CodeQL library for C/C++
codeql/cpp-all 0.12.10 (changelog, source)

Member predicate PaddedType::isPrecise

Holds if, for each architecture, a single padded size is calculated for this type. This is normally the case, but sometimes the same type can be defined in different compilations with different sizes, normally due to use of the preprocessor in its definition.

predicate isPrecise()