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

[Artem Dergachev via Phabricator via cfe-commits]

NoQ added inline comments.


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


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D85319