From 9108982b07b69774fbc87e899b41cbcebe8d9bd5 Mon Sep 17 00:00:00 2001
From: Mathias Vorreiter Pedersen <mathiasvp@github.com>
Date: Mon, 24 Jul 2023 12:13:31 +0200
Subject: [PATCH] C++: Update example in QLDoc.

---
 .../InvalidPointerDereference/AllocationToInvalidPointer.qll    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll b/cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll
index 0e97c5920fb..3208154f8a1 100644
--- a/cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll
+++ b/cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll
@@ -7,7 +7,7 @@
  * 1. char* base = (char*)malloc(size);
  * 2. char* end = base + size;
  * 3. for(int *p = base; p <= end; p++) {
- * 4.   use(*p);
+ * 4.   use(*p); // BUG: Should have been bounded by `p < end`.
  * 5. }
  * ```
  * this file identifies the flow from `new int[size]` to `base + size`.