Merge pull request #12810 from asgerf/ql/missing-noinline-cached

QL: Don't warn about cached predicates possibly being inlined
This commit is contained in:
Erik Krogh Kristensen
2023-04-13 10:16:15 +02:00
committed by GitHub

View File

@@ -17,6 +17,7 @@ where
not decl.getAnAnnotation() instanceof NoInline and
not decl.getAnAnnotation() instanceof NoMagic and
not decl.getAnAnnotation() instanceof NoOpt and
not decl.getAnAnnotation().getName() = "cached" and
// If it's marked as inline it's probably because the QLDoc says something like
// "this predicate is inlined because it gives a better join-order".
not decl.getAnAnnotation() instanceof Inline