C++: Disable standard order for 'convertsIntoArgumentRev'.

2026-04-30 03:05:15 +02:00 · 2023-03-01 15:16:49 +00:00
parent 0469df1c18
commit 2f8d71762c
1 changed files with 1 additions and 0 deletions
--- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll
+++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaInternalsCommon.qll
@@ -565,6 +565,7 @@ private module Cached {
    )
  }

+  pragma[assume_small_delta]
  private predicate convertsIntoArgumentRev(Instruction instr) {
    convertsIntoArgumentFwd(instr) and
    (