diff options
| author | Artem Dergachev <artem.dergachev@gmail.com> | 2018-06-28 00:04:54 +0000 |
|---|---|---|
| committer | Artem Dergachev <artem.dergachev@gmail.com> | 2018-06-28 00:04:54 +0000 |
| commit | ff267df0de9664fa9af06987d455ae5f02425c3f (patch) | |
| tree | d7ca32950960fee9964aa476bbe3d622323074b9 /clang/test/Analysis/analyzer-config.c | |
| parent | 5bf1ead3771667bc51d7b6b2ddc29cb860b4fe21 (diff) | |
| download | bcm5719-llvm-ff267df0de9664fa9af06987d455ae5f02425c3f.tar.gz bcm5719-llvm-ff267df0de9664fa9af06987d455ae5f02425c3f.zip | |
[CFG] [analyzer] Add construction contexts that explain pre-C++17 copy elision.
Before C++17 copy elision was optional, even if the elidable copy/move
constructor had arbitrary side effects. The elidable constructor is present
in the AST, but marked as elidable.
In these cases CFG now contains additional information that allows its clients
to figure out if a temporary object is only being constructed so that to pass
it to an elidable constructor. If so, it includes a reference to the elidable
constructor's construction context, so that the client could elide the
elidable constructor and construct the object directly at its final destination.
Differential Revision: https://reviews.llvm.org/D47616
llvm-svn: 335795
Diffstat (limited to 'clang/test/Analysis/analyzer-config.c')
| -rw-r--r-- | clang/test/Analysis/analyzer-config.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/clang/test/Analysis/analyzer-config.c b/clang/test/Analysis/analyzer-config.c index 40f86e1504d..2105a4faf4c 100644 --- a/clang/test/Analysis/analyzer-config.c +++ b/clang/test/Analysis/analyzer-config.c @@ -18,6 +18,7 @@ void foo() { // CHECK-NEXT: cfg-rich-constructors = true // CHECK-NEXT: cfg-scopes = false // CHECK-NEXT: cfg-temporary-dtors = true +// CHECK-NEXT: elide-constructors = true // CHECK-NEXT: exploration_strategy = unexplored_first_queue // CHECK-NEXT: faux-bodies = true // CHECK-NEXT: graph-trim-interval = 1000 @@ -35,4 +36,4 @@ void foo() { // CHECK-NEXT: unroll-loops = false // CHECK-NEXT: widen-loops = false // CHECK-NEXT: [stats] -// CHECK-NEXT: num-entries = 23 +// CHECK-NEXT: num-entries = 24 |
