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

C++: Remove redundant case

Browse Source
This commit is contained in:
Jonas Jensen
2020-03-20 19:40:53 +01:00
parent f6f9afe462
commit 79d5b88e33
3 changed files with 0 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
cpp/ql/src/semmle/code/cpp/ir/implementation/aliased_ssa/internal/SSAConstruction.qll
View File

@@ -76,11 +76,6 @@ private module Cached {
exists(OldInstruction oldInstruction | instruction = Chi(oldInstruction) |
Alias::getResultMemoryLocation(oldInstruction).getVirtualVariable() instanceof
Alias::AliasedVirtualVariable
or
// If there is no memory location for a memory result, then it's unmodeled
// and therefore conflated with every other unmodeled instruction.
oldInstruction.hasMemoryResult() and
not exists(Alias::getResultMemoryLocation(oldInstruction))
)
or
exists(Alias::MemoryLocation location |

5
cpp/ql/src/semmle/code/cpp/ir/implementation/unaliased_ssa/internal/SSAConstruction.qll
View File

@@ -76,11 +76,6 @@ private module Cached {
exists(OldInstruction oldInstruction | instruction = Chi(oldInstruction) |
Alias::getResultMemoryLocation(oldInstruction).getVirtualVariable() instanceof
Alias::AliasedVirtualVariable
or
// If there is no memory location for a memory result, then it's unmodeled
// and therefore conflated with every other unmodeled instruction.
oldInstruction.hasMemoryResult() and
not exists(Alias::getResultMemoryLocation(oldInstruction))
)
or
exists(Alias::MemoryLocation location |