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++: Non-exact definitions should always be a use.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2023-08-30 11:50:57 +01:00
parent b092da485d
commit 4ca259b200
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/ir/dataflow/internal/SsaInternals.qll
View File

@@ -108,7 +108,7 @@ private newtype TDefOrUseImpl =
} or } or
TUseImpl(BaseSourceVariableInstruction base, Operand operand, int indirectionIndex) { TUseImpl(BaseSourceVariableInstruction base, Operand operand, int indirectionIndex) {
isUse(_, operand, base, _, indirectionIndex) and isUse(_, operand, base, _, indirectionIndex) and
not isDef(_, _, operand, _, _, _) not isDef(true, _, operand, _, _, _)
} or } or
TGlobalUse(GlobalLikeVariable v, IRFunction f, int indirectionIndex) { TGlobalUse(GlobalLikeVariable v, IRFunction f, int indirectionIndex) {
// Represents a final "use" of a global variable to ensure that // Represents a final "use" of a global variable to ensure that