From 57d3f3f482550fefdc3ef40ce1173b2776e4d050 Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Tue, 3 Oct 2023 15:58:24 +0200 Subject: [PATCH] C++: Actually propagate the 'isBarrier1' or 'isBarrier2' predicates to the dataflow configurations. --- .../lib/semmle/code/cpp/ir/dataflow/internal/ProductFlow.qll | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ProductFlow.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ProductFlow.qll index acd59147301..bc511d6f340 100644 --- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ProductFlow.qll +++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/ProductFlow.qll @@ -374,6 +374,8 @@ module ProductFlow { predicate isBarrier(DataFlow::Node node, FlowState state) { Config::isBarrier1(node, state) } + predicate isBarrier(DataFlow::Node node) { Config::isBarrier1(node) } + predicate isBarrierOut(DataFlow::Node node) { Config::isBarrierOut1(node) } predicate isAdditionalFlowStep( @@ -408,6 +410,8 @@ module ProductFlow { predicate isBarrier(DataFlow::Node node, FlowState state) { Config::isBarrier2(node, state) } + predicate isBarrier(DataFlow::Node node) { Config::isBarrier2(node) } + predicate isBarrierOut(DataFlow::Node node) { Config::isBarrierOut2(node) } predicate isAdditionalFlowStep(