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