summaryrefslogtreecommitdiff
path: root/clang/unittests/Analysis/FlowSensitive/UncheckedOptionalAccessModelTest.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'clang/unittests/Analysis/FlowSensitive/UncheckedOptionalAccessModelTest.cpp')
-rw-r--r--clang/unittests/Analysis/FlowSensitive/UncheckedOptionalAccessModelTest.cpp21
1 files changed, 12 insertions, 9 deletions
diff --git a/clang/unittests/Analysis/FlowSensitive/UncheckedOptionalAccessModelTest.cpp b/clang/unittests/Analysis/FlowSensitive/UncheckedOptionalAccessModelTest.cpp
index f16472ef1714..4227a6bfdeba 100644
--- a/clang/unittests/Analysis/FlowSensitive/UncheckedOptionalAccessModelTest.cpp
+++ b/clang/unittests/Analysis/FlowSensitive/UncheckedOptionalAccessModelTest.cpp
@@ -552,6 +552,7 @@ namespace std {
template <typename T>
class initializer_list {
public:
+ const T *a, *b;
initializer_list() noexcept;
};
@@ -1336,15 +1337,17 @@ protected:
[](ASTContext &Ctx, Environment &Env) {
return UncheckedOptionalAccessModel(Ctx, Env);
})
- .withPostVisitCFG(
- [&Diagnostics,
- Diagnoser = UncheckedOptionalAccessDiagnoser(Options)](
- ASTContext &Ctx, const CFGElement &Elt,
- const TransferStateForDiagnostics<NoopLattice>
- &State) mutable {
- auto EltDiagnostics = Diagnoser(Elt, Ctx, State);
- llvm::move(EltDiagnostics, std::back_inserter(Diagnostics));
- })
+ .withDiagnosisCallbacks(
+ {/*Before=*/[&Diagnostics,
+ Diagnoser =
+ UncheckedOptionalAccessDiagnoser(Options)](
+ ASTContext &Ctx, const CFGElement &Elt,
+ const TransferStateForDiagnostics<NoopLattice>
+ &State) mutable {
+ auto EltDiagnostics = Diagnoser(Elt, Ctx, State);
+ llvm::move(EltDiagnostics, std::back_inserter(Diagnostics));
+ },
+ /*After=*/nullptr})
.withASTBuildArgs(
{"-fsyntax-only", CxxMode, "-Wno-undefined-inline"})
.withASTBuildVirtualMappedFiles(