mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-03 01:21:43 +00:00
The race may happen when element objects get destructed by another thread then the thread handling the for_each loop. In this case it may happen that the object is already destructed (left the ~Element destructor) but the thread handling the loop touches the invalid memory afterwards (the Element lock). detected during issue #2299 Fixes #2320
This directory contains all source codes.