Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    fixpool: allocate a new chunk on creation · 645935f7
    Alexandre Duret-Lutz authored 
    Allocate the first chunk when the fixpool is created.  This avoid a
undefined behavior reported in issue #413 without requiring an extra
comparison in allocate().

* spot/misc/fixpool.hh, spot/misc/fixpool.cc (new_chunk_): New method
extracted from allocate().  Use it in the constructor as well.
* NEWS: Mention the bug.
    645935f7
To find the state of this project's repository at the time of any of these versions, check out the tags.