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