From 3236bad851150e1ce35b84d17c25d1ec04c51050 Mon Sep 17 00:00:00 2001
From: Anna Zaks <ganna@apple.com>
Date: Fri, 11 May 2012 23:34:14 +0000
Subject: [PATCH] [analyzer] Test variable modified types.

llvm-svn: 156664
---
 clang/test/Analysis/test-variably-modified-types.c | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 clang/test/Analysis/test-variably-modified-types.c

diff --git a/clang/test/Analysis/test-variably-modified-types.c b/clang/test/Analysis/test-variably-modified-types.c
new file mode 100644
index 000000000000..a833434228d1
--- /dev/null
+++ b/clang/test/Analysis/test-variably-modified-types.c
@@ -0,0 +1,13 @@
+// RUN: %clang_cc1 -analyze -analyzer-checker=core -analyze-function=testVariablyModifiedTypes -verify %s
+
+// Test that we process variably modified type correctly - the call graph construction should pick up function_with_bug while recursively visiting test_variably_modifiable_types.
+unsigned getArraySize(int *x) {
+  if (!x)
+    return *x; // expected-warning {{Dereference of null pointer}}
+  return 1;
+}
+
+int testVariablyModifiedTypes(int *x) {
+  int mytype[getArraySize(x)];
+  return 0;
+}