On 12/9/2013 1:28 PM, Timon Gehr wrote: > Sorry, I'm lost. What point are you arguing? None of this disputes in any way > anything I wrote. I thought you were arguing that whole program analysis was as good as using immutable and const qualifiers.