@@ -841,7 +841,7 @@ private module MethodCalls {
841
841
* reference to the class `cls`, or to an instance of the class `cls`. The reference the
842
842
* attribute-read is made on is `self`.
843
843
*/
844
- pragma [ noinline ]
844
+ pragma [ nomagic ]
845
845
private predicate directCall (
846
846
CallNode call , Function target , string functionName , Class cls , AttrRead attr , Node self
847
847
) {
@@ -850,7 +850,7 @@ private module MethodCalls {
850
850
}
851
851
852
852
/** Extracted to give good join order */
853
- pragma [ noinline ]
853
+ pragma [ nomagic ]
854
854
private predicate directCall_join (
855
855
CallNode call , string functionName , Class cls , AttrRead attr , Node self
856
856
) {
@@ -872,7 +872,7 @@ private module MethodCalls {
872
872
* reference to an implicit `self`/`cls` argument. The reference the attribute-read is
873
873
* made on is `self`.
874
874
*/
875
- pragma [ noinline ]
875
+ pragma [ nomagic ]
876
876
private predicate callWithinMethodImplicitSelfOrCls (
877
877
CallNode call , Function target , string functionName , Class classWithMethod , AttrRead attr ,
878
878
Node self
@@ -882,7 +882,7 @@ private module MethodCalls {
882
882
}
883
883
884
884
/** Extracted to give good join order */
885
- pragma [ noinline ]
885
+ pragma [ nomagic ]
886
886
private predicate callWithinMethodImplicitSelfOrCls_join (
887
887
CallNode call , string functionName , Class classWithMethod , AttrRead attr , Node self
888
888
) {
@@ -921,7 +921,7 @@ private module MethodCalls {
921
921
* The method call is found by making an attribute read `attr` with the name
922
922
* `functionName` on the return value from the `super` call.
923
923
*/
924
- pragma [ noinline ]
924
+ pragma [ nomagic ]
925
925
predicate fromSuper (
926
926
CallNode call , Function target , string functionName , Class classUsedInSuper , AttrRead attr ,
927
927
Node self
@@ -931,7 +931,7 @@ private module MethodCalls {
931
931
}
932
932
933
933
/** Extracted to give good join order */
934
- pragma [ noinline ]
934
+ pragma [ nomagic ]
935
935
private predicate fromSuper_join (
936
936
CallNode call , string functionName , Class classUsedInSuper , AttrRead attr , Node self
937
937
) {
0 commit comments