hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-30 11:15:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

C#: Clear TRAP stack when calling PopulateGenerics

Browse Source
This commit is contained in:
Tom Hvitved
2023-09-05 21:19:34 +02:00
parent 334502a3de
commit 718e491800
4 changed files with 48 additions and 42 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
csharp/extractor/Semmle.Extraction/Context.cs
View File

@@ -153,9 +153,9 @@ namespace Semmle.Extraction
/// Enqueue the given action to be performed later.
/// </summary>
/// <param name="toRun">The action to run.</param>
public void PopulateLater(Action a)
public void PopulateLater(Action a, bool preserveDuplicationKey = true)
{
var key = GetCurrentTagStackKey();
var key = preserveDuplicationKey ? GetCurrentTagStackKey() : null;
if (key is not null)
{
// If we are currently executing with a duplication guard, then the same