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

Creates a predicate that checks for overflow in a bitvector multiplication operation

== Synopsis

Declared in `<llvm/Support/SMTAPI.h>`

[source,cpp,subs="verbatim,replacements,macros,-callouts"]
----
virtual
xref:llvm/SMTExprRef.adoc[SMTExprRef]
mkBVMulNoOverflow(
    xref:llvm/SMTExprRef.adoc[SMTExprRef] const& LHS,
    xref:llvm/SMTExprRef.adoc[SMTExprRef] const& RHS,
    bool isSigned) = 0;
----

== Return Value

A predicate expression that is true when multiplication does not overflow.

== Parameters

[cols="1,4"]
|===
| Name| Description
| *LHS*
| Left‐hand bitvector operand.
| *RHS*
| Right‐hand bitvector operand.
| *isSigned*
| Whether to interpret the operands as signed.
|===


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