| 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 | } |
|---|
| 14 | |
|---|