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

C++: Respond to review comments.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-12-18 11:26:41 +00:00
parent 0b2b341283
commit 4ffe70dd3b
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
cpp/ql/lib/semmle/code/cpp/rangeanalysis/new/internal/semantic/analysis/SignAnalysisCommon.qll
View File

@@ -516,12 +516,18 @@ module SignAnalysis<DeltaSig D> {
*/
private Sign guardedSsaSignOk(SemSsaVariable v, SsaReadPosition pos) {
result = TPos() and
// optimised version of
// `forex(SemExpr bound | posBound(bound, v, pos) | posBoundOk(bound, v, pos))`
posBoundGuardedSsaSignOk(v, pos)
or
result = TNeg() and
// optimised version of
// `forex(SemExpr bound | negBound(bound, v, pos) | negBoundOk(bound, v, pos))`
negBoundGuardedSsaSignOk(v, pos)
or
result = TZero() and
// optimised version of
// `forex(SemExpr bound | zeroBound(bound, v, pos) | zeroBoundOk(bound, v, pos))`
zeroBoundGuardedSsaSignOk(v, pos)
}