Merge pull request #8255 from tausbn/python-nomagic-pattern-getcase

Python: Prevent magic/inlining in `getCase`

Author: yoff

python/ql/lib/semmle/python/Patterns.qll

@@ -10,6 +10,7 @@ class Pattern extends Pattern_, AstNode {
   override Scope getScope() { result = this.getCase().getScope() }
 
   /** Gets the case statement containing this pattern */
+  pragma[nomagic]
   Case getCase() { result.contains(this) }
 
   override string toString() { result = "Pattern" }