Member predicate SsaDefinition::getBasicBlock
Gets the basic block to which this definition belongs.
Currently, all SSA definitions belong to a basic block, but the representation of implicit definitions might change in the future, making this no longer true.