1// RUN: %clang_cc1 -analyze -analyzer-checker=debug.ExprInspection -verify %s
2// expected-no-diagnostics
3
4void clang_analyzer_eval(int);
5
6// rdar://problem/34831581: Used to crash.
7void foo(void) {
8  char buf1[] = @encode(int **);
9}
10