[PATCH] D63915: [analyzer][WIP] ReturnValueChecker: Model the guaranteed boolean return value of function calls

[Csaba Dabis via Phabricator via cfe-commits]

Charusso created this revision.
Charusso added reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus.
Charusso added a project: clang.
Herald added subscribers: cfe-commits, dkrupp, donat.nagy, mikhail.ramalho, a.sidorin, rnkovacs, szepet, mgorny.

Options:

- `apiModeling.ReturnValue:Calls`

  (string) A semicolon separated list of tuples.
  Where each tuple consists of a call name,
  its truth value, and an optional class name
  of that method separated by colons: "call
  name : truth value : optional class name";"...".
  It ensures the boolean return value of each
  function call. (default: "")



- `apiModeling.ReturnValue:Projects`

  (string) A semicolon separated list of predefined
  projects. It adds to the "Calls" additional
  hard coded call-lists of the given projects.
  Possible value: "llvm". (default: "llvm")


Repository:
  rC Clang

https://reviews.llvm.org/D63915

Files:
  clang/include/clang/StaticAnalyzer/Checkers/Checkers.td
  clang/lib/StaticAnalyzer/Checkers/CMakeLists.txt
  clang/lib/StaticAnalyzer/Checkers/ReturnValueChecker.cpp
  clang/test/Analysis/analyzer-config.c
  clang/test/Analysis/return-value-guaranteed.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D63915.206983.patch
Type: text/x-patch
Size: 10661 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20190628/e994c1ae/attachment-0001.bin>