Kotlin: Handle double-interceptions without failing

This commit is contained in:
Ian Lynagh
2023-03-07 15:56:04 +00:00
parent 81e71c4669
commit 8b6047dfd1
2 changed files with 2 additions and 1 deletions

View File

@@ -22,7 +22,7 @@ def getManualFlags(invocationTrapName):
return ['-Xplugin=' + extractorJar, '-P', 'plugin:kotlin-extractor:invocationTrapFile=' + trapDir + '/invocations/' + invocationTrapName + '.trap']
# This is both normally intercepted, and it has the extractor flags manually added
runUnsuccessfully([get_cmd('kotlinc'), 'doubleIntercepted.kt'] + getManualFlags('doubleIntercepted'))
runSuccessfully([get_cmd('kotlinc'), 'doubleIntercepted.kt'] + getManualFlags('doubleIntercepted'))
os.environ['CODEQL_EXTRACTOR_JAVA_AGENT_DISABLE_KOTLIN'] = 'true'
# We don't see this compilation at all
runSuccessfully([get_cmd('kotlinc'), 'notSeen.kt'])

View File

@@ -1,2 +1,3 @@
| code/doubleIntercepted.kt:0:0:0:0 | doubleIntercepted |
| code/manual.kt:0:0:0:0 | manual |
| code/normal.kt:0:0:0:0 | normal |