New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
C#: Extract expanded compiler arguments #15472
Conversation
csharp/ql/integration-tests/linux-only/compiler_args/global.json
Outdated
Show resolved
Hide resolved
|
|
e57a248
to
1d525dd
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM. A minor suggestion, feel free to apply or not.
csharp/extractor/Semmle.Extraction.CSharp/Entities/Compilations/Compilation.cs
Outdated
Show resolved
Hide resolved
csharp/extractor/Semmle.Extraction.CSharp/Entities/Compilations/Compilation.cs
Outdated
Show resolved
Hide resolved
| try | ||
| { | ||
| var rspFileContent = System.IO.File.ReadAllText(arg[1..]); | ||
| var rspArgs = CommandLineParser.SplitCommandLineIntoArguments(rspFileContent, removeHashComments: true); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Nice that we can reuse this method.
Co-authored-by: Tom Hvitved <hvitved@github.com>
| @@ -0,0 +1,5 @@ | |||
| { | |||
| "sdk": { | |||
| "version": "8.0.100" | |||
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Depending on the merge order, this PR is relevant: #15475
Since the overall performance looks good and since we didn't see an overall performance regression, I don't think the change in stage timings matter much, as the measure might be imprecise and since the stats update could have changed the execution order (and maybe stuff that is now faster isn't reported by DCA). |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This is excellent!
Thank you for also updating the stats!
No description provided.