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

Returns true if V cannot be undef, but may be poison.

== Synopsis

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

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
bool
isGuaranteedNotToBeUndef(
    xref:llvm/Value.adoc[Value] const* V,
    xref:llvm/AssumptionCache.adoc[AssumptionCache]* AC = nullptr,
    xref:llvm/Instruction.adoc[Instruction] const* CtxI = nullptr,
    xref:llvm/DominatorTree.adoc[DominatorTree] const* DT = nullptr,
    unsigned int Depth = 0);
----

== Return Value

True if `V` is guaranteed not undef.

== Parameters

[cols="1,4"]
|===
| Name| Description
| *V*
| Value to test for freedom from undef.
| *AC*
| Optional assumption cache for context‐sensitive facts.
| *CtxI*
| Optional context instruction for flow‐sensitive analysis.
| *DT*
| Optional dominator tree for flow‐sensitive analysis.
| *Depth*
| Current recursion depth for this query.
|===


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