the argument is marked nocapture - no need to analyze the argument if the answer is already known! llvm-svn: 61753