https://codeql.github.com/codeql-standard-libraries/cpp/semmle/code/cpp/dataflow/internal/DataFlowUtil.qll/module.DataFlowUtil$BarrierGuard.html