[PATCH] D79432: [analyzer] StdLibraryFunctionsChecker: Add summaries for libc
Artem Dergachev via Phabricator via cfe-commits
cfe-commits at lists.llvm.org
Tue Jun 23 03:40:37 PDT 2020
NoQ added inline comments.
================
Comment at: clang/test/Analysis/std-c-library-functions.c:231
+ if (p > 0)
+ clang_analyzer_eval(abs(p) < 0); // expected-warning{{TRUE}}
+ if (p < 0)
----------------
Emm :)
Repository:
rG LLVM Github Monorepo
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D79432/new/
https://reviews.llvm.org/D79432
More information about the cfe-commits
mailing list