Skip to content

Commit 8c03136

Browse files
committed
Revert "Expose the indirection index"
This reverts commit 6c792e6.
1 parent 6c792e6 commit 8c03136

File tree

1 file changed

+1
-5
lines changed

1 file changed

+1
-5
lines changed

cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowNodes.qll

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -767,11 +767,10 @@ module Public {
767767
*/
768768
class UninitializedNode extends Node {
769769
LocalVariable v;
770-
int indirectionIndex;
771770

772771
UninitializedNode() {
773772
exists(SsaImpl::Definition def, SsaImpl::SourceVariable sv |
774-
def.getIndirectionIndex() = indirectionIndex and
773+
def.getIndirectionIndex() = 0 and
775774
def.getValue().asInstruction() instanceof UninitializedInstruction and
776775
SsaImpl::defToNode(this, def, sv) and
777776
v = sv.getBaseVariable().(SsaImpl::BaseIRVariable).getIRVariable().getAst()
@@ -780,9 +779,6 @@ module Public {
780779

781780
/** Gets the uninitialized local variable corresponding to this node. */
782781
LocalVariable getLocalVariable() { result = v }
783-
784-
/** Gets the level of indirection to get to this node. */
785-
int getIndirectionIndex() { result = indirectionIndex }
786782
}
787783

788784
/**

0 commit comments

Comments
 (0)