From 58bba86be4379db2a67837e7513fb492fc65a8df Mon Sep 17 00:00:00 2001 From: Robert Marsh Date: Mon, 10 Feb 2020 09:52:23 -0800 Subject: [PATCH] C++: autoformat --- .../code/cpp/ir/dataflow/internal/DataFlowUtil.qll | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll b/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll index f85cb8fc175..d348f28cc1d 100644 --- a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll +++ b/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll @@ -392,11 +392,11 @@ private predicate modelFlow(Instruction iFrom, Instruction iTo) { } /** - * Holds if the result is a side effect for instruction `call` on argument - * index `argument`. This helper predicate makes it easy to join on both of - * these columns at once, avoiding pathological join orders in case the - * argument index should get joined first. - */ + * Holds if the result is a side effect for instruction `call` on argument + * index `argument`. This helper predicate makes it easy to join on both of + * these columns at once, avoiding pathological join orders in case the + * argument index should get joined first. + */ pragma[noinline] SideEffectInstruction getSideEffectFor(CallInstruction call, int argument) { call = result.getPrimaryInstruction() and