da630d6245213b50ae2418d5e36d9ba918297fbd - llvm-project/clang

commit	da630d6245213b50ae2418d5e36d9ba918297fbd	[log] [tgz]
author	Balazs Benics <balazs.benics@sigmatechnology.se>	Fri Nov 19 18:32:13 2021 +0100
committer	Copybara-Service <copybara-worker@google.com>	Fri Nov 19 09:36:53 2021 -0800
tree	89861afcd7561476aae09ff8226a928f94faaebe
parent	56f66346b8fd082d166841cc4f993cc233211923 [diff]

[analyzer][NFC] Switch to using CallDescription::matches() instead of isCalled()

This patch replaces each use of the previous API with the new one.
In variadic cases, it will use the ADL `matchesAny(Call, CDs...)`
variadic function.
Also simplifies some code involving such operations.

Reviewed By: martong, xazax.hun

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

GitOrigin-RevId: f18da190b0dba817d33ccd7727537f12304d8125

include/clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h[diff]
lib/StaticAnalyzer/Checkers/BasicObjCFoundationChecks.cpp[diff]
lib/StaticAnalyzer/Checkers/BlockInCriticalSectionChecker.cpp[diff]
lib/StaticAnalyzer/Checkers/CStringChecker.cpp[diff]
lib/StaticAnalyzer/Checkers/ChrootChecker.cpp[diff]
lib/StaticAnalyzer/Checkers/InnerPointerChecker.cpp[diff]
lib/StaticAnalyzer/Checkers/MIGChecker.cpp[diff]
lib/StaticAnalyzer/Checkers/MmapWriteExecChecker.cpp[diff]
lib/StaticAnalyzer/Checkers/SimpleStreamChecker.cpp[diff]
lib/StaticAnalyzer/Checkers/SmartPtrModeling.cpp[diff]
lib/StaticAnalyzer/Checkers/StringChecker.cpp[diff]
lib/StaticAnalyzer/Checkers/ValistChecker.cpp[diff]
lib/StaticAnalyzer/Checkers/cert/PutenvWithAutoChecker.cpp[diff]
lib/StaticAnalyzer/Core/CallEvent.cpp[diff]
unittests/StaticAnalyzer/ConflictingEvalCallsTest.cpp[diff]
unittests/StaticAnalyzer/NoStateChangeFuncVisitorTest.cpp[diff]

16 files changed

tree: 89861afcd7561476aae09ff8226a928f94faaebe