[ValidateSet('clang', 'armclang', 'tiarmclang', 'gcc')]

"gcc" = "g++";

"gcc" = "gcc";

"gcc" = "-std=c++14 -fsyntax-only";

"gcc" = "-fsyntax-only";

[ValidateSet('clang', 'armclang', 'tiarmclang', 'gcc')]

. "$using:PSScriptRoot/Get-CompilerSpecificFiles.ps1"

. "$using:PSScriptRoot/Pop-CompilerSpecificFiles.ps1"

. "$using:PSScriptRoot/Push-CompilerSpecificFiles.ps1"

###########################################################

###########################################################

# Push context

###########################################################

$context = Push-CompilerSpecificFiles -Configuration $using:Configuration -Language $using:Language -FileSet (Get-CompilerSpecificFiles -TestDirectory $testDirectory)

Write-Host "Compiling database in $testDirectory..." -NoNewline

try {

$db = New-Database-For-Rule -RuleName $CurrentRuleName -RuleTestDir $testDirectory -Configuration $using:Configuration -Language $using:Language

Write-Host -ForegroundColor ([ConsoleColor]2) "OK"

}

catch {

Write-Host -ForegroundColor ([ConsoleColor]4) "FAILED"

$row["COMPILE_ERROR_OUTPUT"] = $_

return $row # although it is unlikely to succeed with the next rule skipping to the next rule

# ensures all of the rules will be reported in the

# output.

}

$row["COMPILE_PASS"] = $true

Write-Host "Checking expected output..."

# Dragons below 🐉🐉🐉

#

# Note this technique uses so-called "wizard" settings to make it possible

# to compare hand compiled databases using qltest. The relative paths and

# other options are required to be set as below (especially the detail about

# the relative path of the dataset and the test).

# the "dataset" should be the `db-cpp` directory inside the database

# directory. HOWEVER. It should be the path relative to the test directory.

$rulePath = Resolve-Path $testDirectory

$dbPath = Resolve-Path $db

Write-Host "Resolving database $dbPath relative to test directory $rulePath"

$dataset = Resolve-Path (Join-Path $dbPath "db-cpp")

Push-Location $rulePath

$datasetRelPath = Resolve-Path -Relative $dataset

Pop-Location

Write-Host "Using relative path: $datasetRelPath"

# Actually do the qltest run.

# codeql test run <qltest file> --dataset "relpath"

if ($q.shared_implementation_short_name) {

$qlRefFile = Join-Path $rulePath "$($q.shared_implementation_short_name).ql"

}

else {

$qlRefFile = Join-Path $rulePath "$CurrentQueryName.qlref"

}

Write-Host "codeql test run $qlRefFile --dataset=`"$datasetRelPath`""

$stdOut = Join-Path ([System.IO.Path]::GetTempPath()) ([System.Guid]::NewGuid())

$stdErr = Join-Path ([System.IO.Path]::GetTempPath()) ([System.Guid]::NewGuid())

Write-Host "Standard Out Buffered to: $stdOut"

Write-Host "Standard Error Buffered to: $stdErr"

$procDetails = Start-Process -FilePath "codeql" -PassThru -NoNewWindow -Wait -ArgumentList "test run $qlRefFile --dataset=`"$datasetRelPath`"" -RedirectStandardOutput $stdOut -RedirectStandardError $stdErr

if (-Not $procDetails.ExitCode -eq 0) {

Write-Host -ForegroundColor ([ConsoleColor]4) "FAILED"

Get-Content $stdOut | Out-String | Write-Host

$row["TEST_DIFFERENCE"] = Get-Content $stdOut | Out-String

}

else {

$row["TEST_PASS"] = $true

Write-Host -ForegroundColor ([ConsoleColor]2) "OK"

}

return $row

}catch {

Write-Host "Unknown error processing rule."

return $row

}finally {

###########################################################

###########################################################

# Context is restored here

###########################################################

Pop-CompilerSpecificFiles -Context $context

. "$PSScriptRoot/Config.ps1"

function Get-CompilerSpecificFiles {

param([Parameter(Mandatory)]

[string]

$Configuration,

[Parameter(Mandatory)]

[ValidateSet('c', 'cpp')]

[string]

$TestDirectory

)

#

# Convention is as follows:

#

# For test files:

#

# file.c/cpp is used for ALL compilers

# file.c.<configuration>/file.cpp.<configuration> is used for <configuration>

#

# file.expected is used for all compilers

# file.expected.<configuration> is used for <configuration>

$sourceFiles = Get-ChildItem -Filter "*.$Language.$Configuration"

$expectedFiles = Get-ChildItem -Filter "*.expected.$Configuration"

return $sourceFiles + $expectedFiles

}

. "$PSScriptRoot/Config.ps1"

function Pop-CompilerSpecificFiles {

param([Parameter(Mandatory)]

$Context

)

foreach($c in $Context){

$origin = $context.origin

$temp = $context.temp

if(-Not $temp -eq $null){

Write-Host "Restoring $temp -> $origin"

Move-Item -Force -Path $temp $origin

}else {

# otherwise we just need to delete the origin

Write-Host "Removing unneeded context item $origin"

Remove-Item -Force $origin

}

}

}

. "$PSScriptRoot/Config.ps1"

function Push-CompilerSpecificFiles {

param([Parameter(Mandatory)]

[System.IO.FileSystemInfo[]]

$FileSet,

[string]

$Configuration,

[Parameter(Mandatory)]

[ValidateSet('c', 'cpp')]

$Language

)

$context = @()

# for each file, move it to a temporary location

foreach($f in $FileSet){

#

# Convention is as follows:

#

# For test files:

#

# file.c/cpp is used for ALL compilers

# file.c.<configuration>/file.cpp.<configuration> is used for <configuration>

#

# file.expected is used for all compilers

# file.expected.<configuration> is used for <configuration>

$tmp = New-TemporaryFile

#

# Note -- it is not necessary for the file we are going to replace

# to exist. If it DOES NOT exist, we simply delete the compiler specific

# file afterwards.

# transform the compiler specific file to the generic one

$originFile = Get-Item $f.FullName.Replace(".$Configuration", "")

# IF it exists, copy the originFile to a temp location and replace it

# with the specific file.

if($originFile.Exists){

Write-Host "Moving generic file $originFile to $tmp..."

Move-Item -Force -Path $originFile -Destination $tmp

Write-Host "Copying $f to generic file $originFile"

Copy-Item -Path $f -Destination $originFile

$context += @{"origin"=$originFile; "temp"=$tmp;}

}else{

Write-Host "Copying $f to generic file $originFile"

Copy-Item -Path $f -Destination $originFile

# we set $temp to $null since we don't want to copy anything

# back

$context += @{"origin"=$originFile; "temp"=$null;}

}

}

return $context

}