Any idea if this optimization is actually taken by the compiler?