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

MathiasVP · MathiasVP · commit 2f8d71762c42 · 2023-03-01T15:16:49.000Z
diff --git 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
     (

Original file line number	Diff line number	Diff line change
`@@ -565,6 +565,7 @@ private module Cached {`
`565`	`565`	`)`
`566`	`566`	`}`
`567`	`567`
	`568`	`+ pragma[assume_small_delta]`
`568`	`569`	`private predicate convertsIntoArgumentRev(Instruction instr) {`
`569`	`570`	`convertsIntoArgumentFwd(instr) and`
`570`	`571`	`(`