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

Only split BBs for var-defining partial-defs

Browse Source
This commit is contained in:
Pavel Avgustinov
2019-07-10 16:48:15 +01:00
committed by Jonas Jensen
parent 46e6b587bc
commit abcaeded23
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/dataflow/internal/FlowVar.qll
View File

@@ -692,7 +692,8 @@ module FlowVar_internal {
or or
blockVarDefinedByReference(this, v, _) blockVarDefinedByReference(this, v, _)
or or
this = any(PartialDefinitions::PartialDefinition p).getSubBasicBlockStart() this = any(PartialDefinitions::PartialDefinition p | p.partiallyDefines(v))
.getSubBasicBlockStart()
// It is not necessary to cut the basic blocks at `Initializer` nodes // It is not necessary to cut the basic blocks at `Initializer` nodes
// because the affected variable can have no _other_ value before its // because the affected variable can have no _other_ value before its
// initializer. It is not necessary to cut basic blocks at procedure // initializer. It is not necessary to cut basic blocks at procedure