> Compilers in general aren't always perfect Right. > so if you really genuinely care about copying that much you should be inspecting and profiling the binar

> Compilers in general aren't always perfect Right. > so if you really genuinely care about copying that much you should be inspecting and profiling the binary they output Sure, but manual inspection is burdensome and unreliable. Are you advocating against just use the language-level constructs (pointers/references) that guarantee a copy isn't performed?