diff options
| author | George Karpenkov <ekarpenkov@apple.com> | 2018-01-02 23:05:47 +0000 |
|---|---|---|
| committer | George Karpenkov <ekarpenkov@apple.com> | 2018-01-02 23:05:47 +0000 |
| commit | 96625fdc6bff9f9bbf96239860a501778623b680 (patch) | |
| tree | fe1b39b9f57aa82cd3e10acfc15df6f1d5297277 /clang/test/Analysis/call_once.cpp | |
| parent | 30d927a12805189a6e30efe8e917295fe3b92451 (diff) | |
| download | bcm5719-llvm-96625fdc6bff9f9bbf96239860a501778623b680.tar.gz bcm5719-llvm-96625fdc6bff9f9bbf96239860a501778623b680.zip | |
[analyzer] do not crash with assertion on processing locations of bodyfarmed functions
This addresses an issue introduced in r183451: since
`removePiecesWithInvalidLocations` is called *after* `adjustCallLocations`,
it is not necessary, and in fact harmful, to have this assertion in
adjustCallLocations.
Addresses rdar://36170689
Differential Revision: https://reviews.llvm.org/D41680
llvm-svn: 321682
Diffstat (limited to 'clang/test/Analysis/call_once.cpp')
| -rw-r--r-- | clang/test/Analysis/call_once.cpp | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/clang/test/Analysis/call_once.cpp b/clang/test/Analysis/call_once.cpp index db9e5cc7ca1..445c616b3cb 100644 --- a/clang/test/Analysis/call_once.cpp +++ b/clang/test/Analysis/call_once.cpp @@ -1,10 +1,11 @@ -// RUN: %clang_analyze_cc1 -std=c++11 -fblocks -analyzer-checker=core,debug.ExprInspection -verify %s -// RUN: %clang_analyze_cc1 -std=c++11 -fblocks -analyzer-checker=core,debug.ExprInspection -DEMULATE_LIBSTDCPP -verify %s +// RUN: %clang_analyze_cc1 -std=c++11 -fblocks -analyzer-checker=core,debug.ExprInspection -verify %s -o %t.report +// RUN: %clang_analyze_cc1 -std=c++11 -fblocks -analyzer-checker=core,debug.ExprInspection -DEMULATE_LIBSTDCPP -verify %s -o %t.report // We do NOT model libcxx03 implementation, but the analyzer should still // not crash. -// RUN: %clang_analyze_cc1 -std=c++11 -fblocks -analyzer-checker=core,debug.ExprInspection -DEMULATE_LIBCXX03 -verify %s -// RUN: %clang_analyze_cc1 -std=c++11 -fblocks -analyzer-checker=core,debug.ExprInspection -DEMULATE_LIBCXX03 -DEMULATE_LIBSTDCPP -verify %s +// RUN: %clang_analyze_cc1 -std=c++11 -fblocks -analyzer-checker=core,debug.ExprInspection -DEMULATE_LIBCXX03 -verify %s -o %t.report +// RUN: %clang_analyze_cc1 -std=c++11 -fblocks -analyzer-checker=core,debug.ExprInspection -DEMULATE_LIBCXX03 -DEMULATE_LIBSTDCPP -verify %s -o %t.report +// RUN: rm -rf %t.report void clang_analyzer_eval(bool); |
