PS: Add tests for the new summary models.

Author: MathiasVP

powershell/ql/test/library-tests/dataflow/mad/flow.expected

@@ -54,6 +54,13 @@ subpaths
 | test.ps1:7:6:7:11 | ...,... [element 0] | file://:0:0:0:0 | [summary param] pipeline in microsoft.powershell.utility!;Method[join-string] [element 0] | file://:0:0:0:0 | [summary] to write: ReturnValue in microsoft.powershell.utility!;Method[join-string] | test.ps1:7:15:7:25 | Call to join-string |
 | test.ps1:7:6:7:11 | ...,... [element 1] | file://:0:0:0:0 | [summary param] pipeline in microsoft.powershell.utility!;Method[join-string] [element 1] | file://:0:0:0:0 | [summary] to write: ReturnValue in microsoft.powershell.utility!;Method[join-string] | test.ps1:7:15:7:25 | Call to join-string |
 testFailures
+| test.ps1:11:10:11:27 | # $ hasTaintFlow=2 | Missing result: hasTaintFlow=2 |
+| test.ps1:14:10:14:27 | # $ hasTaintFlow=2 | Missing result: hasTaintFlow=2 |
+| test.ps1:17:10:17:27 | # $ hasTaintFlow=2 | Missing result: hasTaintFlow=2 |
+| test.ps1:20:10:20:27 | # $ hasTaintFlow=2 | Missing result: hasTaintFlow=2 |
+| test.ps1:23:10:23:27 | # $ hasTaintFlow=2 | Missing result: hasTaintFlow=2 |
+| test.ps1:26:10:26:27 | # $ hasTaintFlow=2 | Missing result: hasTaintFlow=2 |
+| test.ps1:29:10:29:27 | # $ hasTaintFlow=2 | Missing result: hasTaintFlow=2 |
 #select
 | test.ps1:3:6:3:7 | y | test.ps1:1:6:1:15 | Call to source | test.ps1:3:6:3:7 | y | $@ | test.ps1:1:6:1:15 | Call to source | Call to source |
 | test.ps1:8:6:8:7 | z | test.ps1:5:6:5:15 | Call to source | test.ps1:8:6:8:7 | z | $@ | test.ps1:5:6:5:15 | Call to source | Call to source |

powershell/ql/test/library-tests/dataflow/mad/test.ps1

@@ -5,4 +5,25 @@ Sink $y # $ hasTaintFlow=1
 $x = Source "2"
 $y = Source "3"
 $z = $x, $y | Join-String
-Sink $z # $ hasTaintFlow=2 hasTaintFlow=3
+Sink $z # $ hasTaintFlow=2 hasTaintFlow=3
+
+$z1 = Join-Path -Path $x ""
+Sink $z1 # $ hasTaintFlow=2
+
+$z2 = Join-Path -ChildPath $x ""
+Sink $z2 # $ hasTaintFlow=2
+
+$z3 = Join-Path -AdditionalChildPath $x ""
+Sink $z3 # $ hasTaintFlow=2
+
+$z4 = Join-Path $x
+Sink $z4 # $ hasTaintFlow=2
+
+$z5 = Join-Path "" $x
+Sink $z5 # $ hasTaintFlow=2
+
+$z6 = Join-Path "" "" $x
+Sink $z6 # $ hasTaintFlow=2
+
+$z7 = [System.IO.Path]::GetFullPath($x)
+Sink $z7 # $ hasTaintFlow=2