CPP: Add a test of FunctionAccess and cases for FieldAccess.

Author: geoffw0

cpp/ql/test/library-tests/access/FieldAccess/FieldAccess.cpp

@@ -84,3 +84,15 @@ int test_val00(S s) {
 int test_val01(U u) {
   return u.x;
 }
+
+class MyClass {
+public:
+  void myMethod(MyClass a, MyClass &b, MyClass *c) {
+    a.x = b.y; // val, ref
+    c->x = y; // ptr, ptr
+    c->x = this->y; // ptr, ptr
+    (&b)->y = (*c).y; // ptr, val
+  }
+
+  int x, y;
+};

cpp/ql/test/library-tests/access/FieldAccess/FieldAccess.expected

@@ -16,3 +16,11 @@
 | FieldAccess.cpp:77:12:77:13 | x1 | ref |
 | FieldAccess.cpp:81:12:81:13 | x1 | val |
 | FieldAccess.cpp:85:12:85:12 | x | val |
+| FieldAccess.cpp:91:7:91:7 | x | val |
+| FieldAccess.cpp:91:13:91:13 | y | ref |
+| FieldAccess.cpp:92:8:92:8 | x | ptr |
+| FieldAccess.cpp:92:12:92:12 | y | ptr |
+| FieldAccess.cpp:93:8:93:8 | x | ptr |
+| FieldAccess.cpp:93:18:93:18 | y | ptr |
+| FieldAccess.cpp:94:11:94:11 | y | ptr |
+| FieldAccess.cpp:94:20:94:20 | y | val |

cpp/ql/test/library-tests/functions/functionaccess/FunctionAccess.cpp

@@ -0,0 +1,14 @@
+
+int myTarget(int);
+
+int call(int (*target)(int), int val) {
+  return target(val);
+}
+
+void testFunctionAccess() {
+  int (*myFunctionPointer)(int) = &myTarget; // FunctionAccess
+
+  call(myFunctionPointer, 1);
+  call(myTarget, 2); // FunctionAccess
+  (&myTarget)(3); // FunctionAccess
+}

cpp/ql/test/library-tests/functions/functionaccess/FunctionAccess.expected

@@ -0,0 +1,3 @@
+| FunctionAccess.cpp:9:36:9:43 | myTarget | FunctionAccess.cpp:2:5:2:12 | myTarget |
+| FunctionAccess.cpp:12:8:12:15 | myTarget | FunctionAccess.cpp:2:5:2:12 | myTarget |
+| FunctionAccess.cpp:13:5:13:12 | myTarget | FunctionAccess.cpp:2:5:2:12 | myTarget |

cpp/ql/test/library-tests/functions/functionaccess/FunctionAccess.ql

@@ -0,0 +1,4 @@
+import cpp
+
+from FunctionAccess fa
+select fa, fa.getTarget()