CodeQL library for C#

Predicate Internal::bbIndex

Holds if cfn is the ith node in basic block bb.

In other words, i is the shortest distance from a node bb that starts a basic block to cfn along the intraBBSucc relation.

Import path

import semmle.code.csharp.controlflow.BasicBlocks
predicate bbIndex(Node bbStart, Node cfn, int i)