C#: Fix bad magic Element::getLocation in context of SelfAssignment.ql

hvitved · hvitved · commit a393bff6cb4b · 2021-11-19T12:44:07.000+01:00
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() }
 
   /**
