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

C++: Fix a bug that slipped into fd477383b0.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2021-07-12 17:13:21 +02:00
parent be06230b43
commit 768b3c84c9
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
cpp/ql/src/semmle/code/cpp/controlflow/StackVariableReachability.qll
View File

@@ -435,8 +435,7 @@ abstract class StackVariableReachability extends string {
not exists(Condition cond | cond = getACondition(source, v, pred) |
succ = pred.getATrueSuccessor() and
cond.refutesCondition(pragma[only_bind_out](MkCondition(pred.getEnd(), true)))
)
or
) and
// If we picked the successor edge corresponding to a condition being false, there must not be
// another path condition that refutes that the condition is false.
not exists(Condition cond | cond = getACondition(source, v, pred) |