C#: Always inline ControlFlowElement::[reachableFrom|getAReachableElement]()

hvitved · hvitved · commit c3a62b365617 · 2019-02-21T11:20:47.000+01:00
diff --git a/csharp/ql/src/semmle/code/csharp/controlflow/ControlFlowElement.qll b/csharp/ql/src/semmle/code/csharp/controlflow/ControlFlowElement.qll
@@ -51,9 +51,13 @@ class ControlFlowElement extends ExprOrStmtParent, @control_flow_element {
   predicate isLive() { exists(this.getAControlFlowNode()) }
 
   /** Holds if the current element is reachable from `src`. */
+  // potentially very large predicate, so must be inlined
+  pragma[inline]
   predicate reachableFrom(ControlFlowElement src) { this = src.getAReachableElement() }
 
   /** Gets an element that is reachable from this element. */
+  // potentially very large predicate, so must be inlined
+  pragma[inline]
   ControlFlowElement getAReachableElement() {
     // Reachable in same basic block
     exists(BasicBlock bb, int i, int j |
