Fix conservative assumption, which was quite broken. Also, notice that

functions known to not access memory (like sin/cos) don't access memory! :)

llvm-svn: 15264