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

Return true if the given assume operand bundle implies that `Val` is non‐null.

== Synopsis

Declared in `<llvm/IR/BundleAttributes.h>`

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
bool
assumeBundleImpliesNonNull(
    xref:llvm/Value.adoc[Value] const* Val,
    xref:llvm/Function.adoc[Function] const* Context,
    xref:llvm/OperandBundleUse.adoc[OperandBundleUse] OBU);
----

== Return Value

True if `OBU` implies that `Val` is non‐null.

== Parameters

[cols="1,4"]
|===
| Name| Description
| *Val*
| Value that may be proven non‐null by the bundle.
| *Context*
| Function providing null‐pointer address‐space rules.
| *OBU*
| Assume operand bundle to interpret.
|===


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