hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-22 19:56:32 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Better join order for reachesWithoutAssignment.

Browse Source
This commit is contained in:
Geoffrey White
2022-04-12 17:33:40 +01:00
parent ccd7bb5e70
commit cdce72b87c
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/lib/semmle/code/cpp/dataflow/internal/FlowVar.qll
View File

@@ -549,7 +549,7 @@ module FlowVar_internal {
bb = this.(Loop).getStmt() and bb = this.(Loop).getStmt() and
v = this.getARelevantVariable() v = this.getARelevantVariable()
or or
this.reachesWithoutAssignment(bb.getAPredecessor(), v) and this.reachesWithoutAssignment(pragma[only_bind_out](bb.getAPredecessor()), v) and
this.bbInLoop(bb) this.bbInLoop(bb)
) and ) and
not assignsToVar(bb, v) not assignsToVar(bb, v)