Dataflow: Replace a 'noinline' pragma with a 'nomagic' pragma.

2025-12-24 12:46:34 +01:00 · 2021-11-02 11:37:40 +00:00
parent 302373d154
commit 6f4107ff23
27 changed files with 27 additions and 27 deletions
--- a/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll
+++ b/cpp/ql/lib/semmle/code/cpp/dataflow/internal/DataFlowImpl4.qll
@@ -3572,7 +3572,7 @@ private predicate pathIntoArg(
  )
 }

-pragma[noinline]
+pragma[nomagic]
 private predicate parameterCand(
  DataFlowCallable callable, int i, AccessPathApprox apa, Configuration config
 ) {