mirror of
https://github.com/OPM/opm-simulators.git
synced 2026-09-05 04:40:19 -05:00
this was found using GCC-7's address sanitizer. I suspect that this did not surface earlier (i.e., with valgrind), because newly allocated memory gets initialized to zero by the operating system, so the value of the pointer was zero and the delete operator did what was right by coincidence. the new asan seems to initialize memory randomly, though.