M3-2-1: Add failing test case for member variables

Author: lcartey

cpp/autosar/test/rules/M3-2-1/test_declarations_of_an_object_shall_have_compatible_types_unit1.cpp

@@ -23,4 +23,13 @@ template <class T> constexpr T number_one = T(1); // COMPLIANT
 
 int test() { return number_one<int>; }
 
-long test2() { return number_one<long>; }
+long test2() { return number_one<long>; }
+
+template <class T> class ClassB {
+private:
+  T mA;      // Should be ignored, as not an object
+  double mB; // Should be ignored, as not an object
+};
+
+void test3() { ClassB<int> b; }
+void test4() { ClassB<long> b; }

cpp/autosar/test/rules/M3-2-1/test_declarations_of_an_object_shall_have_compatible_types_unit2.cpp

@@ -26,3 +26,12 @@ extern long a2; // NON_COMPLIANT
 extern int a9[100];  // COMPLIANT
 LI a10[100];         // COMPLIANT
 extern int a11[101]; // NON_COMPLIANT - different sizes
+
+template <class T> class ClassB {
+private:
+  T mA;   // Should be ignored, as not an object
+  int mB; // Should be ignored, as not an object
+};
+
+void testb_1() { ClassB<int> b; }
+void testb_2() { ClassB<long> b; }