[#llvm-isGuaranteedToTransferExecutionToSuccessor-01a]
= xref:llvm.adoc[llvm]::isGuaranteedToTransferExecutionToSuccessor
:relfileprefix: ../
:mrdocs:

Same as previous, but with range expressed via iterator_range.

== Synopsis

Declared in `<llvm/Analysis/ValueTracking.h>`

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
bool
isGuaranteedToTransferExecutionToSuccessor(
    xref:llvm/iterator_range-0b.adoc[iterator_range<BasicBlock::const_iterator>] Range,
    unsigned int ScanLimit = 32);
----

== Return Value

True if every instruction in `Range` transfers execution.

== Parameters

[cols="1,4"]
|===
| Name| Description
| *Range*
| Instruction range to examine.
| *ScanLimit*
| Maximum number of instructions to examine.
|===


[.small]#Created with https://www.mrdocs.com[MrDocs]#