test(instr-c): Add tests for C++ method call chain instrumentation

Author: RenjiSann

testsuite/tests/instr-cov/c_cpp_function_call_cov/cpp/nested-method-calls/src/pkg.h

@@ -0,0 +1,33 @@
+#pragma once
+#include <cstdlib>
+
+class A
+{
+  int _x;
+
+public:
+  A (int x) : _x (x){};
+
+  int
+  get_x () const
+  {
+    return this->_x;
+  }
+};
+
+class B
+{
+  A _a;
+
+public:
+  B (A a) : _a (a){};
+
+  A
+  get_a () const
+  {
+    // Purposely exit early after dumping the buffers.
+    /* GNATCOV_DUMP_BUFFERS */
+    exit (0);
+    return this->_a;
+  }
+};

testsuite/tests/instr-cov/c_cpp_function_call_cov/cpp/nested-method-calls/src/test_exiting_method.cpp

@@ -0,0 +1,19 @@
+#include "pkg.h"
+
+int
+main (void)
+{
+  A a (5); // # var-decl
+  B b (a); // # var-decl
+
+  // .get_a() exits the program with 0 status code.
+  b            // # var-ref
+    .get_a (); // # method-call
+
+  // Program should not reach this point.
+}
+
+//# test_exiting_method.cpp
+// /var-decl/    l+ ## 0
+// /var-ref/     l+ ## 0
+// /method-call/ l+ ## 0

testsuite/tests/instr-cov/c_cpp_function_call_cov/cpp/nested-method-calls/src/test_shortcut_method_chain.cpp

@@ -0,0 +1,21 @@
+#include "pkg.h"
+
+int
+main (void)
+{
+  A a (5); // # var-decl
+  B b (a); // # var-decl
+
+  // .get_a() exits the program with 0 status code.
+  b            // # var-ref
+    .get_a ()  // # method-call
+    .get_x (); // # not-reached
+
+  /* GNATCOV_DUMP_BUFFERS */
+}
+
+//# test_shortcut_method_chain.cpp
+// /var-decl/    l+ ## 0
+// /var-ref/     l+ ## 0
+// /method-call/ l+ ## 0
+// /not-reached/ l! ## c-

testsuite/tests/instr-cov/c_cpp_function_call_cov/cpp/nested-method-calls/src/test_simple_call.cpp

@@ -0,0 +1,17 @@
+#include "pkg.h"
+
+int
+main (void)
+{
+  A a (5); // # var-decl
+
+  a            // # var-ref
+    .get_x (); // # method-call
+
+  /* GNATCOV_DUMP_BUFFERS */
+}
+
+//# test_simple_call.cpp
+// /var-decl/    l+ ## 0
+// /var-ref/     l+ ## 0
+// /method-call/ l+ ## 0

testsuite/tests/instr-cov/c_cpp_function_call_cov/cpp/nested-method-calls/test.py

@@ -0,0 +1,13 @@
+"""
+This test ensures that method call instrumentation behaves correctly and
+produces the expected coverage.
+"""
+
+from SCOV.tc import TestCase
+from SCOV.tctl import CAT, CovControl
+from SUITE.context import thistest
+
+TestCase(category=CAT.stmt, fun_call_lvl=True).run(
+    covcontrol=CovControl(dump_trigger="manual")
+)
+thistest.result()

testsuite/tests/instr-cov/c_cpp_function_call_cov/cpp/non-prefixed-method-calls/src/test_non_prefix.cpp

@@ -0,0 +1,29 @@
+class A
+{
+  int _x;
+
+public:
+  A (int x) : _x (x){};
+
+  int
+  get_x () const
+  {
+    return this->_x;
+  }
+
+  int
+  get_x_plus_one () const
+  {
+    return get_x () + 1; // # non-prefix-call
+  }
+};
+
+int
+main (void)
+{
+  A (5).get_x_plus_one (); // # method-call
+}
+
+//# test_non_prefix.cpp
+// /non-prefix-call/ l+ ## 0
+// /method-call/     l+ ## 0

testsuite/tests/instr-cov/c_cpp_function_call_cov/cpp/non-prefixed-method-calls/test.py

@@ -0,0 +1,11 @@
+"""
+This test makes sure that the instrumentation of non-prefixed method calls
+works correctly.
+"""
+
+from SCOV.tc import TestCase
+from SCOV.tctl import CAT
+from SUITE.context import thistest
+
+TestCase(category=CAT.stmt, fun_call_lvl=True).run()
+thistest.result()