[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