Merge pull request #4300 from hvitved/csharp/runtime-checks-bypass-bad-magic

C#: Avoid bad magic in `RuntimeChecksBypass.ql`

Author: hvitved

csharp/ql/src/Security Features/CWE-020/RuntimeChecksBypass.ql

@@ -27,6 +27,7 @@ GuardedExpr checkedWrite(Field f, Variable v, IfStmt check) {
  * The result is an unsafe write to the field `f`, where
  * there is no check performed within the (calling) scope of the method.
  */
+pragma[nomagic]
 Expr uncheckedWrite(Callable callable, Field f) {
   result = f.getAnAssignedValue() and
   result.getEnclosingCallable() = callable and