hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-25 16:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Get rid of '+ 1' in comments.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2023-08-10 11:38:40 +01:00
parent b750016bc1
commit dcc1429ed8
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/AllocationToInvalidPointer.qll
View File

@@ -147,8 +147,8 @@ private module SizeBarrier {
left = value.getAUse() and
// We know:
// 1. result <= value + delta (by `bounded`)
// 2. value < right + k + 1 (by `operandGuardChecks`).
// Note that condition 2 implies: value <= right + k. So we have:
// 2. value <= right + k (by `operandGuardChecks`).
// So:
// result <= value + delta (by 1.)
// <= right + k + delta (by 2.)
operandGuardChecks(pragma[only_bind_into](g), pragma[only_bind_into](left), right,