LLVM/Clang already has a pass that can infer the 'readonly' attribute. http://llvm.org/docs/LangRef.html#function-attributes http://llvm.org/docs/LangRef.html#

LLVM/Clang already has a pass that can infer the 'readonly' attribute. http://llvm.org/docs/LangRef.html#function-attributes http://llvm.org/docs/LangRef.html#function-attributes https://github.com/llvm-mirror/llvm/blob/master/lib/Transforms/IPO/FunctionAttrs.cpp https://github.com/llvm-mirror/llvm/blob/master/lib/Transfor...