C++: Test nested typedefs in forwarding.

Author: MathiasVP

cpp/ql/test/library-tests/dataflow/external-models/flow.ext.yml

@@ -53,4 +53,4 @@ extensions:
       - ["", "Forwarder<T>", True, "forward<Args>", "(Args &&)", "", "0", "T", "Argument[-1]", "manual"]
       - ["", "", False, "makeForwarded<T>", "(int)", "", "0", "T", "ReturnValue", "manual"]
       - ["", "Forwarder", True, "forwardToElement", "(int)", "", "0", "Element", "Argument[-1]", "manual"]
-      - ["", "Container<T>", True, "emplace<Args>", "(int,Args &&)", "", "1", "T", "Argument[-1].Element", "manual"]
+      - ["", "Container<T>", True, "emplace<Args>", "(int,Args &&)", "", "1", "value_type", "Argument[-1].Element", "manual"]

cpp/ql/test/library-tests/dataflow/external-models/test.cpp

@@ -379,6 +379,7 @@ void forward_test() {
 
 template<typename T>
 struct Container {
+	using value_type = T;
   template<typename... Args>
   void emplace(int pos, Args&&... args);
 
@@ -413,7 +414,17 @@ void forward_test_model() {
   c.emplace(0, x);
 
   Element e = c.get();
-  ymlSink(e.x); // $ ir
+  ymlSink(e.x); // $ MISSING: ir
+}
+
+void forward_test_member_alias_scalar() {
+  Container<int> scalar;
+  scalar.emplace(0, ymlSource());
+  ymlSink(scalar.get()); // $ MISSING: ir
+
+  Container<int*> pointer;
+  pointer.emplace(0, ymlSourcePtr());
+  ymlSink(*pointer.get()); // $ MISSING: ir
 }
 
 struct ElementWithDefaultArgument {
@@ -427,7 +438,7 @@ void forward_test_model_with_default_argument() {
   c.emplace(0, x);
 
   ElementWithDefaultArgument e = c.get();
-  ymlSink(e.x); // $ ir
+  ymlSink(e.x); // $ MISSING: ir
 }
 
 struct ElementWithOverloadedArity {
@@ -441,7 +452,7 @@ void forward_test_constructor_arity() {
   {
     Container<ElementWithOverloadedArity> c;
     c.emplace(0, x);
-    ymlSink(c.get().x); // $ ir
+    ymlSink(c.get().x); // $ MISSING: ir
   }
   {
     Container<ElementWithOverloadedArity> c;
@@ -451,7 +462,7 @@ void forward_test_constructor_arity() {
   {
     Container<ElementWithOverloadedArity> c;
     c.emplace(0, 0, x);
-    ymlSink(c.get().x); // $ ir
+    ymlSink(c.get().x); // $ MISSING: ir
   }
 }