> valgrind is not flagging the above for me? valgrind 3.9 on Fedora 20 did not report this issues for me either. However, the same version of valgrind reported this issue on a CentOS 6.5.
> I'm not sure how this deinit code might cause an issue in practice though. Isn't that undefined behavior?. > How reproducible is this lockup for you? Once in a couple of weeks or so.
