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

Fix bug in CPP range analysis.

Browse Source
This commit is contained in:
Cornelius Riemenschneider
2020-02-03 14:16:48 +01:00
parent 99d8b48da0
commit 1b68f86d5b
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/src/semmle/code/cpp/rangeanalysis/RangeAnalysis.qll
View File

@@ -259,7 +259,7 @@ private predicate safeCast(IntegralType fromtyp, IntegralType totyp) {
private class SafeCastInstruction extends ConvertInstruction { private class SafeCastInstruction extends ConvertInstruction {
SafeCastInstruction() { SafeCastInstruction() {
safeCast(getResultType(), getUnary().getResultType()) safeCast(getUnary().getResultType(), getResultType())
or or
getResultType() instanceof PointerType and getResultType() instanceof PointerType and
getUnary().getResultType() instanceof PointerType getUnary().getResultType() instanceof PointerType