C#: Avoid bad magic in UselessUpcast.ql

hvitved · hvitved · commit 92bf830a8afd · 2020-09-02T10:52:05.000+02:00
diff --git a/csharp/ql/src/Language Abuse/UselessUpcast.ql b/csharp/ql/src/Language Abuse/UselessUpcast.ql
@@ -31,7 +31,7 @@ class StaticCall extends Call {
 }
 
 /** Holds `t` has instance callable `c` as a member, with name `name`. */
-pragma[noinline]
+pragma[nomagic]
 predicate hasInstanceCallable(ValueOrRefType t, InstanceCallable c, string name) {
   t.hasMember(c) and
   name = c.getName()

Original file line number	Diff line number	Diff line change
`@@ -31,7 +31,7 @@ class StaticCall extends Call {`
`31`	`31`	`}`
`32`	`32`
`33`	`33`	/** Holds `t` has instance callable `c` as a member, with name `name`. */
`34`		`-pragma[noinline]`
	`34`	`+pragma[nomagic]`
`35`	`35`	`predicate hasInstanceCallable(ValueOrRefType t, InstanceCallable c, string name) {`
`36`	`36`	`t.hasMember(c) and`
`37`	`37`	`name = c.getName()`