From 58715da82b9e1e9da937657a562a87f28e61ea6b Mon Sep 17 00:00:00 2001 From: Anna Zaks Date: Fri, 11 May 2012 23:34:14 +0000 Subject: [PATCH] [analyzer] Test variable modified types. git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@156664 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Analysis/test-variably-modified-types.c | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 test/Analysis/test-variably-modified-types.c diff --git a/test/Analysis/test-variably-modified-types.c b/test/Analysis/test-variably-modified-types.c new file mode 100644 index 0000000000..a833434228 --- /dev/null +++ b/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; +} -- 2.50.1