Skip to content

Commit bbce7ee

Browse files
committed
C++: Cache 'getAnInput' since it's now used in several queries.
1 parent 1c3a0d1 commit bbce7ee

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

cpp/ql/lib/semmle/code/cpp/ir/dataflow/internal/DataFlowUtil.qll

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -550,6 +550,7 @@ class SsaPhiNode extends Node, TSsaPhiNode {
550550
* `fromBackEdge` is true if data flows along a back-edge,
551551
* and `false` otherwise.
552552
*/
553+
cached
553554
final Node getAnInput(boolean fromBackEdge) {
554555
localFlowStep(result, this) and
555556
if phi.getBasicBlock().dominates(result.getBasicBlock())

0 commit comments

Comments
 (0)