Add support for template base class with compiler generated copy and move constructors/operators

Author: rvermeulen

cpp/autosar/test/rules/A12-8-6/CopyAndMoveNotDeclaredProtected.expected

@@ -20,3 +20,7 @@
 | test.cpp:109:3:109:12 | declaration of BaseClass8 | Move constructor for base class 'BaseClass8' is not declared protected or deleted. |
 | test.cpp:110:15:110:23 | declaration of operator= | Copy assignment operator for base class 'BaseClass8' is not declared protected or deleted. |
 | test.cpp:111:15:111:23 | declaration of operator= | Move constructor for base class 'BaseClass8' is not declared protected or deleted. |
+| test.cpp:124:26:124:26 | declaration of BaseClass9 | Implicit copy constructor for base class 'BaseClass9<int>' is not declared protected or deleted. |
+| test.cpp:124:26:124:26 | declaration of BaseClass9 | Implicit move constructor for base class 'BaseClass9<int>' is not declared protected or deleted. |
+| test.cpp:124:26:124:26 | declaration of operator= | Implicit copy assignment operator for base class 'BaseClass9<int>' is not declared protected or deleted. |
+| test.cpp:124:26:124:26 | declaration of operator= | Implicit move assignment operator for base class 'BaseClass9<int>' is not declared protected or deleted. |

cpp/autosar/test/rules/A12-8-6/test.cpp

@@ -121,8 +121,23 @@ class DerivedClass9 // COMPLIANT - not a base class itself
   T t;
 };
 
+template <class T> class BaseClass9 { // NON_COMPLIANT
+
+public:
+  BaseClass9() {}
+};
+
+template <class T>
+class DerivedClass10 // COMPLIANT - not a base class itself
+    : public BaseClass9<T> {
+public:
+  DerivedClass10() {}
+};
+
 void test() {
   BaseClass7<int> b;
   DerivedClass7<int> d;
   DerivedClass9<int> e;
+  BaseClass9<int> f;
+  DerivedClass10<int> g;
 }

cpp/common/src/codingstandards/cpp/Class.qll

@@ -6,8 +6,6 @@ import cpp
 import codingstandards.cpp.Expr
 
 private Class getADerivedClass(Class c) {
-  not c instanceof ClassTemplateInstantiation and
-  not c instanceof TemplateClass and
   result = c.getADerivedClass()
   or
   exists(ClassTemplateInstantiation instantiation |