Skip to content

Fix &b crash with input arrivals after save - #552

Open
Zhou-Yilong wants to merge 1 commit into
berkeley-abc:masterfrom
Zhou-Yilong:fix-area-balance-vinarrs-null-levels
Open

Fix &b crash with input arrivals after save#552
Zhou-Yilong wants to merge 1 commit into
berkeley-abc:masterfrom
Zhou-Yilong:fix-area-balance-vinarrs-null-levels

Conversation

@Zhou-Yilong

Copy link
Copy Markdown

Fix a segfault in &b after save.

save evaluates mapped delay and initializes the network timing manager.
After strash, &get -nm transfers this timing information into Gia_Man_t::vInArrs. Gia_ManAreaBalance() then writes CI levels through p->vLevels, but the vInArrs branch did not allocate this vector.

Minimal reproducer:

read <library>
read_lib <library>
read i10.aig
strash
map; save; strash
&get -nm; &b

Without save, the sequence completes. Before this fix, the sequence with
save segfaults at src/aig/gia/giaBalAig.c:1064.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant