C#: Add nomagic to NamedElement::getQualifiedName()

hvitved · hvitved · commit 7e4d761aa310 · 2021-07-15T15:40:26.000+02:00
diff --git a/csharp/ql/src/semmle/code/dotnet/Element.qll b/csharp/ql/src/semmle/code/dotnet/Element.qll
@@ -74,6 +74,7 @@ class NamedElement extends Element, @dotnet_named_element {
    * }
    * ```
    */
+  pragma[nomagic]
   final string getQualifiedName() {
     exists(string qualifier, string name | this.hasQualifiedName(qualifier, name) |
       if qualifier = "" then result = name else result = qualifier + "." + name
