[PATCH] D85319: [analyzer][RFC] Get info from the LLVM IR for precision

[Gabor Marton via Phabricator via cfe-commits]

martong added inline comments.


================
Comment at: clang/lib/StaticAnalyzer/Core/ExprEngineCallAndReturn.cpp:720
+              F->getAttributes().hasFnAttribute(llvm::Attribute::ReadOnly))
+            return;
+
----------------
NoQ wrote:
> Before i forget: you still need to conjure the return value.
Good catch, thanks!


Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D85319/new/

https://reviews.llvm.org/D85319