hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-21 19:26:31 +01:00
Code Issues Packages Projects Releases Wiki Activity

Add QLDoc.

Browse Source
This commit is contained in:
Cornelius Riemenschneider
2020-05-07 14:53:41 +02:00
parent e397e5d325
commit 1aa7a827af
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
cpp/ql/src/semmle/code/cpp/rangeanalysis/Bound.qll
View File

@@ -68,7 +68,7 @@ class ValueNumberBound extends Bound, TBoundValueNumber {
ValueNumberBound() { this = TBoundValueNumber(vn) } ValueNumberBound() { this = TBoundValueNumber(vn) }
/** Gets the SSA variable that equals this bound. */ /** Gets an `Instruction` that equals this bound. */
override Instruction getInstruction(int delta) { override Instruction getInstruction(int delta) {
this = TBoundValueNumber(valueNumber(result)) and delta = 0 this = TBoundValueNumber(valueNumber(result)) and delta = 0
} }
@@ -77,5 +77,6 @@ class ValueNumberBound extends Bound, TBoundValueNumber {
override Location getLocation() { result = vn.getLocation() } override Location getLocation() { result = vn.getLocation() }
/** Gets the value number that equals this bound. */
ValueNumber getValueNumber() { result = vn } ValueNumber getValueNumber() { result = vn }
} }