[analyzer] pr47037: CastValueChecker: Support for the new variadic isa<>.
authorAdam Balogh <adam.balogh@ericsson.com>
Thu, 27 Aug 2020 15:06:10 +0000 (08:06 -0700)
committerArtem Dergachev <artem.dergachev@gmail.com>
Thu, 27 Aug 2020 19:15:25 +0000 (12:15 -0700)
commit4448affede5100658530aea8793ae7a7bc05a110
treec3f9a2bf8d5a8049817c151b656c8d1c267b7c1f
parent5a9e7789396e7618c1407aafc329e00584437a2f
[analyzer] pr47037: CastValueChecker: Support for the new variadic isa<>.

llvm::isa<>() and llvm::isa_and_not_null<>() template functions recently became
variadic. Unfortunately this causes crashes in case of isa_and_not_null<>()
and incorrect behavior in isa<>(). This patch fixes this issue.

Differential Revision: https://reviews.llvm.org/D85728
clang/lib/StaticAnalyzer/Checkers/CastValueChecker.cpp
clang/test/Analysis/Inputs/llvm.h
clang/test/Analysis/cast-value-logic.cpp
clang/test/Analysis/cast-value-notes.cpp