C++: fix a join order in range analysis

rajkrishnamurthy · Jan 12, 2023 · 31b61b1 · 31b61b1
1 parent 938176c
commit 31b61b1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisStage.qll b/cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisStage.qll
@@ -268,7 +268,7 @@ module RangeStage<DeltaSig D, BoundSig<D> Bounds, LangSig<D> LangParam, UtilSig<
   private class SafeCastExpr extends ConvertOrBoxExpr {
     SafeCastExpr() {
       conversionCannotOverflow(getTrackedType(pragma[only_bind_into](getOperand())),
-        getTrackedType(this))
+      pragma[only_bind_out](getTrackedType(this)))
     }
   }