C++: Sync identical files.

MathiasVP · MathiasVP · commit 12e0185b0dd8 · 2021-10-28T12:36:36.000+01:00
diff --git 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)

Original file line number	Diff line number	Diff line change
`@@ -156,6 +156,7 @@ private predicate dominatesPredecessor(BasicBlock bb1, BasicBlock bb2) {`
`156`	`156`	`}`
`157`	`157`
`158`	`158`	/** Holds if `df` is in the dominance frontier of `bb`. */
	`159`	`+pragma[noinline]`
`159`	`160`	`private predicate inDominanceFrontier(BasicBlock bb, BasicBlock df) {`
`160`	`161`	`dominatesPredecessor(bb, df) and`
`161`	`162`	`not strictlyDominates(bb, df)`