C++: More builtins and information regarding this param refs

[jketema]

See internal PR for details.

[Copilot]

Pull request overview

This PR adds support for new compiler builtin operations and enhances tracking of implicit object parameter accesses in C++.

Changes:

• Added support for three new C++ builtin type trait operations: __is_bitwise_cloneable, __is_invocable, and __is_nothrow_invocable
• Added database schema tracking for param_ref_to_this to identify when parameter references are to implicit object parameters
• Updated compiler version requirements in test files to support the new builtins

Reviewed changes

Copilot reviewed 15 out of 16 changed files in this pull request and generated 3 comments.

Show a summary per file

File	Description
cpp/ql/lib/semmle/code/cpp/exprs/BuiltInOperations.qll	Added QL classes for the three new builtin operations
cpp/ql/lib/semmle/code/cpp/exprs/Access.qll	Added isThisAccess() predicate to ParamAccessForType
cpp/ql/lib/semmlecode.cpp.dbscheme	Added new expression kinds (394-396) and param_ref_to_this table
cpp/ql/test/library-tests/builtins/type_traits/*.cpp	Updated compiler versions and added test cases for new builtins
cpp/ql/test/library-tests/builtins/type_traits/expr.expected	Updated expected test results
cpp/ql/lib/upgrades/*/upgrade.properties	Database upgrade metadata
cpp/downgrades/*/exprs.ql	Downgrade logic to handle new expression kinds

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.