rosenberg: handle bit fields better
[smatch.git] / ptrmap.c
blobff07e19a1ebcf3a6e39f97680e28dbc931c6ff18
1 // SPDX-License-Identifier: MIT
2 /*
3 * Stupid implementation of pointer -> pointer map.
5 * Copyright (c) 2017 Luc Van Oostenryck.
7 * Permission is hereby granted, free of charge, to any person obtaining a copy
8 * of this software and associated documentation files (the "Software"), to deal
9 * in the Software without restriction, including without limitation the rights
10 * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
11 * copies of the Software, and to permit persons to whom the Software is
12 * furnished to do so, subject to the following conditions:
14 * The above copyright notice and this permission notice shall be included in
15 * all copies or substantial portions of the Software.
17 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
18 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
19 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
20 * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
21 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
22 * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
23 * THE SOFTWARE.
26 #include "ptrmap.h"
27 #include "allocate.h"
28 #include <stddef.h>
30 #define MAP_NR 7
32 struct ptrpair {
33 void *key;
34 void *val;
36 struct ptrmap {
37 struct ptrmap *next;
38 int nr;
39 struct ptrpair pairs[MAP_NR];
42 DECLARE_ALLOCATOR(ptrmap);
43 ALLOCATOR(ptrmap, "ptrmap");
45 void __ptrmap_add(struct ptrmap **mapp, void *key, void *val)
47 struct ptrmap *head = *mapp;
48 struct ptrmap *newmap;
49 struct ptrmap *map;
50 struct ptrpair *pair;
51 int nr;
53 if ((map = head)) {
54 struct ptrmap *next = map->next;
55 if (next) // head is full
56 map = next;
57 if ((nr = map->nr) < MAP_NR)
58 goto oldmap;
61 // need a new block
62 newmap = __alloc_ptrmap(0);
63 if (!head) {
64 *mapp = newmap;
65 } else {
66 newmap->next = head->next;
67 head->next = newmap;
69 map = newmap;
70 nr = 0;
72 oldmap:
73 pair = &map->pairs[nr];
74 pair->key = key;
75 pair->val = val;
76 map->nr = ++nr;
79 void *__ptrmap_lookup(struct ptrmap *map, void *key)
81 for (; map; map = map->next) {
82 int i, n = map->nr;
83 for (i = 0; i < n; i++) {
84 struct ptrpair *pair = &map->pairs[i];
85 if (pair->key == key)
86 return pair->val;
89 return NULL;
92 void __ptrmap_update(struct ptrmap **mapp, void *key, void *val)
94 struct ptrmap *map = *mapp;
96 for (; map; map = map->next) {
97 int i, n = map->nr;
98 for (i = 0; i < n; i++) {
99 struct ptrpair *pair = &map->pairs[i];
100 if (pair->key == key) {
101 if (pair->val != val)
102 pair->val = val;
103 return;
108 __ptrmap_add(mapp, key, val);