Differential D84929 Diff 281861 clang/unittests/StaticAnalyzer/FalsePositiveRefutationBRVisitorTest.cpp
Changeset View
Changeset View
Standalone View
Standalone View
clang/unittests/StaticAnalyzer/FalsePositiveRefutationBRVisitorTest.cpp
| Show All 10 Lines | |||||
| #include "clang/Frontend/CompilerInstance.h" | #include "clang/Frontend/CompilerInstance.h" | ||||
| #include "clang/StaticAnalyzer/Core/BugReporter/BugReporter.h" | #include "clang/StaticAnalyzer/Core/BugReporter/BugReporter.h" | ||||
| #include "clang/StaticAnalyzer/Core/BugReporter/BugType.h" | #include "clang/StaticAnalyzer/Core/BugReporter/BugType.h" | ||||
| #include "clang/StaticAnalyzer/Core/Checker.h" | #include "clang/StaticAnalyzer/Core/Checker.h" | ||||
| #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" | #include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h" | ||||
| #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" | #include "clang/StaticAnalyzer/Core/PathSensitive/CheckerContext.h" | ||||
| #include "clang/StaticAnalyzer/Frontend/AnalysisConsumer.h" | #include "clang/StaticAnalyzer/Frontend/AnalysisConsumer.h" | ||||
| #include "clang/StaticAnalyzer/Frontend/CheckerRegistry.h" | #include "clang/StaticAnalyzer/Frontend/CheckerRegistry.h" | ||||
| #include "llvm/Config/config.h" | #include "llvm/Config/llvm-config.h" | ||||
| #include "gtest/gtest.h" | #include "gtest/gtest.h" | ||||
| // FIXME: Use GTEST_SKIP() instead if GTest is updated to version 1.10.0 | // FIXME: Use GTEST_SKIP() instead if GTest is updated to version 1.10.0 | ||||
| #ifdef LLVM_WITH_Z3 | #ifdef LLVM_WITH_Z3 | ||||
| #define SKIP_WITHOUT_Z3 | #define SKIP_WITHOUT_Z3 | ||||
| #else | #else | ||||
| #define SKIP_WITHOUT_Z3 return | #define SKIP_WITHOUT_Z3 return | ||||
| #endif | #endif | ||||
| ▲ Show 20 Lines • Show All 196 Lines • Show Last 20 Lines | |||||