Constant propagating byval pointer is safe if function is readonly.