From cfd80cb48e114d730b8237e18150b4b018929c01 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Mon, 20 Jul 2026 11:53:55 +0200
Subject: [PATCH] Update constids to fix leaks

---
 kernel/constids.inc | 32 ++++++++++++++++++++++++++++++++
 libs/symfpu         |  2 +-
 2 files changed, 33 insertions(+), 1 deletion(-)

diff --git a/kernel/constids.inc b/kernel/constids.inc
index cfd12e3fb..16cb80ce6 100644
--- a/kernel/constids.inc
+++ b/kernel/constids.inc
@@ -448,6 +448,7 @@ X(DST_EN)
 X(DST_PEN)
 X(DST_POL)
 X(DST_WIDTH)
+X(DZ)
 X(D_ARST_N)
 X(D_BYPASS)
 X(D_EN)
@@ -580,11 +581,14 @@ X(NMUX)
 X(NOR)
 X(NOT)
 X(NPRODUCTS)
+X(NV)
+X(NX)
 X(NX_CY)
 X(NX_CY_1BIT)
 X(O)
 X(OAI3)
 X(OAI4)
+X(OF)
 X(OFFSET)
 X(OHOLDBOT)
 X(OHOLDTOP)
@@ -779,6 +783,7 @@ X(T_RISE_MAX)
 X(T_RISE_MIN)
 X(T_RISE_TYP)
 X(U)
+X(UF)
 X(UP)
 X(USE_DPORT)
 X(USE_MULT)
@@ -882,6 +887,9 @@ X(f_mode)
 X(feedback)
 X(feedback_i)
 X(first)
+X(flags_ff)
+X(flags_fi)
+X(flags_if)
 X(force_downto)
 X(force_upto)
 X(fsm_encoding)
@@ -898,6 +906,7 @@ X(gold)
 X(hdlname)
 X(hierconn)
 X(i)
+X(ieee754Equal)
 X(init)
 X(initial_top)
 X(interface_modport)
@@ -905,11 +914,22 @@ X(interface_type)
 X(interfaces_replaced_in_module)
 X(invertible_pin)
 X(iopad_external_pin)
+X(isFinite)
+X(isInfinite)
+X(isNaN)
+X(isNegative)
+X(isNormal)
+X(isPositive)
+X(isSubnormal)
+X(isZero)
 X(is_inferred)
 X(is_interface)
+X(is_signed)
 X(it)
 X(keep)
 X(keep_hierarchy)
+X(lessThan)
+X(lessThanOrEqual)
 X(lib_whitebox)
 X(library)
 X(load_acc)
@@ -938,6 +958,9 @@ X(nomeminit)
 X(nosync)
 X(nowrshmsk)
 X(o)
+X(o_ff)
+X(o_fi)
+X(o_if)
 X(offset)
 X(onehot)
 X(output_select)
@@ -946,6 +969,7 @@ X(p_class)
 X(parallel_case)
 X(parameter)
 X(promoted_if)
+X(qNV)
 X(raise_error)
 X(ram_block)
 X(ram_style)
@@ -957,12 +981,14 @@ X(replaced_by_gclk)
 X(reprocess_after)
 X(reset)
 X(reset_i)
+X(rm)
 X(rom_block)
 X(rom_style)
 X(romstyle)
 X(round)
 X(round_i)
 X(rtlil)
+X(sNV)
 X(saturate_enable)
 X(saturate_enable_i)
 X(scopename)
@@ -972,11 +998,16 @@ X(shift_right_i)
 X(single_bit_vector)
 X(smtlib2_comb_expr)
 X(smtlib2_module)
+X(smtlibEqual)
 X(src)
 X(sta_arrival)
 X(submod)
 X(subtract)
 X(subtract_i)
+X(symfpu)
+X(symfpu_inv)
+X(symfpu_post)
+X(symfpu_pre)
 X(syn_ramstyle)
 X(syn_romstyle)
 X(techmap_autopurge)
@@ -996,6 +1027,7 @@ X(unsigned_a)
 X(unsigned_a_i)
 X(unsigned_b)
 X(unsigned_b_i)
+X(unsupported_sva)
 X(unused_bits)
 X(use_dsp)
 X(value)
diff --git a/libs/symfpu b/libs/symfpu
index c0dd6eef9..5d5e50867 160000
--- a/libs/symfpu
+++ b/libs/symfpu
@@ -1 +1 @@
-Subproject commit c0dd6eef9759381a67572c0098fbe118e23d2429
+Subproject commit 5d5e50867437fe5cabd6ab5aad3b3808ec86701f