mirror of
https://github.com/github/codeql.git
synced 2025-12-17 09:13:20 +01:00
764 B
764 B
4.3.0
New Features
- New classes
TypeofType,TypeofExprType, andTypeofTypeTypewere introduced, which represent the C23typeofandtypeof_unqualoperators. TheTypeofExprTypeclass represents the variant taking an expression as its argument. TheTypeofTypeTypeclass represents the variant taking a type as its argument. - A new class
IntrinsicTransformedTypewas introduced, which represents the type transforming intrinsics supported by clang, gcc, and MSVC. - Introduced
hasDesignator()predicates to distinguish between designated and positional initializations for both struct/union fields and array elements. - Added the
isVla()predicate to theArrayTypeclass. This allows queries to identify variable-length arrays (VLAs).