A12-8-6: Compiler generated special functions are not consistently flagged

[lcartey]

Affected rules

• A12-8-6

Description

Compiler generated special functions are not always flagged by this rule, because the extractor does not always generate them.

In CodeQL CLI v2.16.6 and before, this mainly affected non-template classes. However, after the upgrade to CodeQL CLI v2.18.4, special functions are not consistently generated for template classes either.

This can be addressed by extending the TrivialType library to support additional cases where the function would be compiler generated, but where it currently isn't detected.

Example

codeql-coding-standards/cpp/autosar/test/rules/A12-8-6/test.cpp

Line 15 in adcb380

class BaseClass2 {}; // NON_COMPLIANT - compiler generated move and assignment

codeql-coding-standards/cpp/autosar/test/rules/A12-8-6/test.cpp

Line 124 in adcb380

template <class T> class BaseClass9 { // NON_COMPLIANT