================
@@ -0,0 +1,53 @@
+// RUN: %clang_analyze_cc1 -analyzer-checker=cplusplus.Move %s -std=c++11\
+// RUN: -analyzer-output=text -verify=expected
+
+#include "Inputs/system-header-simulator-cxx.h"
+
+class C {
+ int n;
+public:
+ void meth();
+};
+
+void opaqueFreeFun();
+
+class Foo {
+ std::unique_ptr<C> up;
+ void opaqueMeth();
+
+ void testOpaqueMeth() {
+ auto tmp = std::move(up);
+ opaqueMeth(); // clears region state
+ (void)up->meth(); // no-warning
+ }
+
+ void testOpaqueFreeFun() {
+ auto tmp = std::move(up); // expected-note{{Smart pointer 'up' of type
'std::unique_ptr' is reset to null when moved from}}
+ opaqueFreeFun(); // does not clear region state
+ (void)up->meth(); // expected-warning{{Dereference of null smart pointer
'up' of type 'std::unique_ptr'}}
+ // expected-note@-1{{Dereference of null smart pointer
'up' of type 'std::unique_ptr'}}
+ }
+};
+
+void testInstanceMeth(C c) {
+ auto tmp1 = std::move(c); // expected-note{{Object 'c' is moved}}
+ auto tmp2 = std::move(c); // expected-warning{{Moved-from object 'c' is
moved}}
+ // expected-note@-1{{Moved-from object 'c' is
moved}}
+ auto tmp3 = std::move(c);
+ c.meth(); // does not clear region state
+ auto tmp4 = std::move(c);
+ auto tmp5 = std::move(c); // no-warning
+}
+
+void modify(C&);
----------------
steakhal wrote:
So we have a couple opaque functions in this file.
What if we had one free function that covers the use cases of both
`opaqueFreeFun` and `modify`.
You could spell it:
```c++
template <class... Ts> void opaque(Ts...);
```
And then use it as `opaque<C&>(c)`, or just `opaque()`.
https://github.com/llvm/llvm-project/pull/169626
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
