diff options
Diffstat (limited to 'clang/test/SemaCXX/warn-consumed-analysis-strict.cpp')
| -rw-r--r-- | clang/test/SemaCXX/warn-consumed-analysis-strict.cpp | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/clang/test/SemaCXX/warn-consumed-analysis-strict.cpp b/clang/test/SemaCXX/warn-consumed-analysis-strict.cpp index 499ba009bdd..1bc604de479 100644 --- a/clang/test/SemaCXX/warn-consumed-analysis-strict.cpp +++ b/clang/test/SemaCXX/warn-consumed-analysis-strict.cpp @@ -3,6 +3,7 @@ #define CALLABLE_WHEN_UNCONSUMED __attribute__ ((callable_when_unconsumed)) #define CONSUMABLE __attribute__ ((consumable)) #define CONSUMES __attribute__ ((consumes)) +#define RETURN_TYPESTATE(State) __attribute__ ((return_typestate(State))) #define TESTS_UNCONSUMED __attribute__ ((tests_unconsumed)) #define TEST_VAR(Var) Var.isValid() @@ -15,9 +16,10 @@ class CONSUMABLE ConsumableClass { public: ConsumableClass(); - ConsumableClass(T val); - ConsumableClass(ConsumableClass<T> &other); - ConsumableClass(ConsumableClass<T> &&other); + ConsumableClass(nullptr_t p) RETURN_TYPESTATE(consumed); + ConsumableClass(T val) RETURN_TYPESTATE(unconsumed); + ConsumableClass(ConsumableClass<T> &other) RETURN_TYPESTATE(unconsumed); + ConsumableClass(ConsumableClass<T> &&other) RETURN_TYPESTATE(unconsumed); ConsumableClass<T>& operator=(ConsumableClass<T> &other); ConsumableClass<T>& operator=(ConsumableClass<T> &&other); |
