clang/test/Analysis/test-variably-modified-types.c

   1 // RUN: %clang_analyze_cc1 -analyzer-checker=core -analyze-function=testVariablyModifiedTypes -verify %s
   2
   3 // 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.
   4 unsigned getArraySize(int *x) {
   5   if (!x)
   6     return *x; // expected-warning {{Dereference of null pointer}}
   7   return 1;
   8 }
   9
  10 int testVariablyModifiedTypes(int *x) {
  11   int mytype[getArraySize(x)];
  12   return 0;
  13 }