steakhal marked an inline comment as done.
steakhal added a comment.

Thanks for the quick response.



================
Comment at: clang/test/Analysis/copy-elision.cpp:9-10
+// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection 
-std=c++17 \
+// RUN:    -analyzer-config elide-constructors=false -DNO_ELIDE_FLAG           
   \
+// RUN:    -analyzer-config eagerly-assume=false -verify %s
 
----------------
martong wrote:
> Should we use `-verify=no-elide` here as well? Since we set the 
> `DNO_ELIDE_FLAG`?
According to  the comment a few lines below:
> Copy elision always occurs in C++17, otherwise it's under an on-by-default 
> flag.

So I think even though one passes the `elide-constructors=false` analyzer 
config, we follow the language semantics, which requires us to elide those 
copies, thus no copy should happen.


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D107078/new/

https://reviews.llvm.org/D107078

_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to