[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH 7/7] cex: replace state-item data structures
From: |
Akim Demaille |
Subject: |
Re: [PATCH 7/7] cex: replace state-item data structures |
Date: |
Fri, 22 May 2020 08:17:14 +0200 |
FTR, I'm merging these changes in, because bison was not compiling cleanly:
/Users/akim/src/gnu/bison/src/state-item.c:96:1: error: 'hash_pair_remove'
defined but not used [-Werror=unused-function]
96 | hash_pair_remove (Hash_table *tab, int key)
| ^~~~~~~~~~~~~~~~
cc1: all warnings being treated as errors
diff --git a/src/state-item.c b/src/state-item.c
index 23561e87..2af5400e 100644
--- a/src/state-item.c
+++ b/src/state-item.c
@@ -92,14 +92,6 @@ hash_pair_insert (Hash_table *tab, int key, bitset val)
assert (res == hp);
}
-static void
-hash_pair_remove (Hash_table *tab, int key)
-{
- hash_pair probe;
- probe.key = key;
- hash_delete (tab, &probe);
-}
-
/* A state_item from a state's id and the offset of the item within
the state. */
state_item *
- [PATCH 0/7] Fixing all cex leaks, Vincent Imbimbo, 2020/05/21
- [PATCH 1/7] cex: dervation reference counting, Vincent Imbimbo, 2020/05/21
- [PATCH 2/7] cex: fix parse state leaks, Vincent Imbimbo, 2020/05/21
- [PATCH 3/7] cex: fix lssi leaks, Vincent Imbimbo, 2020/05/21
- [PATCH 4/7] cex: fix counterexample leak, Vincent Imbimbo, 2020/05/21
- [PATCH 5/7] cex: fix miscellaneous leaks, Vincent Imbimbo, 2020/05/21
- [PATCH 6/7] cex: fix bad reference counting, Vincent Imbimbo, 2020/05/21
- [PATCH 7/7] cex: replace state-item data structures, Vincent Imbimbo, 2020/05/21
- Re: [PATCH 7/7] cex: replace state-item data structures,
Akim Demaille <=
- Re: [PATCH 0/7] Fixing all cex leaks, Akim Demaille, 2020/05/22