bump STG_MAP_SIZE
This commit is contained in:
parent
c420e5c381
commit
a0ab58a6c9
@ -361,7 +361,7 @@ where
|
||||
|
||||
//============================= Graph Feedback
|
||||
|
||||
pub const STG_MAP_SIZE: usize = 1<<20;
|
||||
pub const STG_MAP_SIZE: usize = 1<<28; // 512MB
|
||||
pub static mut STG_MAP: [u16; STG_MAP_SIZE] = [0; STG_MAP_SIZE];
|
||||
pub static mut MAX_STG_NUM: usize = 0;
|
||||
pub unsafe fn stg_map_mut_slice<'a>() -> OwnedMutSlice<'a, u16> {
|
||||
@ -433,7 +433,11 @@ fn set_observer_map(trace : &Vec<EdgeIndex>) {
|
||||
if MAX_STG_NUM < i.index() {
|
||||
MAX_STG_NUM = i.index();
|
||||
}
|
||||
STG_MAP[i.index()] = STG_MAP[i.index()].saturating_add(1);
|
||||
if i.index() < STG_MAP.len() {
|
||||
STG_MAP[i.index()] = STG_MAP[i.index()].saturating_add(1);
|
||||
} else {
|
||||
eprintln!("STG Map index out of bounds: {}", i.index());
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user