From c856552b64b69a61424338d709fe65244cf1bc0b Mon Sep 17 00:00:00 2001
From: Cornelius Riemenschneider <cornelius.riemenschneider@googlemail.com>
Date: Thu, 30 Apr 2020 15:00:12 +0200
Subject: [PATCH] Add preOffset to the bindingset for simpleArrayLengthStep.

---
 .../semmle/code/cpp/rangeanalysis/ArrayLengthAnalysis.qll       | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/ArrayLengthAnalysis.qll b/cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/ArrayLengthAnalysis.qll
index d0558259c3e..395890f9f76 100644
--- a/cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/ArrayLengthAnalysis.qll
+++ b/cpp/ql/src/experimental/semmle/code/cpp/rangeanalysis/ArrayLengthAnalysis.qll
@@ -128,7 +128,7 @@ private int getBaseSizeForPointerType(PointerType type) { result = type.getBaseT
  * steps to `array` that points to `offset + offsetDelta` in one step.
  * This predicate does not contain any recursive steps.
  */
-bindingset[prevOffsetDelta]
+bindingset[prevOffset,prevOffsetDelta]
 predicate simpleArrayLengthStep(
   Instruction array, Offset offset, int offsetDelta, Instruction prev, Offset prevOffset,
   int prevOffsetDelta