Merge pull request #4760 from tamasvajk/feature/cil-debug-build

tamasvajk · web-flow · commit 04bacf43477d · 2020-12-02T22:08:22.000+01:00
C#: Fix CIL trap file writing in debug mode
diff --git a/csharp/extractor/Semmle.Extraction/Context.cs b/csharp/extractor/Semmle.Extraction/Context.cs
@@ -77,7 +77,7 @@ private void CheckEntityHasUniqueLabel(string id, ICachedEntity entity)
         {
             if (idLabelCache.ContainsKey(id))
             {
-                ExtractionError("Label collision for " + id, entity.Label.ToString(), Entities.Location.Create(this, entity.ReportingLocation), "", Severity.Warning);
+                this.Extractor.Message(new Message("Label collision for " + id, entity.Label.ToString(), Entities.Location.Create(this, entity.ReportingLocation), "", Severity.Warning));
             }
             else
             {

Original file line number	Diff line number	Diff line change
`@@ -77,7 +77,7 @@ private void CheckEntityHasUniqueLabel(string id, ICachedEntity entity)`
`77`	`77`	`{`
`78`	`78`	`if (idLabelCache.ContainsKey(id))`
`79`	`79`	`{`
`80`		`- ExtractionError("Label collision for " + id, entity.Label.ToString(), Entities.Location.Create(this, entity.ReportingLocation), "", Severity.Warning);`
	`80`	`+ this.Extractor.Message(new Message("Label collision for " + id, entity.Label.ToString(), Entities.Location.Create(this, entity.ReportingLocation), "", Severity.Warning));`
`81`	`81`	`}`
`82`	`82`	`else`
`83`	`83`	`{`