From 08a6b99cfd43a3dd6c35b23b4033ae9503291e38 Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Fri, 16 Jan 2026 12:41:20 +0000 Subject: [PATCH] C++: Add change note. --- .../lib/change-notes/2026-01-16-barrier-guard-conflation.md | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 cpp/ql/lib/change-notes/2026-01-16-barrier-guard-conflation.md diff --git a/cpp/ql/lib/change-notes/2026-01-16-barrier-guard-conflation.md b/cpp/ql/lib/change-notes/2026-01-16-barrier-guard-conflation.md new file mode 100644 index 00000000000..fa1b52e469b --- /dev/null +++ b/cpp/ql/lib/change-notes/2026-01-16-barrier-guard-conflation.md @@ -0,0 +1,4 @@ +--- +category: fix +--- +* Fixed a bug in the `DataFlow::BarrierGuard<...>::getABarrierNode` predicate which caused the predicate to return `DataFlow::Node`s with incorrect indirections. If you use `getABarrierNode` to implement barriers in a dataflow/taint-tracking query it may result in more query results. You can use `DataFlow::BarrierGuard<...>::getAnIndirectBarrierNode` to remove those query results. \ No newline at end of file