C++: Sync identical files.

2026-05-02 04:05:14 +02:00 · 2021-10-26 13:12:25 +01:00
parent 7197216185
commit 12e0185b0d
1 changed files with 1 additions and 0 deletions
--- a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImplCommon.qll
+++ b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/SsaImplCommon.qll
@@ -156,6 +156,7 @@ private predicate dominatesPredecessor(BasicBlock bb1, BasicBlock bb2) {
 }

 /** Holds if `df` is in the dominance frontier of `bb`. */
+pragma[noinline]
 private predicate inDominanceFrontier(BasicBlock bb, BasicBlock df) {
  dominatesPredecessor(bb, df) and
  not strictlyDominates(bb, df)