From 912260b3aa17ab2d94098b32b0890bc0c6fd7f97 Mon Sep 17 00:00:00 2001 From: Geoffrey White <40627776+geoffw0@users.noreply.github.com> Date: Fri, 24 Jan 2020 09:43:58 +0000 Subject: [PATCH] C++: Autoformat tests. --- .../StackVariableReachabilityWithReassignment.ql | 6 ++---- .../stackVariableReachability.ql | 10 +++------- 2 files changed, 5 insertions(+), 11 deletions(-) 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