LLVM/Clang already has a pass that can infer the 'readonly' attribute.

http://llvm.org/docs/LangRef.html#function-attributes

https://github.com/llvm-mirror/llvm/blob/master/lib/Transfor...