File tree Expand file tree Collapse file tree 1 file changed +0
-2
lines changed
cpp/ql/lib/semmle/code/cpp/ir/implementation/unaliased_ssa/internal Expand file tree Collapse file tree 1 file changed +0
-2
lines changed Original file line number Diff line number Diff line change @@ -189,14 +189,12 @@ private module Cached {
189
189
// Chi instructions track virtual variables, and therefore a chi instruction is
190
190
// conflated if it's associated with the aliased virtual variable.
191
191
exists ( Instruction input | instruction = getChi ( input ) |
192
- instruction = getChi ( input ) and
193
192
Alias:: getResultMemoryLocation ( input ) .getVirtualVariable ( ) instanceof
194
193
Alias:: AliasedVirtualVariable
195
194
or
196
195
// A chi following an `UninitializedGroupInstruction` only happens when the virtual
197
196
// variable of the grouped memory location is `{AllAliasedMemory}`.
198
197
exists ( Alias:: GroupedMemoryLocation gml |
199
- instruction = getChi ( input ) and
200
198
input = uninitializedGroup ( gml .getGroup ( ) ) and
201
199
gml .getVirtualVariable ( ) instanceof Alias:: AliasedVirtualVariable
202
200
)
You can’t perform that action at this time.
0 commit comments