projects
/
SXSI
/
xpathcomp.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
718a2ef
)
Fix bug where the Lvl2 Cache got corrupted upon resizing.
author
Kim Nguyễn
<kn@lri.fr>
Mon, 2 Apr 2012 13:00:24 +0000
(15:00 +0200)
committer
Kim Nguyễn
<kn@lri.fr>
Mon, 2 Apr 2012 13:00:24 +0000
(15:00 +0200)
src/cache.ml
patch
|
blob
|
history
diff --git
a/src/cache.ml
b/src/cache.ml
index
68cae67
..
dac1dbc
100644
(file)
--- a/
src/cache.ml
+++ b/
src/cache.ml
@@
-1,4
+1,3
@@
-
let realloc l old_size new_size dummy =
let l' = Array.create new_size dummy in
for i = 0 to (min old_size new_size) - 1 do
let realloc l old_size new_size dummy =
let l' = Array.create new_size dummy in
for i = 0 to (min old_size new_size) - 1 do
@@
-130,9
+129,9
@@
struct
let add a i j k v =
let line = Lvl1.find a i in
if line == a.Lvl1.dummy then
let add a i j k v =
let line = Lvl1.find a i in
if line == a.Lvl1.dummy then
- let nline =
{ line with Lvl1.offset = ~-1 }
in
- Lvl
2.add nline j k v
;
- Lvl
1.add a i nline
+ let nline =
Lvl1.create 0 line.Lvl1.dummy
in
+ Lvl
1.add a i nline
;
+ Lvl
2.add nline j k v
else
Lvl2.add line j k v
else
Lvl2.add line j k v