mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-25 22:00:32 +00:00
d19b751632
This patch fixes a GCC-10 compile error. Even though the optimization was quite effective - I measured a speedup of factor 2 - it is not all that important for the overall application performance. In the nano3d case, we are talking about 1 vs. 2 percent of CPU time. Fixes #4140