Merge pull request #7182 from hvitved/csharp/self-assignment-bad-magic

hvitved · web-flow · commit 39e3254fe070 · 2021-11-22T10:57:48.000+01:00
C#: Fix bad magic `Element::fromSource` in context of `SelfAssignment.ql`
diff --git a/csharp/ql/lib/semmle/code/dotnet/Element.qll b/csharp/ql/lib/semmle/code/dotnet/Element.qll
@@ -14,6 +14,7 @@ class Element extends @dotnet_element {
   string toString() { none() }
 
   /** Gets the location of this element. */
+  pragma[nomagic]
   Location getLocation() { none() }
 
   /**
