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

C++: Remove 'IRConfiguration' since we no longer generate bad IR for range analysis.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2022-09-07 16:39:45 +01:00
parent 86259ced97
commit e37848ec6d
1 changed files with 0 additions and 13 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
cpp/ql/src/experimental/Likely Bugs/ArrayAccessProductFlow.ql
View File

@@ -8,19 +8,6 @@ import semmle.code.cpp.valuenumbering.GlobalValueNumbering
import semmle.code.cpp.models.interfaces.Allocation
import semmle.code.cpp.ir.IRConfiguration
class RangeAnalysisIRConfig extends IRConfiguration {
override predicate shouldCreateIRForFunction(Declaration decl) {
not exists(DeclStmt stmt |
stmt.getEnclosingFunction() = decl and
(
not exists(stmt.getADeclaration())
or
not exists(stmt.getADeclarationEntry())
)
)
}
}
predicate bounded(Instruction i, Bound b, int delta, boolean upper) {
// TODO: reason
semBounded(getSemanticExpr(i), b, delta, upper, _)