Exception safety#211

Closed

ConradDrescher wants to merge 14 commits into

Gecode:masterfrom

ConradDrescher:exception_safety

Commits on May 12, 2026

Improve exception safety during clone

Kris Coester
authored and
ConradDrescher
committed
Initialize members in Space copy which are used in Space dtor

AlexShepil
authored and
ConradDrescher
committed
Clean-up & provide productive gecode version

AlexShepil
authored and
ConradDrescher
committed
Introduce & use isFullyConstructed variable; refactor & cleanup

AlexShepil
authored and
ConradDrescher
committed
Fix detected issues of recover implementation in case of OOM

Kris Coester
authored and
ConradDrescher
committed
Prevent cancellation of advisors from variables in premature destruction mode

Kris Coester
authored and
ConradDrescher
committed
Move increase of propagation in status statistics to virtual method

Kris Coester
authored and
ConradDrescher
committed
Fix memory leak in IntSetObject::allocate

AlexShepil
authored and
ConradDrescher
committed
Fix memory corruption in IntSetObject::allocate

AlexShepil
authored and
ConradDrescher
committed
Fix exception handling in IntSetObject::allocate

AlexShepil
authored and
ConradDrescher
committed
Fixed memory leak in Space::ap_notice_dispose

AlexShepil
authored and
ConradDrescher
committed
Fixed memory leak in BoolExpr & IntExpr Nodes

AlexShepil
authored and
ConradDrescher
committed
Fix leak in ArithNonLinIntExpr ctor

AlexShepil
authored and
ConradDrescher
committed
Adapt locking mechanism to be minimal with respect to locked scope (global)

Kris Coester
authored and
ConradDrescher
committed