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

Returns true if this block does not contain a potential implicit exit.

== Synopsis

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

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
bool
isGuaranteedToTransferExecutionToSuccessor(xref:llvm/BasicBlock.adoc[BasicBlock] const* BB);
----

== Description

This is equivelent to saying that all instructions within the basic block are guaranteed to transfer execution to their successor within the basic block. This has the same assumptions w.r.t. undefined behavior as the instruction variant of this function.

== Return Value

True if every instruction in `BB` transfers to its successor.

== Parameters

[cols="1,4"]
|===
| Name| Description
| *BB*
| Basic block to test.
|===


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