From goblint/cil#221:
Besides fixing this, it might make sense to also cache the bitsOffset calls on Goblint side.
Cil.bitsOffset is kind of expensive: it seems to recompute the struct layout every time.
In addition to the small change, we should evaluate the impact on rsync/sv-benchmarks.
From goblint/cil#221:
Cil.bitsOffsetis kind of expensive: it seems to recompute the struct layout every time.In addition to the small change, we should evaluate the impact on rsync/sv-benchmarks.