OSDN Git Service

[analyzer][NFC] Add unittest for FalsePositiveRefutationBRVisitor
authorBalazs Benics <benicsbalazs@gmail.com>
Mon, 29 Jun 2020 16:18:43 +0000 (18:18 +0200)
committerBalazs Benics <benicsbalazs@gmail.com>
Mon, 29 Jun 2020 16:18:43 +0000 (18:18 +0200)
commitfe0a555aa3c6f37a5b5d79942215b07587893efa
tree8ffcd33137de417d7748988cb18c5167c64704b5
parentb4130e6e99640046b60452272264823bf0f8813f
[analyzer][NFC] Add unittest for FalsePositiveRefutationBRVisitor

Adds the test infrastructure for testing the FalsePositiveRefutationBRVisitor.
It will be extended in the D78457 patch, which demonstrates and fixes a bug in
the visitor.

Differential Revision: https://reviews.llvm.org/D78704
clang/unittests/StaticAnalyzer/CMakeLists.txt
clang/unittests/StaticAnalyzer/CheckerRegistration.h
clang/unittests/StaticAnalyzer/FalsePositiveRefutationBRVisitorTest.cpp [new file with mode: 0644]