aboutsummaryrefslogtreecommitdiff
path: root/test/Analysis/method-call-intra-p.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'test/Analysis/method-call-intra-p.cpp')
-rw-r--r--test/Analysis/method-call-intra-p.cpp33
1 files changed, 0 insertions, 33 deletions
diff --git a/test/Analysis/method-call-intra-p.cpp b/test/Analysis/method-call-intra-p.cpp
deleted file mode 100644
index bead20fecd54..000000000000
--- a/test/Analysis/method-call-intra-p.cpp
+++ /dev/null
@@ -1,33 +0,0 @@
-// RUN: %clang_analyze_cc1 -analyzer-checker=core -analyzer-store region -verify %s
-// expected-no-diagnostics
-
-// Intra-procedural C++ tests.
-
-// Test relaxing function call arguments invalidation to be aware of const
-// arguments. radar://10595327
-struct InvalidateArgs {
- void ttt(const int &nptr);
- virtual void vttt(const int *nptr);
-};
-struct ChildOfInvalidateArgs: public InvalidateArgs {
- virtual void vttt(const int *nptr);
-};
-void declarationFun(int x) {
- InvalidateArgs t;
- x = 3;
- int y = x + 1;
- int *p = 0;
- t.ttt(y);
- if (x == y)
- y = *p; // no-warning
-}
-void virtualFun(int x) {
- ChildOfInvalidateArgs t;
- InvalidateArgs *pt = &t;
- x = 3;
- int y = x + 1;
- int *p = 0;
- pt->vttt(&y);
- if (x == y)
- y = *p; // no-warning
-}