Merge pull request #12350 from MathiasVP/no-standard-order-for-convertsIntoArgumentRev

C++: Disable a bad standard order
2026-04-19 22:14:01 +02:00 · 2023-03-02 10:27:20 +00:00
parent 0469df1c18 2f8d71762c
commit c2efb4d232
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
    (