diff --git a/cpp/ql/test/library-tests/controlflow/stackvariablereachability/StackVariableReachabilityWithReassignment.ql b/cpp/ql/test/library-tests/controlflow/stackvariablereachability/StackVariableReachabilityWithReassignment.ql index 3818e90ef67..c143983acbb 100644 --- a/cpp/ql/test/library-tests/controlflow/stackvariablereachability/StackVariableReachabilityWithReassignment.ql +++ b/cpp/ql/test/library-tests/controlflow/stackvariablereachability/StackVariableReachabilityWithReassignment.ql @@ -3,7 +3,7 @@ import semmle.code.cpp.controlflow.StackVariableReachability class MyStackVariableReachability extends StackVariableReachabilityWithReassignment { MyStackVariableReachability() { this = "MyStackVariableReachability" } - + override predicate isSourceActual(ControlFlowNode node, StackVariable v) { exprDefinition(v, _, node) } @@ -12,9 +12,7 @@ class MyStackVariableReachability extends StackVariableReachabilityWithReassignm node.(VariableAccess).getTarget() = v } - override predicate isBarrier(ControlFlowNode node, StackVariable v) { - exprDefinition(v, _, node) - } + override predicate isBarrier(ControlFlowNode node, StackVariable v) { exprDefinition(v, _, node) } } from MyStackVariableReachability svr, ControlFlowNode sink diff --git a/cpp/ql/test/library-tests/controlflow/stackvariablereachability/stackVariableReachability.ql b/cpp/ql/test/library-tests/controlflow/stackvariablereachability/stackVariableReachability.ql index 02edb7b4a69..07770d97d0f 100644 --- a/cpp/ql/test/library-tests/controlflow/stackvariablereachability/stackVariableReachability.ql +++ b/cpp/ql/test/library-tests/controlflow/stackvariablereachability/stackVariableReachability.ql @@ -3,18 +3,14 @@ import semmle.code.cpp.controlflow.StackVariableReachability class MyStackVariableReachability extends StackVariableReachability { MyStackVariableReachability() { this = "MyStackVariableReachability" } - - override predicate isSource(ControlFlowNode node, StackVariable v) { - exprDefinition(v, _, node) - } + + override predicate isSource(ControlFlowNode node, StackVariable v) { exprDefinition(v, _, node) } override predicate isSink(ControlFlowNode node, StackVariable v) { node.(VariableAccess).getTarget() = v } - override predicate isBarrier(ControlFlowNode node, StackVariable v) { - exprDefinition(v, _, node) - } + override predicate isBarrier(ControlFlowNode node, StackVariable v) { exprDefinition(v, _, node) } } from MyStackVariableReachability svr, ControlFlowNode sink