From 1aa7a827afc88cee465fbde9dc262a5ecc2a919f Mon Sep 17 00:00:00 2001
From: Cornelius Riemenschneider <cornelius.riemenschneider@googlemail.com>
Date: Thu, 7 May 2020 14:53:41 +0200
Subject: [PATCH] Add QLDoc.

---
 cpp/ql/src/semmle/code/cpp/rangeanalysis/Bound.qll | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/cpp/ql/src/semmle/code/cpp/rangeanalysis/Bound.qll b/cpp/ql/src/semmle/code/cpp/rangeanalysis/Bound.qll
index b24681a5ff9..9e56794233f 100644
--- a/cpp/ql/src/semmle/code/cpp/rangeanalysis/Bound.qll
+++ b/cpp/ql/src/semmle/code/cpp/rangeanalysis/Bound.qll
@@ -68,7 +68,7 @@ class ValueNumberBound extends Bound, TBoundValueNumber {
 
   ValueNumberBound() { this = TBoundValueNumber(vn) }
 
-  /** Gets the SSA variable that equals this bound. */
+  /** Gets an `Instruction` that equals this bound. */
   override Instruction getInstruction(int delta) {
     this = TBoundValueNumber(valueNumber(result)) and delta = 0
   }
@@ -77,5 +77,6 @@ class ValueNumberBound extends Bound, TBoundValueNumber {
 
   override Location getLocation() { result = vn.getLocation() }
 
+  /** Gets the value number that equals this bound. */
   ValueNumber getValueNumber() { result = vn }
 }