// RUN: %clang_analyze_cc1 -analyzer-checker=debug.ExprInspection -verify %s

using size_t = __typeof(sizeof(int));

void clang_analyzer_explain(int);
void clang_analyzer_dump(int);
void *memset(void *, int, size_t);

struct S
{
    static int a;
    ~S(){};
};

int S::a = 0;

void foo()
{
    S::a = 0;

    int x = 3;
    memset(&x, 1, sizeof(x));

    S *arr = new S[x];
    delete[] arr;

    clang_analyzer_dump(S::a); // expected-warning-re{{{{derived_\$[0-9]+{conj_\$[0-9]+{int, LC[0-9]+, S[0-9]+, #[0-9]+},a}}}}}

    clang_analyzer_explain(S::a); // expected-warning-re{{{{value derived from \(symbol of type 'int' conjured at CFG element '->~S\(\) \(Implicit destructor\)'\) for global variable 'S::a'}}}}
}