[analyzer] ReturnValueChecker: Model the guaranteed boolean return value of function...

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

Summary: It models the known LLVM methods paired with their class.

Reviewers: NoQ, xazax.hun, ravikandhadai, baloghadamsoftware, Szelethus

Reviewed By: NoQ

Subscribers: dschuff, aheejin, mgorny, szepet, rnkovacs, a.sidorin,
             mikhail.ramalho, donat.nagy, dkrupp, cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D63915

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@365103 91177308-0d34-0410-b5e6-96231b3b80d8