From 07b054d2a6e7acfe57fb45edb169f3d56ebe0a01 Mon Sep 17 00:00:00 2001 From: Simon Krajewski Date: Thu, 25 Jul 2024 15:36:07 +0200 Subject: [PATCH] attempt a blind HL fix --- src/generators/genhl.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/generators/genhl.ml b/src/generators/genhl.ml index 02e3ab214f8..f1514e43bb9 100644 --- a/src/generators/genhl.ml +++ b/src/generators/genhl.ml @@ -1475,7 +1475,7 @@ and jump_expr ctx e jcond = jump_expr ctx e jcond | TUnop (Not,_,e) -> jump_expr ctx e (not jcond) - | TBinop (OpEq,{ eexpr = TConst(TNull) },e) | TBinop (OpEq,e,{ eexpr = TConst(TNull) }) -> + | TBinop ((OpEq | OpGte | OpLte),{ eexpr = TConst(TNull) },e) | TBinop ((OpEq | OpGte | OpLte),e,{ eexpr = TConst(TNull) }) -> let r = eval_expr ctx e in if is_nullable(rtype ctx r) then jump ctx (fun i -> if jcond then OJNull (r,i) else OJNotNull (r,i))