[PATCH] D85319: [analyzer][RFC] Get info from the LLVM IR for precision
Gabor Marton via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Wed Aug 5 12:17:02 PDT 2020
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
More information about the cfe-commits
mailing list