Comparing Scalar's with differend `defined` values is false

diff --git a/src/intrinsic.rs b/src/intrinsic.rs
index 3d537ea629c3b83b77e9db890fc515e364e463cd..1e8090dc1897624284a7b22d00107668a5042429 100644 (file)
--- a/src/intrinsic.rs
+++ b/src/intrinsic.rs
@@ -327,7 +327,7 @@ fn call_intrinsic(
                 let a = self.value_to_scalar(args[0])?;
                 let b = self.value_to_scalar(args[1])?;
                 // check x % y != 0
-                if self.binary_op(mir::BinOp::Rem, a, ty, b, ty)?.0 != Scalar::null() {
+                if !self.binary_op(mir::BinOp::Rem, a, ty, b, ty)?.0.is_null()? {
                     return err!(ValidationFailure(format!("exact_div: {:?} cannot be divided by {:?}", a, b)));
                 }
                 let result = self.binary_op(mir::BinOp::Div, a, ty, b, ty)?;