From c21d0b452b3a81b674524df2076b1bddb4cb0cbf Mon Sep 17 00:00:00 2001
From: ZhuangYumin <zhuangyumin@sjtu.edu.cn>
Date: Fri, 10 Nov 2023 12:13:19 +0800
Subject: [PATCH] upd: fix some UB

---
 src/utils.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/utils.cpp b/src/utils.cpp
index 2675898..b2befd4 100644
--- a/src/utils.cpp
+++ b/src/utils.cpp
@@ -175,6 +175,7 @@ std::any Add(std::any a, std::any b) {
     throw FatalError("Add: Type Error", 38);
 }
 std::any Sub(std::any a, std::any b) {
+  if (std::any_cast<std::string>(&b) != nullptr) b = ZYM::int2048(0);
   if (std::any_cast<NoneType>(&a)) a = (bool)false;
   if (std::any_cast<NoneType>(&b)) b = (bool)false;
   ConverToSameArithType(a, b);